CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019126 0 0 0 0 0 0 0 0 0 0 75 51
2019/2020731 95 84 30 45 63 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/2024616 92 78 92 43 91 128 35 13 16 28 0 0
Totale 5.661