CINECA IRIS Institutional Research Information System

BELLIA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.947
EU - Europa 1.966
AS - Asia 1.354
SA - Sud America 184
AF - Africa 45
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.501
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.778
IT - Italia 578
CN - Cina 528
SE - Svezia 511
SG - Singapore 401
DE - Germania 211
BG - Bulgaria 195
HK - Hong Kong 175
BR - Brasile 166
CA - Canada 161
TR - Turchia 121
UA - Ucraina 103
GB - Regno Unito 88
FI - Finlandia 84
RU - Federazione Russa 76
VN - Vietnam 61
FR - Francia 35
CH - Svizzera 34
BE - Belgio 24
IN - India 19
KR - Corea 15
CI - Costa d'Avorio 14
JP - Giappone 7
NG - Nigeria 7
SN - Senegal 7
ES - Italia 6
MX - Messico 6
UG - Uganda 6
AR - Argentina 5
EC - Ecuador 5
AE - Emirati Arabi Uniti 4
BD - Bangladesh 4
BJ - Benin 4
PL - Polonia 4
UZ - Uzbekistan 4
HR - Croazia 3
IQ - Iraq 3
PE - Perù 3
RO - Romania 3
ZA - Sudafrica 3
AT - Austria 2
CO - Colombia 2
CZ - Repubblica Ceca 2
ET - Etiopia 2
LB - Libano 2
NZ - Nuova Zelanda 2
PK - Pakistan 2
VE - Venezuela 2
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
CL - Cile 1
DK - Danimarca 1
EU - Europa 1
HU - Ungheria 1
IE - Irlanda 1
IR - Iran 1
JO - Giordania 1
KE - Kenya 1
KH - Cambogia 1
LT - Lituania 1
MD - Moldavia 1
NL - Olanda 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
SA - Arabia Saudita 1
TN - Tunisia 1
TW - Taiwan 1
VI - Stati Uniti Isole Vergini 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.501
Salva come PNG Salva come JPEG
Città #
Woodbridge 510
Ann Arbor 432
Chandler 426
Santa Clara 336
Ashburn 306
Houston 259
Singapore 218
Sofia 195
Milan 192
Fairfield 190
Hong Kong 175
Ottawa 153
Shanghai 144
Jacksonville 125
New York 111
Beijing 102
Izmir 89
Serra 83
Boardman 73
Des Moines 71
Seattle 69
Cambridge 67
Princeton 67
Lawrence 65
Wilmington 61
Hefei 56
Dearborn 53
Nanjing 52
Medford 45
Bern 32
Bremen 28
Istanbul 26
Brussels 24
Los Angeles 23
Frankfurt am Main 22
Dong Ket 21
Jüchen 20
Kunming 20
Marseille 20
Nanchang 19
Ogden 19
Redwood City 18
Florence 16
Pune 16
Auburn Hills 15
Abidjan 14
Changsha 14
Seoul 14
São Paulo 13
Hebei 11
Rio de Janeiro 11
Düsseldorf 10
Fuzhou 10
Rome 10
Shenyang 10
Munich 9
Nürnberg 9
Phoenix 9
Tianjin 9
Belo Horizonte 8
The Dalles 8
Boulder 7
Dakar 7
Lagos 7
London 7
Paris 7
Quanzhou 7
San Diego 7
Hangzhou 6
Helsinki 6
Orange 6
Brasília 5
Cerro Maggiore 5
Council Bluffs 5
Falls Church 5
Guangzhou 5
Jiaxing 5
Tokyo 5
Capannori 4
Cotonou 4
San Francisco 4
Shaoxing 4
Warsaw 4
Baghdad 3
Campinas 3
Edinburgh 3
Goiânia 3
Kampala 3
Lanzhou 3
Lima 3
Ningbo 3
Piracicaba 3
São José dos Campos 3
Tashkent 3
Viareggio 3
Wuhan 3
Addis Ababa 2
Alessandria 2
Aparecida de Goiânia 2
Aracaju 2
Totale 5.402
Salva come PNG Salva come JPEG
Nome #
Programming environments: deriving language dependent tools from structured donotational semantics 197
Applicative communicating processes in first order logic 178
On the Integration of Logic Programming and Functional Programming 170
Programming Self-Assembly of DNA Tiles 165
The Relation between Logic and Functional Languages: A Survey 164
Suprema of Open and Closed Formulas and their Application to Resolution 163
Applicative Communicating Processes in First Order Logic 163
C-expressions: A variable free calculus for equational Logic Programming 162
Programming environment generation based on denotational semantics 160
Hierarchical Development of Programming Languages 158
Lazy Linear Combinatorial Unification 155
Logic and Functional Programming by Retractions 154
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 152
Towards the definition of an experimental programming environment from language formal specifications 151
A Functional Plus Predicate Logic Programming 144
LEAF: A Language which Integrates Logic, Equations and Functions 141
Logic and Functional Programming by Retraction: Operational Semantics 140
C-expressions: a variable-free calculus for equational logic programming 140
Retractions: A Functional Paradigm for Logic Programming 136
JavaOmega: Software 132
null 129
Another PRAM algorithm for finding connected components of sparse graphs 128
DNA Tiles, Wang Tiles and Combinators 127
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 124
An Interactive Assistant System for Proving Program Properties 123
Distributed Control, Modularity and Data Types in a simple Parallel Language 121
LEAF: A Language witch Integrates Logic, Equations and Functions. 118
Methods as Parameters: A Preprocessing Approach in Java 117
An Interactive Assistant System for Proving Program Properties 117
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 113
JavaOmega: A Preprocessor for Java with M-parameters 112
DNA Tiles, Wang Tiles and Combinators 112
Higher Order Programming through Java Reflection 103
A functional plus predicate programming language 102
Toward the Derivation of an Experimental Programming Environment Form Language Formal Specifications 100
On Compiling PROLOG Programs on Demand-driven Architectures 100
A Variable free calculus for Equational Programming 100
Ambienti integrati per la produzione del software 99
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 99
New Bounds in Parallel Unification 98
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 98
N-axioms Parallel Unification 96
Properties of Java Simple Closures 94
Principi e Tecniche di Progettazione del Software 93
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 91
Linear Unification based on C-expressions 91
Introduzione allo studio dei linguaggi di programmazione 88
JavaW: Higher Order Programming in Java 87
JavaOmega: A Translation Semantics for Closures in Java 84
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 84
On the Integration of Logic Programming and Functional Programming 81
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 80
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 77
Proving Type Safety for Java Simple Closures 77
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 76
Operators for Unification and Most General Instance 76
Semantica e Pragmatica del Linguaggio Pascal 76
Reduction Machines fo Logic Programming based on C-expressions 75
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 74
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 72
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 72
Unification: ?-terms or Substitutions? 71
null 70
From Object Calculus to Java with Passing and Extraction of Methods 66
Programming Self-Assembly of DNA Tiles 63
The call-by-name semantics of a clause language with functions 61
New Bounds in Parallel Unification 60
A Two-Level Approach to Logic plus Functional Programming Integration 42
Totale 7.542
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.015
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 20.015
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202014 0 0 0 0 0 0 0 0 0 0 0 14
2020/2021369 37 18 23 15 48 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/20251.810 11 79 21 130 243 186 132 108 154 247 262 237
Totale 7.542