LEVI, GIORGIO
 Distribuzione geografica
Continente #
NA - Nord America 1.929
EU - Europa 1.090
AS - Asia 290
AF - Africa 67
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 3.378
Nazione #
US - Stati Uniti d'America 1.846
IT - Italia 381
SE - Svezia 232
CN - Cina 149
DE - Germania 127
BG - Bulgaria 95
CA - Canada 83
UA - Ucraina 81
TR - Turchia 59
FI - Finlandia 49
GB - Regno Unito 48
CH - Svizzera 39
CI - Costa d'Avorio 34
VN - Vietnam 34
SG - Singapore 29
NG - Nigeria 19
BE - Belgio 14
IN - India 11
FR - Francia 9
SN - Senegal 7
RU - Federazione Russa 6
UG - Uganda 6
HK - Hong Kong 5
CZ - Repubblica Ceca 2
RO - Romania 2
EG - Egitto 1
ES - Italia 1
EU - Europa 1
HR - Croazia 1
HU - Ungheria 1
IQ - Iraq 1
JP - Giappone 1
KR - Corea 1
MD - Moldavia 1
NL - Olanda 1
NZ - Nuova Zelanda 1
Totale 3.378
Città #
Woodbridge 281
Ann Arbor 274
Chandler 229
Houston 180
Fairfield 164
Milan 159
Jacksonville 108
Sofia 95
Ottawa 81
Seattle 66
Ashburn 64
Izmir 55
Beijing 50
New York 48
Wilmington 44
Bern 39
Cambridge 38
Dearborn 38
Des Moines 36
Abidjan 34
Bremen 33
Florence 33
Nanjing 32
Lawrence 31
Princeton 31
Frankfurt am Main 25
Serra 21
Nanchang 20
Jüchen 19
Lagos 19
Medford 16
Brussels 14
Dong Ket 13
Pune 11
Düsseldorf 8
Kunming 8
Rome 8
San Diego 8
Dakar 7
Auburn Hills 6
Shenyang 6
Hebei 5
Hong Kong 5
Boulder 4
Helsinki 4
Jiaxing 4
Los Angeles 4
Marseille 4
Norwalk 4
Orange 4
Verona 4
Fuzhou 3
Hefei 3
Kampala 3
Kocaeli 3
Ogden 3
Tianjin 3
Zhengzhou 3
Changchun 2
Lanzhou 2
London 2
Pistoia 2
Redwood City 2
Arezzo 1
Basra 1
Berlin 1
Boardman 1
Budapest 1
Cagliari 1
Cairo 1
Capannori 1
Cerro Maggiore 1
Changsha 1
Chisinau 1
Edinburgh 1
Groningen 1
Haikou 1
Hangzhou 1
Horia 1
Islington 1
Istanbul 1
Jinan 1
Lappeenranta 1
Leawood 1
Madrid 1
Mountain View 1
Ningbo 1
Nürnberg 1
Palermo 1
Phoenix 1
Pisa 1
Prague 1
Prescot 1
Scuola 1
Selargius 1
Siena 1
Tappahannock 1
Tokyo 1
Torino 1
Toronto 1
Totale 2.562
Nome #
Compilative Constructive Negation in Constraint Logic Programs. 163
Programming environments: deriving language dependent tools from structured donotational semantics 161
Applicative communicating processes in first order logic 146
Applicative Communicating Processes in First Order Logic 134
Modelling Prolog Control 133
On the Integration of Logic Programming and Functional Programming 132
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 130
A GREY-WEIGHTED SKELETON 128
INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT, PISA, MARCH 1987 127
Programming environment generation based on denotational semantics 120
Modelling Prolog Control 118
Program testing in an integrated software development environment 114
Towards the definition of an experimental programming environment from language formal specifications 111
A fexilble environment for program development based on symbolic interpreter 111
The s-semantics approach: Theory and applications 110
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 109
LEAF: A Language which Integrates Logic, Equations and Functions 104
Properties of a type abstract interpreter 102
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 102
Observable Behaviors and Equivalences of Logic Programs 95
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 91
Pair-Independence and Freeness Analysis through Linear Refinement 90
An experiment in type inference and verification by abstract interpretation 88
LEAF: A Language witch Integrates Logic, Equations and Functions. 87
Modeling Prolog Control 84
A Theory of Observables for Logic Programs 79
Abstract Diagnosis 75
On the verification of Finite Failure 75
null 70
Principi e Tecniche di Progettazione del Software 66
Abstract Interpretation based Verification of Logic Programs 65
Toward an Inductionless Technique for Proving Properties of Logic Programs 50
A Two-Level Approach to Logic plus Functional Programming Integration 20
Totale 3.390
Categoria #
all - tutte 7.374
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 7.374


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019101 0 0 0 0 0 0 0 0 0 0 60 41
2019/2020540 55 45 27 38 63 67 73 38 60 23 42 9
2020/2021270 30 13 39 10 27 5 26 24 14 32 10 40
2021/2022413 8 25 9 81 80 45 13 8 18 12 17 97
2022/2023641 81 74 37 73 78 75 5 41 119 1 51 6
2023/2024424 88 49 95 34 55 61 19 13 4 5 1 0
Totale 3.390