OCCHIUTO, MARIA EUGENIA
 Distribuzione geografica
Continente #
NA - Nord America 3.073
EU - Europa 1.662
AS - Asia 1.497
SA - Sud America 221
AF - Africa 47
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.505
Nazione #
US - Stati Uniti d'America 2.922
SE - Svezia 506
CN - Cina 480
SG - Singapore 457
DE - Germania 350
IT - Italia 307
HK - Hong Kong 229
BR - Brasile 175
BG - Bulgaria 155
CA - Canada 117
GB - Regno Unito 103
TR - Turchia 80
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
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
PL - Polonia 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.505
Città #
Chandler 336
Singapore 298
Ann Arbor 296
Woodbridge 290
Santa Clara 263
Ashburn 259
Hong Kong 227
Houston 159
Sofia 154
Beijing 121
Shanghai 115
Fairfield 108
Dallas 103
Ottawa 103
New York 91
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
Belo Horizonte 4
Columbus 4
Goiânia 4
Hangzhou 4
Hyderabad 4
Jinan 4
Kolkata 4
Mexico City 4
Montevideo 4
Paris 4
Ankara 3
Asunción 3
Barquisimeto 3
Cairo 3
Campinas 3
Capannori 3
Chennai 3
Edinburgh 3
Totale 4.257
Nome #
Methods as Parameters: A Pre-processing Approach in Java 197
Programming Self-Assembly of DNA Tiles 193
Suprema of Open and Closed Formulas and their Application to Resolution 185
C-expressions: A variable free calculus for equational Logic Programming 184
A Modularization Mechanism for Conceptual Modeling 175
Lazy Linear Combinatorial Unification 167
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 165
A Conceptual Language for Data Base Applications. A Preliminary Definition 165
Object-Oriented Galileo 156
DNA Tiles, Wang Tiles and Combinators 154
JavaOmega: Software 151
C-expressions: a variable-free calculus for equational logic programming 150
Another PRAM algorithm for finding connected components of sparse graphs 147
Proving Type Safety for Java Simple Closures 146
DNA Tiles, Wang Tiles and Combinators 145
A Preprocessor for Java with m-parameters, CS&P'2008 143
Higher Order programming through JAVA Reflection 142
A Strongly Typed, Interactive Object-Oriented Database Programming Language 138
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 134
"La Generazione di Rapporti da Basi di Dati Relazionali 133
Integrazione di Linguaggi di Programmazione e Basi di Dati Relazionali: lo Stato dell'arte 133
Caratteristiche dei Formalismi della Seconda Generazione per la Definizione di Schemi Concettuali 132
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 131
null 129
Properties of Java Simple Closures 126
Galileo Reference Manual 2.0 125
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 124
Un Linguaggio di Programmazione Applicativo per il Trattamento di Dati Permanenti Collegati 119
A Variable free calculus for Equational Programming 117
JavaOmega: A Translation Semantics for Closures in Java 114
N-axioms Parallel Unification 106
JavaOmega: Higher Order Programming in Java, 105
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 105
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 103
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 103
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 102
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 102
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 102
Programming Self-Assembly of DNA Tiles 102
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 102
Prolog as a Database Language 101
Linear Unification based on C-expressions 101
Introduzione allo studio dei linguaggi di programmazione 99
A Workbench for Conceptual Design in Galileo 97
From Object Calculus to Java with Passing and Extraction of Methods 97
Meccanizzazione in un Provveditorato agli Studi: Alcuni Algoritmi per il trasferimento dei Professori 88
Semantica e Pragmatica del Linguaggio Pascal 88
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 87
Unification: ?-terms or Substitutions? 85
Operators for Unification and Most General Instance 85
Reduction Machines fo Logic Programming based on C-expressions 83
New Bounds in Parallel Unification 71
Totale 6.534
Categoria #
all - tutte 17.377
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.377


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/2026675 78 196 91 100 126 84 0 0 0 0 0 0
Totale 6.534