CINECA IRIS Institutional Research Information System

OCCHIUTO, MARIA EUGENIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.670
AS - Asia 1.767
EU - Europa 1.741
SA - Sud America 234
AF - Africa 51
Continente sconosciuto - Info sul continente non disponibili 31
OC - Oceania 4
Totale 7.498
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.503
SG - Singapore 571
CN - Cina 511
SE - Svezia 507
DE - Germania 358
IT - Italia 310
HK - Hong Kong 237
BR - Brasile 184
BG - Bulgaria 156
CA - Canada 123
VN - Vietnam 114
GB - Regno Unito 109
TR - Turchia 83
RU - Federazione Russa 67
FI - Finlandia 64
FR - Francia 64
IN - India 57
UA - Ucraina 56
JP - Giappone 46
BD - Bangladesh 35
IQ - Iraq 20
KR - Corea 17
SA - Arabia Saudita 14
VE - Venezuela 14
BE - Belgio 13
UZ - Uzbekistan 12
ZA - Sudafrica 12
MX - Messico 11
CH - Svizzera 10
JM - Giamaica 10
KE - Kenya 10
PK - Pakistan 9
CO - Colombia 8
AR - Argentina 7
EC - Ecuador 7
NL - Olanda 7
CR - Costa Rica 6
EG - Egitto 6
ES - Italia 5
JO - Giordania 5
PL - Polonia 5
TN - Tunisia 5
AE - Emirati Arabi Uniti 4
MA - Marocco 4
MY - Malesia 4
PA - Panama 4
PS - Palestinian Territory 4
PY - Paraguay 4
UY - Uruguay 4
AZ - Azerbaigian 3
BS - Bahamas 3
KZ - Kazakistan 3
NI - Nicaragua 3
RO - Romania 3
AU - Australia 2
CL - Cile 2
DK - Danimarca 2
ET - Etiopia 2
HN - Honduras 2
ID - Indonesia 2
IR - Iran 2
KG - Kirghizistan 2
LB - Libano 2
LT - Lituania 2
NG - Nigeria 2
PE - Perù 2
PH - Filippine 2
TG - Togo 2
UG - Uganda 2
AI - Anguilla 1
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BJ - Benin 1
BO - Bolivia 1
CV - Capo Verde 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EU - Europa 1
GH - Ghana 1
GT - Guatemala 1
GY - Guiana 1
HR - Croazia 1
LK - Sri Lanka 1
LY - Libia 1
MM - Myanmar 1
MV - Maldive 1
NZ - Nuova Zelanda 1
OM - Oman 1
PR - Porto Rico 1
QA - Qatar 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
TV - Tuvalu 1
VI - Stati Uniti Isole Vergini 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.469
Salva come PNG Salva come JPEG
Città #
Singapore 339
Chandler 336
Ashburn 298
Ann Arbor 296
Woodbridge 290
Santa Clara 270
Hong Kong 230
San Jose 177
Houston 161
Sofia 154
Beijing 121
Shanghai 116
Fairfield 108
Dallas 105
Ottawa 103
New York 98
Council Bluffs 77
Los Angeles 70
Milan 69
Jacksonville 65
Izmir 58
Boardman 57
Des Moines 55
Serra 55
Wilmington 53
Princeton 52
Lawrence 51
Lauterbourg 43
Seattle 43
Cambridge 42
Tokyo 42
Medford 39
Nanjing 34
Dearborn 27
Hanoi 22
Buffalo 21
Ho Chi Minh City 20
Dong Ket 19
Hefei 19
Ogden 19
Redondo Beach 19
Dhaka 17
Munich 17
Seoul 17
Frankfurt am Main 16
Auburn Hills 13
Brussels 13
Fuzhou 13
Istanbul 13
Phoenix 12
Helsinki 11
Kunming 11
Marseille 11
Shenyang 11
São Paulo 11
Bremen 10
Changsha 10
Hebei 10
Jüchen 10
Nanchang 10
Tashkent 10
Atlanta 9
Bern 9
Nairobi 9
Pisa 9
Pune 9
Quanzhou 9
Baghdad 8
Boulder 8
Düsseldorf 8
Kingston 8
San Diego 8
New Delhi 7
Nürnberg 7
The Dalles 7
Tianjin 7
Amsterdam 6
Columbus 6
Mumbai 6
Rio de Janeiro 6
Rome 6
San José 6
Brasília 5
Chicago 5
Falls Church 5
Johannesburg 5
London 5
Orem 5
Paris 5
Riyadh 5
Toronto 5
Xiamen 5
Amman 4
Ankara 4
Belo Horizonte 4
Campinas 4
Goiânia 4
Hangzhou 4
Hyderabad 4
Jinan 4
Totale 4.759
Salva come PNG Salva come JPEG
Nome #
Methods as Parameters: A Pre-processing Approach in Java 220
Programming Self-Assembly of DNA Tiles 213
C-expressions: A variable free calculus for equational Logic Programming 201
Suprema of Open and Closed Formulas and their Application to Resolution 197
A Modularization Mechanism for Conceptual Modeling 197
A Conceptual Language for Data Base Applications. A Preliminary Definition 190
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 185
Lazy Linear Combinatorial Unification 183
Object-Oriented Galileo 175
DNA Tiles, Wang Tiles and Combinators 172
Another PRAM algorithm for finding connected components of sparse graphs 171
C-expressions: a variable-free calculus for equational logic programming 166
JavaOmega: Software 165
A Preprocessor for Java with m-parameters, CS&P'2008 165
A Strongly Typed, Interactive Object-Oriented Database Programming Language 161
Higher Order programming through JAVA Reflection 160
Proving Type Safety for Java Simple Closures 160
DNA Tiles, Wang Tiles and Combinators 156
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 152
Caratteristiche dei Formalismi della Seconda Generazione per la Definizione di Schemi Concettuali 152
Properties of Java Simple Closures 149
Integrazione di Linguaggi di Programmazione e Basi di Dati Relazionali: lo Stato dell'arte 149
"La Generazione di Rapporti da Basi di Dati Relazionali 148
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 145
JavaOmega: A Translation Semantics for Closures in Java 143
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 143
Un Linguaggio di Programmazione Applicativo per il Trattamento di Dati Permanenti Collegati 143
Galileo Reference Manual 2.0 140
A Variable free calculus for Equational Programming 133
null 129
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 128
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 127
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 125
N-axioms Parallel Unification 124
Introduzione allo studio dei linguaggi di programmazione 123
Prolog as a Database Language 123
JavaOmega: Higher Order Programming in Java, 122
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 122
Programming Self-Assembly of DNA Tiles 122
Linear Unification based on C-expressions 120
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 119
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 119
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 118
A Workbench for Conceptual Design in Galileo 116
From Object Calculus to Java with Passing and Extraction of Methods 115
Meccanizzazione in un Provveditorato agli Studi: Alcuni Algoritmi per il trasferimento dei Professori 109
Unification: ?-terms or Substitutions? 106
Semantica e Pragmatica del Linguaggio Pascal 105
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 104
Reduction Machines fo Logic Programming based on C-expressions 102
Operators for Unification and Most General Instance 101
New Bounds in Parallel Unification 85
Totale 7.498
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.332
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 20.332
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022589 0 0 12 61 161 69 9 24 32 2 48 171
2022/2023874 147 142 75 92 74 139 23 51 93 2 25 11
2023/2024431 34 49 34 22 58 89 39 4 15 23 27 37
2024/20251.682 9 59 14 113 188 139 102 86 142 188 130 512
2025/20261.315 78 196 91 100 126 178 248 27 111 90 44 26
2026/2027324 28 109 187 0 0 0 0 0 0 0 0 0
Totale 7.498