OCCHIUTO, MARIA EUGENIA
 Distribuzione geografica
Continente #
NA - Nord America 2.536
EU - Europa 1.531
AS - Asia 586
SA - Sud America 2
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 4.658
Nazione #
US - Stati Uniti d'America 2.431
SE - Svezia 504
DE - Germania 333
IT - Italia 293
CN - Cina 269
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 25
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
PA - Panama 1
Totale 4.658
Città #
Chandler 336
Ann Arbor 296
Woodbridge 290
Santa Clara 261
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
Shanghai 25
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
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
David 1
Empoli 1
Gallarate 1
Hanoi 1
Totale 3.148
Nome #
Methods as Parameters: A Pre-processing Approach in Java 152
Programming Self-Assembly of DNA Tiles 146
C-expressions: A variable free calculus for equational Logic Programming 144
Suprema of Open and Closed Formulas and their Application to Resolution 140
A Modularization Mechanism for Conceptual Modeling 137
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 130
null 129
A Conceptual Language for Data Base Applications. A Preliminary Definition 125
C-expressions: a variable-free calculus for equational logic programming 124
Object-Oriented Galileo 123
Lazy Linear Combinatorial Unification 118
JavaOmega: Software 117
Another PRAM algorithm for finding connected components of sparse graphs 115
Higher Order programming through JAVA Reflection 110
A Preprocessor for Java with m-parameters, CS&P'2008 108
DNA Tiles, Wang Tiles and Combinators 108
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 107
Proving Type Safety for Java Simple Closures 101
DNA Tiles, Wang Tiles and Combinators 101
Galileo Reference Manual 2.0 99
A Strongly Typed, Interactive Object-Oriented Database Programming Language 97
"La Generazione di Rapporti da Basi di Dati Relazionali 96
Caratteristiche dei Formalismi della Seconda Generazione per la Definizione di Schemi Concettuali 96
Integrazione di Linguaggi di Programmazione e Basi di Dati Relazionali: lo Stato dell'arte 96
A Variable free calculus for Equational Programming 86
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 86
N-axioms Parallel Unification 84
Properties of Java Simple Closures 82
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 80
Un Linguaggio di Programmazione Applicativo per il Trattamento di Dati Permanenti Collegati 79
Prolog as a Database Language 78
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 74
Introduzione allo studio dei linguaggi di programmazione 74
Linear Unification based on C-expressions 72
JavaOmega: Higher Order Programming in Java, 70
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 69
JavaOmega: A Translation Semantics for Closures in Java 67
A Workbench for Conceptual Design in Galileo 67
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 67
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 66
Semantica e Pragmatica del Linguaggio Pascal 64
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 61
Operators for Unification and Most General Instance 61
Reduction Machines fo Logic Programming based on C-expressions 61
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 59
Unification: ?-terms or Substitutions? 58
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 57
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 56
Meccanizzazione in un Provveditorato agli Studi: Alcuni Algoritmi per il trasferimento dei Professori 53
From Object Calculus to Java with Passing and Extraction of Methods 51
New Bounds in Parallel Unification 46
Programming Self-Assembly of DNA Tiles 40
Totale 4.687
Categoria #
all - tutte 11.994
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.994


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/2025510 9 59 14 113 188 127 0 0 0 0 0 0
Totale 4.687