OCCHIUTO, MARIA EUGENIA
 Distribuzione geografica
Continente #
NA - Nord America 3.086
EU - Europa 1.663
AS - Asia 1.563
SA - Sud America 221
AF - Africa 47
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.585
Nazione #
US - Stati Uniti d'America 2.934
SG - Singapore 518
SE - Svezia 506
CN - Cina 484
DE - Germania 350
IT - Italia 307
HK - Hong Kong 229
BR - Brasile 175
BG - Bulgaria 155
CA - Canada 118
GB - Regno Unito 103
TR - Turchia 81
RU - Federazione Russa 67
UA - Ucraina 56
FI - Finlandia 55
IN - India 52
VN - Vietnam 52
BD - Bangladesh 28
FR - Francia 19
IQ - Iraq 18
KR - Corea 17
JP - Giappone 15
VE - Venezuela 14
BE - Belgio 13
SA - Arabia Saudita 12
MX - Messico 11
UZ - Uzbekistan 11
ZA - Sudafrica 11
CH - Svizzera 10
KE - Kenya 9
PK - Pakistan 8
CO - Colombia 7
EC - Ecuador 7
JM - Giamaica 7
AR - Argentina 6
EG - Egitto 6
ES - Italia 5
JO - Giordania 5
AE - Emirati Arabi Uniti 4
MY - Malesia 4
NL - Olanda 4
PA - Panama 4
PL - Polonia 4
PS - Palestinian Territory 4
PY - Paraguay 4
TN - Tunisia 4
UY - Uruguay 4
AZ - Azerbaigian 3
BS - Bahamas 3
KZ - Kazakistan 3
MA - Marocco 3
RO - Romania 3
DK - Danimarca 2
ET - Etiopia 2
IR - Iran 2
LB - Libano 2
NG - Nigeria 2
NI - Nicaragua 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
CL - Cile 1
CR - Costa Rica 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
KG - Kirghizistan 1
LK - Sri Lanka 1
LT - Lituania 1
LY - Libia 1
MM - Myanmar 1
MV - Maldive 1
NZ - Nuova Zelanda 1
OM - Oman 1
PE - Perù 1
PR - Porto Rico 1
QA - Qatar 1
TT - Trinidad e Tobago 1
TV - Tuvalu 1
VI - Stati Uniti Isole Vergini 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 6.585
Città #
Chandler 336
Singapore 305
Ann Arbor 296
Woodbridge 290
Ashburn 264
Santa Clara 263
Hong Kong 227
Houston 159
Sofia 154
Beijing 121
Shanghai 115
Fairfield 108
Dallas 103
Ottawa 103
New York 92
Milan 69
Jacksonville 65
Los Angeles 63
Izmir 58
Boardman 57
Serra 55
Des Moines 54
Wilmington 53
Princeton 52
Lawrence 51
Seattle 43
Cambridge 42
Medford 39
Nanjing 34
Dearborn 27
Dong Ket 19
Hefei 19
Ogden 19
Redondo Beach 19
Buffalo 18
Munich 17
Seoul 17
Dhaka 15
Auburn Hills 13
Brussels 13
Fuzhou 13
Istanbul 13
Council Bluffs 12
Kunming 11
Marseille 11
Shenyang 11
São Paulo 11
Tokyo 11
Bremen 10
Changsha 10
Frankfurt am Main 10
Hebei 10
Jüchen 10
Nanchang 10
Bern 9
Nairobi 9
Phoenix 9
Pisa 9
Quanzhou 9
Tashkent 9
Boulder 8
Düsseldorf 8
Pune 8
Kingston 7
Nürnberg 7
San Diego 7
The Dalles 7
Tianjin 7
Atlanta 6
Baghdad 6
New Delhi 6
Rio de Janeiro 6
Rome 6
Brasília 5
Falls Church 5
Johannesburg 5
London 5
Mumbai 5
Riyadh 5
Xiamen 5
Amman 4
Amsterdam 4
Ankara 4
Belo Horizonte 4
Columbus 4
Goiânia 4
Hangzhou 4
Hyderabad 4
Jinan 4
Kolkata 4
Mexico City 4
Montevideo 4
Paris 4
Warsaw 4
Asunción 3
Barquisimeto 3
Cairo 3
Campinas 3
Capannori 3
Chennai 3
Totale 4.272
Nome #
Methods as Parameters: A Pre-processing Approach in Java 198
Programming Self-Assembly of DNA Tiles 194
Suprema of Open and Closed Formulas and their Application to Resolution 187
C-expressions: A variable free calculus for equational Logic Programming 186
A Modularization Mechanism for Conceptual Modeling 176
Lazy Linear Combinatorial Unification 169
A Conceptual Language for Data Base Applications. A Preliminary Definition 167
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 166
Object-Oriented Galileo 158
DNA Tiles, Wang Tiles and Combinators 155
JavaOmega: Software 152
C-expressions: a variable-free calculus for equational logic programming 151
Another PRAM algorithm for finding connected components of sparse graphs 149
Proving Type Safety for Java Simple Closures 147
A Preprocessor for Java with m-parameters, CS&P'2008 146
DNA Tiles, Wang Tiles and Combinators 146
Higher Order programming through JAVA Reflection 145
A Strongly Typed, Interactive Object-Oriented Database Programming Language 140
"La Generazione di Rapporti da Basi di Dati Relazionali 135
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 135
Caratteristiche dei Formalismi della Seconda Generazione per la Definizione di Schemi Concettuali 135
Integrazione di Linguaggi di Programmazione e Basi di Dati Relazionali: lo Stato dell'arte 135
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 132
null 129
Properties of Java Simple Closures 127
Galileo Reference Manual 2.0 127
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 125
Un Linguaggio di Programmazione Applicativo per il Trattamento di Dati Permanenti Collegati 120
A Variable free calculus for Equational Programming 118
JavaOmega: A Translation Semantics for Closures in Java 116
N-axioms Parallel Unification 109
JavaOmega: Higher Order Programming in Java, 107
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 106
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 106
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 104
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 104
Linear Unification based on C-expressions 104
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 104
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 103
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 103
Prolog as a Database Language 103
Programming Self-Assembly of DNA Tiles 103
Introduzione allo studio dei linguaggi di programmazione 100
A Workbench for Conceptual Design in Galileo 99
From Object Calculus to Java with Passing and Extraction of Methods 98
Meccanizzazione in un Provveditorato agli Studi: Alcuni Algoritmi per il trasferimento dei Professori 90
Semantica e Pragmatica del Linguaggio Pascal 89
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 88
Unification: ?-terms or Substitutions? 86
Operators for Unification and Most General Instance 86
Reduction Machines fo Logic Programming based on C-expressions 84
New Bounds in Parallel Unification 72
Totale 6.614
Categoria #
all - tutte 17.563
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 17.563


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021143 0 0 0 0 0 5 8 39 8 19 9 55
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/2026755 78 196 91 100 126 164 0 0 0 0 0 0
Totale 6.614