CINECA IRIS Institutional Research Information System

BELLIA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.617
AS - Asia 2.542
EU - Europa 2.130
SA - Sud America 262
AF - Africa 86
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 3
Totale 9.646
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.411
SG - Singapore 822
CN - Cina 775
IT - Italia 583
SE - Svezia 513
HK - Hong Kong 318
DE - Germania 240
BR - Brasile 219
BG - Bulgaria 195
CA - Canada 170
VN - Vietnam 145
TR - Turchia 133
GB - Regno Unito 115
UA - Ucraina 106
FI - Finlandia 101
FR - Francia 98
KR - Corea 91
RU - Federazione Russa 78
IN - India 71
JP - Giappone 54
CH - Svizzera 34
BD - Bangladesh 29
BE - Belgio 25
IQ - Iraq 21
SA - Arabia Saudita 15
CI - Costa d'Avorio 14
MX - Messico 14
ZA - Sudafrica 14
PK - Pakistan 12
VE - Venezuela 11
KE - Kenya 10
ES - Italia 9
NG - Nigeria 9
PL - Polonia 9
AE - Emirati Arabi Uniti 8
UG - Uganda 8
UZ - Uzbekistan 8
AR - Argentina 7
CO - Colombia 7
SN - Senegal 7
EC - Ecuador 6
EG - Egitto 6
JM - Giamaica 6
MY - Malesia 5
NL - Olanda 5
BJ - Benin 4
LB - Libano 4
PA - Panama 4
PS - Palestinian Territory 4
PY - Paraguay 4
TN - Tunisia 4
AU - Australia 3
ET - Etiopia 3
HR - Croazia 3
JO - Giordania 3
PE - Perù 3
PH - Filippine 3
RO - Romania 3
AT - Austria 2
AZ - Azerbaigian 2
BO - Bolivia 2
BS - Bahamas 2
CZ - Repubblica Ceca 2
IE - Irlanda 2
IR - Iran 2
KG - Kirghizistan 2
KH - Cambogia 2
LK - Sri Lanka 2
LT - Lituania 2
MA - Marocco 2
NI - Nicaragua 2
NP - Nepal 2
NZ - Nuova Zelanda 2
OM - Oman 2
TT - Trinidad e Tobago 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
CL - Cile 1
CR - Costa Rica 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.643
Salva come PNG Salva come JPEG
Città #
Woodbridge 510
Singapore 494
Ann Arbor 432
Chandler 426
Ashburn 358
Santa Clara 341
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 116
Izmir 90
Seoul 90
Serra 83
Boardman 73
Des Moines 72
Los Angeles 71
Seattle 70
Cambridge 67
Princeton 67
Lawrence 65
Wilmington 61
Lauterbourg 57
Dearborn 53
Nanjing 52
Tokyo 49
Medford 45
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
Council Bluffs 14
Orem 14
Rio de Janeiro 12
Dhaka 11
Hebei 11
Düsseldorf 10
Fuzhou 10
Phoenix 10
Rome 10
Shenyang 10
Belo Horizonte 9
Chennai 9
Nürnberg 9
Paris 9
Tianjin 9
Warsaw 9
Baghdad 8
Guangzhou 8
Lagos 8
London 8
Mumbai 8
Nairobi 8
The Dalles 8
Boulder 7
Brasília 7
Dakar 7
Quanzhou 7
San Diego 7
Tashkent 7
Atlanta 6
Hangzhou 6
Johannesburg 6
Kingston 6
Orange 6
Amsterdam 5
Cerro Maggiore 5
Columbus 5
Falls Church 5
Jiaxing 5
Kampala 5
New Delhi 5
Totale 6.777
Salva come PNG Salva come JPEG
Nome #
Programming environments: deriving language dependent tools from structured donotational semantics 247
Applicative communicating processes in first order logic 221
On the Integration of Logic Programming and Functional Programming 215
Programming environment generation based on denotational semantics 209
Programming Self-Assembly of DNA Tiles 207
The Relation between Logic and Functional Languages: A Survey 202
Hierarchical Development of Programming Languages 199
Towards the definition of an experimental programming environment from language formal specifications 195
C-expressions: A variable free calculus for equational Logic Programming 194
Suprema of Open and Closed Formulas and their Application to Resolution 193
Applicative Communicating Processes in First Order Logic 193
Logic and Functional Programming by Retractions 189
Logic and Functional Programming by Retraction: Operational Semantics 180
LEAF: A Language which Integrates Logic, Equations and Functions 179
A Functional Plus Predicate Logic Programming 179
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 177
Lazy Linear Combinatorial Unification 175
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 162
JavaOmega: Software 161
C-expressions: a variable-free calculus for equational logic programming 159
JavaOmega: A Preprocessor for Java with M-parameters 158
Methods as Parameters: A Preprocessing Approach in Java 157
Retractions: A Functional Paradigm for Logic Programming 152
DNA Tiles, Wang Tiles and Combinators 151
Distributed Control, Modularity and Data Types in a simple Parallel Language 145
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 145
LEAF: A Language witch Integrates Logic, Equations and Functions. 144
Properties of Java Simple Closures 141
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 141
An Interactive Assistant System for Proving Program Properties 139
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 138
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 133
JavaOmega: A Translation Semantics for Closures in Java 132
Toward the Derivation of an Experimental Programming Environment Form Language Formal Specifications 132
JavaW: Higher Order Programming in Java 129
null 129
A Variable free calculus for Equational Programming 127
Higher Order Programming through Java Reflection 125
On Compiling PROLOG Programs on Demand-driven Architectures 124
Ambienti integrati per la produzione del software 123
New Bounds in Parallel Unification 121
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
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 119
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 117
Introduzione allo studio dei linguaggi di programmazione 117
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 117
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 116
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 114
Linear Unification based on C-expressions 114
N-axioms Parallel Unification 114
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 113
Programming Self-Assembly of DNA Tiles 113
Proving Type Safety for Java Simple Closures 112
On the Integration of Logic Programming and Functional Programming 109
From Object Calculus to Java with Passing and Extraction of Methods 108
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 98
Unification: ?-terms or Substitutions? 97
Semantica e Pragmatica del Linguaggio Pascal 96
Reduction Machines fo Logic Programming based on C-expressions 95
Operators for Unification and Most General Instance 92
The call-by-name semantics of a clause language with functions 87
New Bounds in Parallel Unification 77
A Two-Level Approach to Logic plus Functional Programming Integration 74
null 70
Totale 9.687
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.762
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 25.762
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202171 0 0 0 0 0 0 0 0 0 0 0 71
2021/2022774 5 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.846 166 316 158 132 196 207 336 35 103 144 43 10
Totale 9.687