OCCHIUTO, MARIA EUGENIA
 Distribuzione geografica
Continente #
NA - Nord America 2.184
EU - Europa 1.520
AS - Asia 377
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
SA - Sud America 1
Totale 4.084
Nazione #
US - Stati Uniti d'America 2.080
SE - Svezia 504
DE - Germania 332
IT - Italia 290
CN - Cina 200
BG - Bulgaria 154
CA - Canada 104
GB - Regno Unito 72
TR - Turchia 58
FI - Finlandia 53
UA - Ucraina 52
VN - Vietnam 49
SG - Singapore 37
RU - Federazione Russa 20
HK - Hong Kong 18
FR - Francia 14
BE - Belgio 12
CH - Svizzera 10
IN - India 7
JP - Giappone 4
RO - Romania 2
AZ - Azerbaigian 1
BR - Brasile 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.084
Città #
Chandler 336
Ann Arbor 296
Woodbridge 290
Houston 157
Sofia 154
Fairfield 108
Ottawa 103
New York 83
Beijing 75
Ashburn 73
Milan 66
Jacksonville 65
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
Hong Kong 18
Los Angeles 15
Auburn Hills 13
Brussels 12
Kunming 11
Marseille 11
Shenyang 11
Bremen 10
Changsha 10
Hebei 10
Jüchen 10
Nanchang 10
Bern 9
Frankfurt am Main 9
Boulder 8
Düsseldorf 8
Nürnberg 7
Pune 7
San Diego 7
Tianjin 7
Boardman 5
Falls Church 5
Pisa 5
Rome 5
Hangzhou 4
Jinan 4
Ogden 4
Capannori 3
Florence 3
Hefei 3
Jiaxing 3
London 3
Norwalk 3
Paris 3
Redwood City 3
Shaoxing 3
Viareggio 3
Alessandria 2
Edinburgh 2
Genova 2
Guangzhou 2
Helsinki 2
Kilburn 2
Lanzhou 2
Nagoya 2
Ningbo 2
Sacile 2
San Francisco 2
Tokyo 2
Trento 2
Washington 2
Amsterdam 1
Auckland 1
Baotou 1
Changchun 1
Chengdu 1
Chiesina Uzzanese 1
Collesano 1
Copenhagen 1
Dallas 1
Empoli 1
Fuzhou 1
Gallarate 1
Hanoi 1
Hoffman 1
Indiana 1
Istanbul 1
Livorno 1
Lucca 1
Madrid 1
Montescudaio 1
Mountain View 1
Munich 1
New Orleans 1
Olgiate Comasco 1
Orange 1
Totale 2.649
Nome #
Methods as Parameters: A Pre-processing Approach in Java 139
C-expressions: A variable free calculus for equational Logic Programming 136
Programming Self-Assembly of DNA Tiles 134
Suprema of Open and Closed Formulas and their Application to Resolution 131
null 129
A Modularization Mechanism for Conceptual Modeling 127
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 121
C-expressions: a variable-free calculus for equational logic programming 115
A Conceptual Language for Data Base Applications. A Preliminary Definition 115
Object-Oriented Galileo 110
Lazy Linear Combinatorial Unification 109
JavaOmega: Software 105
Another PRAM algorithm for finding connected components of sparse graphs 104
Higher Order programming through JAVA Reflection 101
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 98
DNA Tiles, Wang Tiles and Combinators 98
A Preprocessor for Java with m-parameters, CS&P'2008 94
DNA Tiles, Wang Tiles and Combinators 90
Proving Type Safety for Java Simple Closures 88
A Strongly Typed, Interactive Object-Oriented Database Programming Language 88
Galileo Reference Manual 2.0 87
"La Generazione di Rapporti da Basi di Dati Relazionali 86
Integrazione di Linguaggi di Programmazione e Basi di Dati Relazionali: lo Stato dell'arte 86
Caratteristiche dei Formalismi della Seconda Generazione per la Definizione di Schemi Concettuali 84
A Variable free calculus for Equational Programming 76
N-axioms Parallel Unification 74
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 73
Prolog as a Database Language 69
Properties of Java Simple Closures 68
Un Linguaggio di Programmazione Applicativo per il Trattamento di Dati Permanenti Collegati 68
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 67
Linear Unification based on C-expressions 65
Introduzione allo studio dei linguaggi di programmazione 63
JavaOmega: Higher Order Programming in Java, 59
A Workbench for Conceptual Design in Galileo 57
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 57
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 55
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 55
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 54
JavaOmega: A Translation Semantics for Closures in Java 54
Operators for Unification and Most General Instance 52
Semantica e Pragmatica del Linguaggio Pascal 51
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 50
Unification: ?-terms or Substitutions? 50
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 48
Reduction Machines fo Logic Programming based on C-expressions 48
Meccanizzazione in un Provveditorato agli Studi: Alcuni Algoritmi per il trasferimento dei Professori 45
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 42
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 42
From Object Calculus to Java with Passing and Extraction of Methods 41
New Bounds in Parallel Unification 34
Programming Self-Assembly of DNA Tiles 21
Totale 4.113
Categoria #
all - tutte 9.287
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 9.287


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201977 0 0 0 0 0 0 0 0 0 0 53 24
2019/2020546 74 60 22 25 43 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/2024367 34 49 34 22 58 89 39 4 15 23 0 0
Totale 4.113