CINECA IRIS Institutional Research Information System

OCCHIUTO, MARIA EUGENIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.263
EU - Europa 1.525
AS - Asia 435
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
SA - Sud America 1
Totale 4.227
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.159
SE - Svezia 504
DE - Germania 333
IT - Italia 292
CN - Cina 204
BG - Bulgaria 154
CA - Canada 104
SG - Singapore 91
GB - Regno Unito 73
TR - Turchia 58
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
RO - Romania 2
AZ - Azerbaigian 1
BJ - Benin 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.227
Salva come PNG Salva come JPEG
Città #
Chandler 336
Ann Arbor 296
Woodbridge 290
Houston 157
Sofia 154
Fairfield 108
Ottawa 103
New York 83
Ashburn 75
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
Singapore 33
Dearborn 27
Dong Ket 19
Ogden 19
Hong Kong 18
Los Angeles 15
Auburn Hills 13
Brussels 12
Kunming 11
Marseille 11
Shenyang 11
Bremen 10
Changsha 10
Frankfurt am Main 10
Hebei 10
Jüchen 10
Nanchang 10
Bern 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
Alessandria 2
Dallas 2
Edinburgh 2
Genova 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
Cotonou 1
Empoli 1
Fuzhou 1
Gallarate 1
Hanoi 1
Hoffman 1
Indiana 1
Istanbul 1
Ittiri 1
Livorno 1
Lucca 1
Madrid 1
Montescudaio 1
Mountain View 1
Totale 2.756
Salva come PNG Salva come JPEG
Nome #
Methods as Parameters: A Pre-processing Approach in Java 143
C-expressions: A variable free calculus for equational Logic Programming 137
Programming Self-Assembly of DNA Tiles 137
Suprema of Open and Closed Formulas and their Application to Resolution 134
A Modularization Mechanism for Conceptual Modeling 130
null 129
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 123
A Conceptual Language for Data Base Applications. A Preliminary Definition 118
C-expressions: a variable-free calculus for equational logic programming 117
Lazy Linear Combinatorial Unification 112
Object-Oriented Galileo 112
JavaOmega: Software 108
Another PRAM algorithm for finding connected components of sparse graphs 106
Higher Order programming through JAVA Reflection 103
DNA Tiles, Wang Tiles and Combinators 101
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 99
A Preprocessor for Java with m-parameters, CS&P'2008 98
Proving Type Safety for Java Simple Closures 92
DNA Tiles, Wang Tiles and Combinators 92
A Strongly Typed, Interactive Object-Oriented Database Programming Language 90
"La Generazione di Rapporti da Basi di Dati Relazionali 89
Galileo Reference Manual 2.0 89
Integrazione di Linguaggi di Programmazione e Basi di Dati Relazionali: lo Stato dell'arte 89
Caratteristiche dei Formalismi della Seconda Generazione per la Definizione di Schemi Concettuali 86
A Variable free calculus for Equational Programming 78
N-axioms Parallel Unification 76
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 75
Properties of Java Simple Closures 73
Prolog as a Database Language 71
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 70
Un Linguaggio di Programmazione Applicativo per il Trattamento di Dati Permanenti Collegati 70
Introduzione allo studio dei linguaggi di programmazione 67
Linear Unification based on C-expressions 67
JavaOmega: Higher Order Programming in Java, 62
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 62
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 60
A Workbench for Conceptual Design in Galileo 59
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 59
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 58
JavaOmega: A Translation Semantics for Closures in Java 57
Operators for Unification and Most General Instance 54
Semantica e Pragmatica del Linguaggio Pascal 53
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 52
Unification: ?-terms or Substitutions? 52
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 51
Reduction Machines fo Logic Programming based on C-expressions 51
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 47
Meccanizzazione in un Provveditorato agli Studi: Alcuni Algoritmi per il trasferimento dei Professori 46
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 45
From Object Calculus to Java with Passing and Extraction of Methods 43
New Bounds in Parallel Unification 37
Programming Self-Assembly of DNA Tiles 27
Totale 4.256
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.770
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 10.770
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020412 0 0 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/2024431 34 49 34 22 58 89 39 4 15 23 27 37
2024/202579 9 59 11 0 0 0 0 0 0 0 0 0
Totale 4.256