CINECA IRIS Institutional Research Information System

BELLIA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.670
EU - Europa 1.878
AS - Asia 729
AF - Africa 38
SA - Sud America 5
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.324
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.513
IT - Italia 568
SE - Svezia 510
CN - Cina 311
DE - Germania 202
SG - Singapore 197
BG - Bulgaria 195
CA - Canada 155
TR - Turchia 116
UA - Ucraina 100
FI - Finlandia 82
GB - Regno Unito 80
VN - Vietnam 61
CH - Svizzera 34
FR - Francia 34
RU - Federazione Russa 32
BE - Belgio 23
HK - Hong Kong 21
IN - India 16
CI - Costa d'Avorio 14
NG - Nigeria 7
SN - Senegal 7
UG - Uganda 6
JP - Giappone 5
BJ - Benin 4
ES - Italia 4
BR - Brasile 3
HR - Croazia 3
RO - Romania 3
CZ - Repubblica Ceca 2
MX - Messico 2
NZ - Nuova Zelanda 2
PE - Perù 2
AT - Austria 1
AU - Australia 1
DK - Danimarca 1
EU - Europa 1
HU - Ungheria 1
IE - Irlanda 1
IR - Iran 1
KR - Corea 1
MD - Moldavia 1
NL - Olanda 1
Totale 6.324
Salva come PNG Salva come JPEG
Città #
Woodbridge 510
Ann Arbor 432
Chandler 426
Santa Clara 336
Houston 259
Sofia 195
Fairfield 190
Milan 189
Ottawa 152
Jacksonville 125
Singapore 116
Ashburn 112
New York 109
Beijing 93
Izmir 89
Serra 83
Boardman 73
Des Moines 71
Seattle 69
Cambridge 67
Princeton 67
Lawrence 65
Wilmington 61
Dearborn 53
Nanjing 52
Medford 45
Bern 32
Bremen 28
Istanbul 26
Brussels 23
Dong Ket 21
Frankfurt am Main 21
Hong Kong 21
Jüchen 20
Kunming 20
Marseille 20
Nanchang 19
Ogden 19
Redwood City 18
Los Angeles 17
Florence 16
Pune 16
Auburn Hills 15
Abidjan 14
Changsha 14
Hebei 11
Düsseldorf 10
Fuzhou 10
Shenyang 10
Nürnberg 9
Rome 9
Tianjin 9
Boulder 7
Dakar 7
Lagos 7
Paris 7
Quanzhou 7
San Diego 7
Hangzhou 6
Orange 6
Cerro Maggiore 5
Falls Church 5
Guangzhou 5
Hefei 5
Helsinki 5
Jiaxing 5
London 5
Phoenix 5
Shanghai 5
Capannori 4
Cotonou 4
Shaoxing 4
Edinburgh 3
Kampala 3
Lanzhou 3
Ningbo 3
Tokyo 3
Viareggio 3
Wuhan 3
Alessandria 2
Campi Bisenzio 2
Dallas 2
Jinan 2
Kilburn 2
Lima 2
Livorno 2
Madrid 2
Munich 2
Nagoya 2
Norwalk 2
Prague 2
Rio de Janeiro 2
Sabadell 2
Sacile 2
San Francisco 2
San Severino Marche 2
Shenzhen 2
Simi Valley 2
Tappahannock 2
Trento 2
Totale 4.661
Salva come PNG Salva come JPEG
Nome #
Programming environments: deriving language dependent tools from structured donotational semantics 174
Applicative communicating processes in first order logic 156
Programming Self-Assembly of DNA Tiles 146
C-expressions: A variable free calculus for equational Logic Programming 144
Applicative Communicating Processes in First Order Logic 144
On the Integration of Logic Programming and Functional Programming 141
Suprema of Open and Closed Formulas and their Application to Resolution 140
The Relation between Logic and Functional Languages: A Survey 135
Logic and Functional Programming by Retractions 134
Programming environment generation based on denotational semantics 132
Hierarchical Development of Programming Languages 131
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 130
null 129
A Functional Plus Predicate Logic Programming 127
Retractions: A Functional Paradigm for Logic Programming 125
C-expressions: a variable-free calculus for equational logic programming 124
Towards the definition of an experimental programming environment from language formal specifications 122
Lazy Linear Combinatorial Unification 118
JavaOmega: Software 117
Logic and Functional Programming by Retraction: Operational Semantics 114
LEAF: A Language which Integrates Logic, Equations and Functions 113
Another PRAM algorithm for finding connected components of sparse graphs 113
Distributed Control, Modularity and Data Types in a simple Parallel Language 110
DNA Tiles, Wang Tiles and Combinators 108
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 107
An Interactive Assistant System for Proving Program Properties 104
DNA Tiles, Wang Tiles and Combinators 101
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 99
JavaOmega: A Preprocessor for Java with M-parameters 98
An Interactive Assistant System for Proving Program Properties 98
Methods as Parameters: A Preprocessing Approach in Java 97
LEAF: A Language witch Integrates Logic, Equations and Functions. 96
Higher Order Programming through Java Reflection 89
Ambienti integrati per la produzione del software 88
A functional plus predicate programming language 87
A Variable free calculus for Equational Programming 86
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 84
N-axioms Parallel Unification 84
Properties of Java Simple Closures 82
Toward the Derivation of an Experimental Programming Environment Form Language Formal Specifications 82
On Compiling PROLOG Programs on Demand-driven Architectures 82
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 80
New Bounds in Parallel Unification 78
Principi e Tecniche di Progettazione del Software 77
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 74
Introduzione allo studio dei linguaggi di programmazione 74
JavaW: Higher Order Programming in Java 73
Linear Unification based on C-expressions 72
null 70
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 69
JavaOmega: A Translation Semantics for Closures in Java 67
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 67
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 66
On the Integration of Logic Programming and Functional Programming 66
Proving Type Safety for Java Simple Closures 63
Semantica e Pragmatica del Linguaggio Pascal 62
Operators for Unification and Most General Instance 61
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 59
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 59
Reduction Machines fo Logic Programming based on C-expressions 59
Unification: ?-terms or Substitutions? 58
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 56
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 56
From Object Calculus to Java with Passing and Extraction of Methods 51
The call-by-name semantics of a clause language with functions 44
New Bounds in Parallel Unification 44
Programming Self-Assembly of DNA Tiles 40
A Two-Level Approach to Logic plus Functional Programming Integration 29
Totale 6.365
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.184
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 16.184
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020414 0 0 0 0 0 86 103 49 67 36 59 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/2025633 11 79 21 130 243 149 0 0 0 0 0 0
Totale 6.365