CINECA IRIS Institutional Research Information System

BELLIA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.687
AS - Asia 2.544
EU - Europa 2.140
SA - Sud America 269
AF - Africa 86
Continente sconosciuto - Info sul continente non disponibili 44
OC - Oceania 6
Totale 9.776
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.472
SG - Singapore 822
CN - Cina 775
IT - Italia 588
SE - Svezia 514
HK - Hong Kong 318
DE - Germania 240
BR - Brasile 221
BG - Bulgaria 195
CA - Canada 174
VN - Vietnam 145
TR - Turchia 133
GB - Regno Unito 115
UA - Ucraina 106
FI - Finlandia 101
FR - Francia 99
KR - Corea 93
RU - Federazione Russa 78
IN - India 71
JP - Giappone 54
CH - Svizzera 34
BD - Bangladesh 29
BE - Belgio 25
IQ - Iraq 21
MX - Messico 15
SA - Arabia Saudita 15
CI - Costa d'Avorio 14
ZA - Sudafrica 14
PK - Pakistan 12
VE - Venezuela 12
KE - Kenya 10
PL - Polonia 10
ES - Italia 9
NG - Nigeria 9
AE - Emirati Arabi Uniti 8
AR - Argentina 8
CO - Colombia 8
UG - Uganda 8
UZ - Uzbekistan 8
JM - Giamaica 7
SN - Senegal 7
EC - Ecuador 6
EG - Egitto 6
NL - Olanda 6
MY - Malesia 5
BJ - Benin 4
LB - Libano 4
PA - Panama 4
PE - Perù 4
PS - Palestinian Territory 4
PY - Paraguay 4
TN - Tunisia 4
AU - Australia 3
CR - Costa Rica 3
ET - Etiopia 3
HR - Croazia 3
JO - Giordania 3
LT - Lituania 3
PH - Filippine 3
RO - Romania 3
TT - Trinidad e Tobago 3
AT - Austria 2
AZ - Azerbaigian 2
BO - Bolivia 2
BS - Bahamas 2
CL - Cile 2
CZ - Repubblica Ceca 2
IE - Irlanda 2
IR - Iran 2
KG - Kirghizistan 2
KH - Cambogia 2
LK - Sri Lanka 2
MA - Marocco 2
NI - Nicaragua 2
NP - Nepal 2
NZ - Nuova Zelanda 2
OM - Oman 2
UY - Uruguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BW - Botswana 1
BZ - Belize 1
CV - Capo Verde 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
EU - Europa 1
GT - Guatemala 1
HN - Honduras 1
HU - Ungheria 1
IL - Israele 1
KZ - Kazakistan 1
LC - Santa Lucia 1
MD - Moldavia 1
MM - Myanmar 1
QA - Qatar 1
TG - Togo 1
Totale 9.732
Salva come PNG Salva come JPEG
Città #
Woodbridge 510
Singapore 494
Ann Arbor 432
Chandler 426
Ashburn 362
Santa Clara 343
Hong Kong 308
Houston 262
Sofia 195
Milan 193
San Jose 192
Fairfield 190
Beijing 158
Ottawa 153
Shanghai 145
Dallas 142
Jacksonville 125
Hefei 124
New York 117
Izmir 90
Seoul 90
Serra 83
Boardman 73
Des Moines 72
Los Angeles 72
Seattle 70
Cambridge 67
Princeton 67
Lawrence 65
Wilmington 61
Lauterbourg 57
Dearborn 53
Nanjing 52
Tokyo 49
Medford 45
Council Bluffs 33
Bern 32
Frankfurt am Main 32
Istanbul 29
Bremen 28
Ho Chi Minh City 27
Munich 26
Brussels 25
Hanoi 25
Buffalo 24
Dong Ket 21
Helsinki 20
Jüchen 20
Kunming 20
Marseille 20
Redondo Beach 20
Nanchang 19
Ogden 19
Redwood City 18
São Paulo 18
Pune 17
Florence 16
Auburn Hills 15
Abidjan 14
Changsha 14
Orem 14
Rio de Janeiro 13
Phoenix 12
Dhaka 11
Hebei 11
Düsseldorf 10
Fuzhou 10
Rome 10
Shenyang 10
Belo Horizonte 9
Chennai 9
Nürnberg 9
Paris 9
Tianjin 9
Warsaw 9
Atlanta 8
Baghdad 8
Guangzhou 8
Lagos 8
London 8
Mumbai 8
Nairobi 8
The Dalles 8
Boulder 7
Brasília 7
Dakar 7
Kingston 7
Quanzhou 7
San Diego 7
Tashkent 7
Hangzhou 6
Johannesburg 6
Orange 6
Amsterdam 5
Cerro Maggiore 5
Columbus 5
Falls Church 5
Jiaxing 5
Kampala 5
New Delhi 5
Totale 6.810
Salva come PNG Salva come JPEG
Nome #
Programming environments: deriving language dependent tools from structured donotational semantics 248
Applicative communicating processes in first order logic 222
On the Integration of Logic Programming and Functional Programming 216
Programming environment generation based on denotational semantics 212
Programming Self-Assembly of DNA Tiles 208
The Relation between Logic and Functional Languages: A Survey 206
Hierarchical Development of Programming Languages 202
Towards the definition of an experimental programming environment from language formal specifications 197
C-expressions: A variable free calculus for equational Logic Programming 195
Suprema of Open and Closed Formulas and their Application to Resolution 194
Applicative Communicating Processes in First Order Logic 194
Logic and Functional Programming by Retractions 192
Logic and Functional Programming by Retraction: Operational Semantics 180
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 180
LEAF: A Language which Integrates Logic, Equations and Functions 179
A Functional Plus Predicate Logic Programming 179
Lazy Linear Combinatorial Unification 177
Another PRAM algorithm for finding connected components of sparse graphs 168
DNA Tiles, Wang Tiles and Combinators 166
An Interactive Assistant System for Proving Program Properties 163
JavaOmega: Software 162
JavaOmega: A Preprocessor for Java with M-parameters 162
C-expressions: a variable-free calculus for equational logic programming 160
Methods as Parameters: A Preprocessing Approach in Java 158
DNA Tiles, Wang Tiles and Combinators 153
Retractions: A Functional Paradigm for Logic Programming 152
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 146
LEAF: A Language witch Integrates Logic, Equations and Functions. 145
Distributed Control, Modularity and Data Types in a simple Parallel Language 145
Properties of Java Simple Closures 142
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 142
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 140
An Interactive Assistant System for Proving Program Properties 139
JavaOmega: A Translation Semantics for Closures in Java 135
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 134
Toward the Derivation of an Experimental Programming Environment Form Language Formal Specifications 134
JavaW: Higher Order Programming in Java 130
null 129
A Variable free calculus for Equational Programming 128
Higher Order Programming through Java Reflection 126
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 124
On Compiling PROLOG Programs on Demand-driven Architectures 124
Ambienti integrati per la produzione del software 123
New Bounds in Parallel Unification 122
Principi e Tecniche di Progettazione del Software 121
A functional plus predicate programming language 121
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 120
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 120
Introduzione allo studio dei linguaggi di programmazione 119
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 118
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 116
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 116
N-axioms Parallel Unification 116
Linear Unification based on C-expressions 115
Proving Type Safety for Java Simple Closures 114
Programming Self-Assembly of DNA Tiles 114
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 113
On the Integration of Logic Programming and Functional Programming 110
From Object Calculus to Java with Passing and Extraction of Methods 109
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 99
Unification: ?-terms or Substitutions? 98
Semantica e Pragmatica del Linguaggio Pascal 98
Reduction Machines fo Logic Programming based on C-expressions 96
Operators for Unification and Most General Instance 94
The call-by-name semantics of a clause language with functions 89
New Bounds in Parallel Unification 80
A Two-Level Approach to Logic plus Functional Programming Integration 77
null 70
Totale 9.776
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.723
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 26.723
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022769 0 46 34 102 172 89 12 23 33 8 48 202
2022/20231.110 156 147 79 147 103 175 12 68 160 3 50 10
2023/2024687 92 78 92 43 91 128 35 13 16 28 26 45
2024/20252.109 11 79 21 130 243 186 132 108 154 247 262 536
2025/20261.874 166 316 158 132 196 207 336 35 103 144 43 38
2026/202761 32 29 0 0 0 0 0 0 0 0 0 0
Totale 9.776