CINECA IRIS Institutional Research Information System

BELLIA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.313
AS - Asia 2.270
EU - Europa 2.038
SA - Sud America 252
AF - Africa 82
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 3
Totale 8.964
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.108
SG - Singapore 746
CN - Cina 738
IT - Italia 583
SE - Svezia 513
HK - Hong Kong 306
DE - Germania 229
BR - Brasile 211
BG - Bulgaria 195
CA - Canada 169
TR - Turchia 130
GB - Regno Unito 111
UA - Ucraina 106
KR - Corea 91
FI - Finlandia 87
RU - Federazione Russa 77
VN - Vietnam 69
IN - India 58
FR - Francia 38
CH - Svizzera 34
BE - Belgio 25
BD - Bangladesh 24
JP - Giappone 18
IQ - Iraq 17
CI - Costa d'Avorio 14
MX - Messico 14
SA - Arabia Saudita 13
ZA - Sudafrica 13
VE - Venezuela 11
PK - Pakistan 10
ES - Italia 9
KE - Kenya 9
NG - Nigeria 9
PL - Polonia 9
AE - Emirati Arabi Uniti 8
UG - Uganda 8
CO - Colombia 7
SN - Senegal 7
UZ - Uzbekistan 7
AR - Argentina 6
EC - Ecuador 6
JM - Giamaica 6
EG - Egitto 5
BJ - Benin 4
MY - Malesia 4
NL - Olanda 4
PA - Panama 4
PS - Palestinian Territory 4
TN - Tunisia 4
AU - Australia 3
ET - Etiopia 3
HR - Croazia 3
JO - Giordania 3
LB - Libano 3
PE - Perù 3
PY - Paraguay 3
RO - Romania 3
AT - Austria 2
AZ - Azerbaigian 2
BO - Bolivia 2
BS - Bahamas 2
CZ - Repubblica Ceca 2
IR - Iran 2
KH - Cambogia 2
LK - Sri Lanka 2
LT - Lituania 2
MA - Marocco 2
NI - Nicaragua 2
NZ - Nuova Zelanda 2
OM - Oman 2
PH - Filippine 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
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
IE - Irlanda 1
IL - Israele 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LC - Santa Lucia 1
MD - Moldavia 1
MM - Myanmar 1
NP - Nepal 1
QA - Qatar 1
TG - Togo 1
TV - Tuvalu 1
Totale 8.962
Salva come PNG Salva come JPEG
Città #
Woodbridge 510
Singapore 445
Ann Arbor 432
Chandler 426
Santa Clara 337
Ashburn 333
Hong Kong 304
Houston 261
Sofia 195
Milan 193
Fairfield 190
Beijing 158
Ottawa 153
Shanghai 144
Dallas 142
Jacksonville 125
Hefei 124
New York 115
Izmir 90
Seoul 90
Serra 83
Boardman 73
Des Moines 71
Los Angeles 71
Seattle 70
Cambridge 67
Princeton 67
Lawrence 65
Wilmington 61
Dearborn 53
Nanjing 52
Medford 45
Bern 32
Istanbul 29
Bremen 28
Munich 26
Brussels 25
Buffalo 24
Frankfurt am Main 22
Dong Ket 21
Jüchen 20
Kunming 20
Marseille 20
Redondo Beach 20
Nanchang 19
Ogden 19
Redwood City 18
São Paulo 18
Florence 16
Pune 16
Auburn Hills 15
Abidjan 14
Changsha 14
Council Bluffs 13
Tokyo 13
Rio de Janeiro 12
Hebei 11
Dhaka 10
Düsseldorf 10
Fuzhou 10
Phoenix 10
Rome 10
Shenyang 10
Belo Horizonte 9
Nürnberg 9
Tianjin 9
Warsaw 9
Guangzhou 8
Lagos 8
London 8
Nairobi 8
Paris 8
The Dalles 8
Boulder 7
Brasília 7
Dakar 7
Quanzhou 7
San Diego 7
Baghdad 6
Hangzhou 6
Helsinki 6
Johannesburg 6
Kingston 6
Orange 6
Tashkent 6
Atlanta 5
Cerro Maggiore 5
Columbus 5
Falls Church 5
Jiaxing 5
Kampala 5
Mumbai 5
New Delhi 5
Amsterdam 4
Ankara 4
Boston 4
Capannori 4
Chennai 4
Cotonou 4
Edinburgh 4
Totale 6.319
Salva come PNG Salva come JPEG
Nome #
Programming environments: deriving language dependent tools from structured donotational semantics 235
Applicative communicating processes in first order logic 211
On the Integration of Logic Programming and Functional Programming 202
Programming environment generation based on denotational semantics 197
The Relation between Logic and Functional Languages: A Survey 194
Programming Self-Assembly of DNA Tiles 194
Hierarchical Development of Programming Languages 187
Suprema of Open and Closed Formulas and their Application to Resolution 187
C-expressions: A variable free calculus for equational Logic Programming 186
Towards the definition of an experimental programming environment from language formal specifications 182
Logic and Functional Programming by Retractions 182
Applicative Communicating Processes in First Order Logic 181
LEAF: A Language which Integrates Logic, Equations and Functions 169
Lazy Linear Combinatorial Unification 169
Logic and Functional Programming by Retraction: Operational Semantics 168
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 166
A Functional Plus Predicate Logic Programming 163
DNA Tiles, Wang Tiles and Combinators 155
An Interactive Assistant System for Proving Program Properties 153
JavaOmega: Software 152
C-expressions: a variable-free calculus for equational logic programming 152
Methods as Parameters: A Preprocessing Approach in Java 150
Another PRAM algorithm for finding connected components of sparse graphs 150
JavaOmega: A Preprocessor for Java with M-parameters 147
Retractions: A Functional Paradigm for Logic Programming 147
DNA Tiles, Wang Tiles and Combinators 146
Distributed Control, Modularity and Data Types in a simple Parallel Language 136
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 135
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 132
LEAF: A Language witch Integrates Logic, Equations and Functions. 132
An Interactive Assistant System for Proving Program Properties 131
null 129
Properties of Java Simple Closures 127
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 125
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 123
Toward the Derivation of an Experimental Programming Environment Form Language Formal Specifications 121
Higher Order Programming through Java Reflection 119
JavaW: Higher Order Programming in Java 118
A Variable free calculus for Equational Programming 118
JavaOmega: A Translation Semantics for Closures in Java 116
A functional plus predicate programming language 115
On Compiling PROLOG Programs on Demand-driven Architectures 113
New Bounds in Parallel Unification 111
Ambienti integrati per la produzione del software 111
Principi e Tecniche di Progettazione del Software 109
N-axioms Parallel Unification 109
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 106
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 106
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 104
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 104
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 104
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 104
Linear Unification based on C-expressions 104
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 104
Proving Type Safety for Java Simple Closures 103
Programming Self-Assembly of DNA Tiles 103
Introduzione allo studio dei linguaggi di programmazione 100
From Object Calculus to Java with Passing and Extraction of Methods 98
On the Integration of Logic Programming and Functional Programming 94
Semantica e Pragmatica del Linguaggio Pascal 89
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 88
Unification: ?-terms or Substitutions? 87
Operators for Unification and Most General Instance 86
Reduction Machines fo Logic Programming based on C-expressions 84
The call-by-name semantics of a clause language with functions 76
New Bounds in Parallel Unification 72
null 70
A Two-Level Approach to Logic plus Functional Programming Integration 64
Totale 9.005
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.656
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 23.656
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021228 0 0 0 0 0 19 24 51 13 41 9 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.164 166 316 158 132 196 196 0 0 0 0 0 0
Totale 9.005