CINECA IRIS Institutional Research Information System

OCCHIUTO, MARIA EUGENIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.368
AS - Asia 1.765
EU - Europa 1.739
SA - Sud America 233
AF - Africa 51
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.161
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.214
SG - Singapore 571
CN - Cina 511
SE - Svezia 507
DE - Germania 358
IT - Italia 310
HK - Hong Kong 237
BR - Brasile 183
BG - Bulgaria 156
CA - Canada 119
VN - Vietnam 114
GB - Regno Unito 108
TR - Turchia 83
RU - Federazione Russa 67
FI - Finlandia 64
FR - Francia 64
IN - India 57
UA - Ucraina 56
JP - Giappone 46
BD - Bangladesh 34
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
KE - Kenya 10
PK - Pakistan 9
CO - Colombia 8
AR - Argentina 7
EC - Ecuador 7
JM - Giamaica 7
NL - Olanda 7
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
RO - Romania 3
CL - Cile 2
CR - Costa Rica 2
DK - Danimarca 2
ET - Etiopia 2
IR - Iran 2
KG - Kirghizistan 2
LB - Libano 2
NG - Nigeria 2
NI - Nicaragua 2
PE - Perù 2
PH - Filippine 2
TG - Togo 2
UG - Uganda 2
AI - Anguilla 1
AM - Armenia 1
AO - Angola 1
AU - Australia 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
HN - Honduras 1
HR - Croazia 1
ID - Indonesia 1
LK - Sri Lanka 1
LT - Lituania 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.161
Salva come PNG Salva come JPEG
Città #
Singapore 339
Chandler 336
Ann Arbor 296
Woodbridge 290
Ashburn 282
Santa Clara 268
Hong Kong 230
Houston 159
Sofia 154
San Jose 153
Beijing 121
Shanghai 116
Fairfield 108
Dallas 103
Ottawa 103
New York 94
Milan 69
Jacksonville 65
Los Angeles 63
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
Ho Chi Minh City 20
Dong Ket 19
Hefei 19
Ogden 19
Redondo Beach 19
Buffalo 18
Dhaka 17
Munich 17
Seoul 17
Frankfurt am Main 16
Council Bluffs 15
Auburn Hills 13
Brussels 13
Fuzhou 13
Istanbul 13
Helsinki 11
Kunming 11
Marseille 11
Phoenix 11
Shenyang 11
São Paulo 11
Bremen 10
Changsha 10
Hebei 10
Jüchen 10
Nanchang 10
Tashkent 10
Bern 9
Nairobi 9
Pisa 9
Pune 9
Quanzhou 9
Atlanta 8
Baghdad 8
Boulder 8
Düsseldorf 8
Kingston 7
New Delhi 7
Nürnberg 7
San Diego 7
The Dalles 7
Tianjin 7
Amsterdam 6
Mumbai 6
Rio de Janeiro 6
Rome 6
Brasília 5
Falls Church 5
Johannesburg 5
London 5
Orem 5
Paris 5
Riyadh 5
Xiamen 5
Amman 4
Ankara 4
Belo Horizonte 4
Chicago 4
Columbus 4
Goiânia 4
Hangzhou 4
Hyderabad 4
Jinan 4
Kolkata 4
Manchester 4
Mexico City 4
Totale 4.627
Salva come PNG Salva come JPEG
Nome #
Methods as Parameters: A Pre-processing Approach in Java 214
Programming Self-Assembly of DNA Tiles 208
C-expressions: A variable free calculus for equational Logic Programming 195
Suprema of Open and Closed Formulas and their Application to Resolution 194
A Modularization Mechanism for Conceptual Modeling 194
A Conceptual Language for Data Base Applications. A Preliminary Definition 182
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 177
Lazy Linear Combinatorial Unification 176
Object-Oriented Galileo 171
Another PRAM algorithm for finding connected components of sparse graphs 168
DNA Tiles, Wang Tiles and Combinators 166
JavaOmega: Software 162
C-expressions: a variable-free calculus for equational logic programming 159
A Preprocessor for Java with m-parameters, CS&P'2008 158
A Strongly Typed, Interactive Object-Oriented Database Programming Language 154
Higher Order programming through JAVA Reflection 153
Proving Type Safety for Java Simple Closures 152
DNA Tiles, Wang Tiles and Combinators 152
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 146
"La Generazione di Rapporti da Basi di Dati Relazionali 144
Caratteristiche dei Formalismi della Seconda Generazione per la Definizione di Schemi Concettuali 144
Properties of Java Simple Closures 142
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 142
Integrazione di Linguaggi di Programmazione e Basi di Dati Relazionali: lo Stato dell'arte 141
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 138
Un Linguaggio di Programmazione Applicativo per il Trattamento di Dati Permanenti Collegati 135
JavaOmega: A Translation Semantics for Closures in Java 133
Galileo Reference Manual 2.0 133
null 129
A Variable free calculus for Equational Programming 128
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 121
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 120
JavaOmega: Higher Order Programming in Java, 119
Introduzione allo studio dei linguaggi di programmazione 118
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 118
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 117
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 116
Linear Unification based on C-expressions 115
N-axioms Parallel Unification 115
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 114
Prolog as a Database Language 114
Programming Self-Assembly of DNA Tiles 114
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 113
A Workbench for Conceptual Design in Galileo 112
From Object Calculus to Java with Passing and Extraction of Methods 108
Meccanizzazione in un Provveditorato agli Studi: Alcuni Algoritmi per il trasferimento dei Professori 104
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 99
Unification: ?-terms or Substitutions? 98
Semantica e Pragmatica del Linguaggio Pascal 97
Reduction Machines fo Logic Programming based on C-expressions 95
Operators for Unification and Most General Instance 93
New Bounds in Parallel Unification 80
Totale 7.190
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.603
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 19.603
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022632 1 42 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/202716 16 0 0 0 0 0 0 0 0 0 0 0
Totale 7.190