BELLIA, MARCO
 Distribuzione geografica
Continente #
NA - Nord America 3.246
EU - Europa 1.851
AS - Asia 562
AF - Africa 34
SA - Sud America 4
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.701
Nazione #
US - Stati Uniti d'America 3.089
IT - Italia 568
SE - Svezia 510
CN - Cina 273
DE - Germania 199
BG - Bulgaria 195
CA - Canada 155
UA - Ucraina 100
TR - Turchia 93
SG - Singapore 92
FI - Finlandia 81
GB - Regno Unito 79
VN - Vietnam 61
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.701
Città #
Woodbridge 510
Ann Arbor 432
Chandler 426
Houston 259
Sofia 195
Fairfield 190
Milan 189
Ottawa 152
Jacksonville 125
New York 109
Ashburn 95
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
Singapore 26
Brussels 23
Dong Ket 21
Frankfurt am Main 20
Hong Kong 20
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
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
Phoenix 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
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
Totale 4.100
Nome #
Programming environments: deriving language dependent tools from structured donotational semantics 162
Applicative communicating processes in first order logic 147
C-expressions: A variable free calculus for equational Logic Programming 136
Applicative Communicating Processes in First Order Logic 135
Programming Self-Assembly of DNA Tiles 135
On the Integration of Logic Programming and Functional Programming 132
Suprema of Open and Closed Formulas and their Application to Resolution 132
null 129
The Relation between Logic and Functional Languages: A Survey 126
Hierarchical Development of Programming Languages 123
Logic and Functional Programming by Retractions 123
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 122
Programming environment generation based on denotational semantics 121
A Functional Plus Predicate Logic Programming 118
C-expressions: a variable-free calculus for equational logic programming 116
Retractions: A Functional Paradigm for Logic Programming 115
Towards the definition of an experimental programming environment from language formal specifications 112
Lazy Linear Combinatorial Unification 110
JavaOmega: Software 107
Another PRAM algorithm for finding connected components of sparse graphs 105
LEAF: A Language which Integrates Logic, Equations and Functions 104
Logic and Functional Programming by Retraction: Operational Semantics 104
Distributed Control, Modularity and Data Types in a simple Parallel Language 101
DNA Tiles, Wang Tiles and Combinators 100
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing 98
An Interactive Assistant System for Proving Program Properties 97
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 92
DNA Tiles, Wang Tiles and Combinators 91
An Interactive Assistant System for Proving Program Properties 88
LEAF: A Language witch Integrates Logic, Equations and Functions. 88
JavaOmega: A Preprocessor for Java with M-parameters 87
Methods as Parameters: A Preprocessing Approach in Java 85
Higher Order Programming through Java Reflection 82
Ambienti integrati per la produzione del software 79
A functional plus predicate programming language 78
A Variable free calculus for Equational Programming 77
N-axioms Parallel Unification 75
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 74
Toward the Derivation of an Experimental Programming Environment Form Language Formal Specifications 73
On Compiling PROLOG Programs on Demand-driven Architectures 73
New Bounds in Parallel Unification 71
Properties of Java Simple Closures 71
null 70
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 69
Principi e Tecniche di Progettazione del Software 67
Introduzione allo studio dei linguaggi di programmazione 66
Linear Unification based on C-expressions 66
JavaW: Higher Order Programming in Java 64
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 58
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 57
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 56
JavaOmega: A Translation Semantics for Closures in Java 56
Another PRAM Algorithm for Finding Connected Components of Sparse Graphs 56
On the Integration of Logic Programming and Functional Programming 55
Proving Type Safety for Java Simple Closures 54
Operators for Unification and Most General Instance 53
Semantica e Pragmatica del Linguaggio Pascal 52
Unification: ?-terms or Substitutions? 51
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 50
Higher Order Programming in JAVA: Introspection, Subsumption and Extraction 50
Reduction Machines fo Logic Programming based on C-expressions 49
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 46
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 44
From Object Calculus to Java with Passing and Extraction of Methods 42
New Bounds in Parallel Unification 36
The call-by-name semantics of a clause language with functions 34
Programming Self-Assembly of DNA Tiles 25
A Two-Level Approach to Logic plus Functional Programming Integration 22
Totale 5.742
Categoria #
all - tutte 13.639
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 13.639


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024687 92 78 92 43 91 128 35 13 16 28 26 45
2024/202510 10 0 0 0 0 0 0 0 0 0 0 0
Totale 5.742