CINECA IRIS Institutional Research Information System

OCCHIUTO, MARIA EUGENIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.338
AS - Asia 1.765
EU - Europa 1.733
SA - Sud America 228
AF - Africa 51
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.120
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.185
SG - Singapore 571
CN - Cina 511
SE - Svezia 506
DE - Germania 358
IT - Italia 307
HK - Hong Kong 237
BR - Brasile 182
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 7
EC - Ecuador 7
JM - Giamaica 7
AR - Argentina 6
EG - Egitto 6
NL - Olanda 6
ES - Italia 5
JO - Giordania 5
TN - Tunisia 5
AE - Emirati Arabi Uniti 4
MA - Marocco 4
MY - Malesia 4
PA - Panama 4
PL - Polonia 4
PS - Palestinian Territory 4
PY - Paraguay 4
UY - Uruguay 4
AZ - Azerbaigian 3
BS - Bahamas 3
KZ - Kazakistan 3
RO - Romania 3
DK - Danimarca 2
ET - Etiopia 2
IR - Iran 2
KG - Kirghizistan 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
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
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.120
Salva come PNG Salva come JPEG
Città #
Singapore 339
Chandler 336
Ann Arbor 296
Woodbridge 290
Ashburn 278
Santa Clara 265
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
Auburn Hills 13
Brussels 13
Fuzhou 13
Istanbul 13
Council Bluffs 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
Bern 9
Nairobi 9
Phoenix 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.615
Salva come PNG Salva come JPEG
Nome #
Methods as Parameters: A Pre-processing Approach in Java 211
Programming Self-Assembly of DNA Tiles 207
C-expressions: A variable free calculus for equational Logic Programming 194
A Modularization Mechanism for Conceptual Modeling 194
Suprema of Open and Closed Formulas and their Application to Resolution 193
A Conceptual Language for Data Base Applications. A Preliminary Definition 182
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 176
Lazy Linear Combinatorial Unification 174
Object-Oriented Galileo 171
Another PRAM algorithm for finding connected components of sparse graphs 168
DNA Tiles, Wang Tiles and Combinators 166
JavaOmega: Software 161
C-expressions: a variable-free calculus for equational logic programming 159
A Preprocessor for Java with m-parameters, CS&P'2008 157
Higher Order programming through JAVA Reflection 153
A Strongly Typed, Interactive Object-Oriented Database Programming Language 153
Proving Type Safety for Java Simple Closures 152
DNA Tiles, Wang Tiles and Combinators 151
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 145
"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 141
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 141
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 137
Un Linguaggio di Programmazione Applicativo per il Trattamento di Dati Permanenti Collegati 134
Galileo Reference Manual 2.0 133
JavaOmega: A Translation Semantics for Closures in Java 132
null 129
A Variable free calculus for Equational Programming 127
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 120
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 119
Introduzione allo studio dei linguaggi di programmazione 117
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 116
JavaOmega: Higher Order Programming in Java, 116
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 116
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 116
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 114
Prolog as a Database Language 114
Linear Unification based on C-expressions 114
N-axioms Parallel Unification 114
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 113
Programming Self-Assembly of DNA Tiles 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 102
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 98
Unification: ?-terms or Substitutions? 97
Semantica e Pragmatica del Linguaggio Pascal 96
Reduction Machines fo Logic Programming based on C-expressions 95
Operators for Unification and Most General Instance 92
New Bounds in Parallel Unification 77
Totale 7.149
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.022
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.022
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202155 0 0 0 0 0 0 0 0 0 0 0 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/20261.290 78 196 91 100 126 178 248 27 111 90 44 1
Totale 7.149