OCCHIUTO, MARIA EUGENIA
 Distribuzione geografica
Continente #
NA - Nord America 2.483
EU - Europa 1.526
AS - Asia 568
SA - Sud America 2
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 4.582
Nazione #
US - Stati Uniti d'America 2.379
SE - Svezia 504
DE - Germania 333
IT - Italia 293
CN - Cina 251
SG - Singapore 167
BG - Bulgaria 154
CA - Canada 104
GB - Regno Unito 73
TR - Turchia 68
FI - Finlandia 53
UA - Ucraina 52
VN - Vietnam 49
RU - Federazione Russa 20
HK - Hong Kong 18
FR - Francia 15
BE - Belgio 12
CH - Svizzera 10
IN - India 7
JP - Giappone 4
BR - Brasile 2
RO - Romania 2
AZ - Azerbaigian 1
BJ - Benin 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
ES - Italia 1
EU - Europa 1
HR - Croazia 1
ID - Indonesia 1
IR - Iran 1
JO - Giordania 1
NL - Olanda 1
NZ - Nuova Zelanda 1
Totale 4.582
Città #
Chandler 336
Ann Arbor 296
Woodbridge 290
Santa Clara 209
Houston 157
Sofia 154
Fairfield 108
Ottawa 103
Singapore 98
Ashburn 84
New York 83
Beijing 75
Milan 66
Jacksonville 65
Boardman 57
Izmir 57
Serra 55
Des Moines 54
Wilmington 53
Princeton 52
Lawrence 51
Cambridge 42
Seattle 42
Medford 39
Nanjing 34
Dearborn 27
Dong Ket 19
Ogden 19
Hong Kong 18
Los Angeles 15
Auburn Hills 13
Fuzhou 13
Brussels 12
Istanbul 11
Kunming 11
Marseille 11
Shenyang 11
Bremen 10
Changsha 10
Frankfurt am Main 10
Hebei 10
Jüchen 10
Nanchang 10
Bern 9
Quanzhou 9
Boulder 8
Düsseldorf 8
Nürnberg 7
Pune 7
San Diego 7
Shanghai 7
Tianjin 7
Falls Church 5
Pisa 5
Rome 5
Hangzhou 4
Jinan 4
Phoenix 4
Capannori 3
Florence 3
Guangzhou 3
Hefei 3
Jiaxing 3
London 3
Norwalk 3
Paris 3
Redwood City 3
Shaoxing 3
Viareggio 3
Xiamen 3
Alessandria 2
Dallas 2
Edinburgh 2
Genova 2
Helsinki 2
Kilburn 2
Lanzhou 2
Nagoya 2
Ningbo 2
Sacile 2
San Francisco 2
Shenzhen 2
Tokyo 2
Trento 2
Washington 2
Wuhan 2
Alagoinhas 1
Amsterdam 1
Auckland 1
Baotou 1
Changchun 1
Chengdu 1
Chiesina Uzzanese 1
Collesano 1
Copenhagen 1
Cotonou 1
Empoli 1
Gallarate 1
Hanoi 1
Hoffman 1
Totale 3.078
Nome #
Methods as Parameters: A Pre-processing Approach in Java 151
Programming Self-Assembly of DNA Tiles 144
C-expressions: A variable free calculus for equational Logic Programming 143
Suprema of Open and Closed Formulas and their Application to Resolution 139
A Modularization Mechanism for Conceptual Modeling 136
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 129
null 129
A Conceptual Language for Data Base Applications. A Preliminary Definition 124
C-expressions: a variable-free calculus for equational logic programming 123
Object-Oriented Galileo 120
Lazy Linear Combinatorial Unification 117
JavaOmega: Software 116
Another PRAM algorithm for finding connected components of sparse graphs 112
Higher Order programming through JAVA Reflection 108
A Preprocessor for Java with m-parameters, CS&P'2008 107
DNA Tiles, Wang Tiles and Combinators 107
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 106
Proving Type Safety for Java Simple Closures 100
DNA Tiles, Wang Tiles and Combinators 99
A Strongly Typed, Interactive Object-Oriented Database Programming Language 96
Galileo Reference Manual 2.0 96
"La Generazione di Rapporti da Basi di Dati Relazionali 95
Integrazione di Linguaggi di Programmazione e Basi di Dati Relazionali: lo Stato dell'arte 95
Caratteristiche dei Formalismi della Seconda Generazione per la Definizione di Schemi Concettuali 93
A Variable free calculus for Equational Programming 85
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 83
N-axioms Parallel Unification 83
Properties of Java Simple Closures 81
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 78
Un Linguaggio di Programmazione Applicativo per il Trattamento di Dati Permanenti Collegati 78
Prolog as a Database Language 77
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 73
Introduzione allo studio dei linguaggi di programmazione 73
Linear Unification based on C-expressions 71
JavaOmega: Higher Order Programming in Java, 69
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 67
JavaOmega: A Translation Semantics for Closures in Java 66
A Workbench for Conceptual Design in Galileo 66
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 66
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 65
Semantica e Pragmatica del Linguaggio Pascal 61
Operators for Unification and Most General Instance 60
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 58
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 58
Reduction Machines fo Logic Programming based on C-expressions 58
Unification: ?-terms or Substitutions? 57
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 55
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 55
Meccanizzazione in un Provveditorato agli Studi: Alcuni Algoritmi per il trasferimento dei Professori 52
From Object Calculus to Java with Passing and Extraction of Methods 50
New Bounds in Parallel Unification 43
Programming Self-Assembly of DNA Tiles 38
Totale 4.611
Categoria #
all - tutte 11.701
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 11.701


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020322 0 0 0 0 0 58 76 29 39 42 66 12
2020/2021240 26 9 19 9 34 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/2025434 9 59 14 113 188 51 0 0 0 0 0 0
Totale 4.611