CINECA IRIS Institutional Research Information System

LEVI, GIORGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.646
AS - Asia 1.463
EU - Europa 1.241
SA - Sud America 124
AF - Africa 82
Continente sconosciuto - Info sul continente non disponibili 14
OC - Oceania 2
Totale 5.572
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.535
CN - Cina 500
SG - Singapore 468
IT - Italia 384
SE - Svezia 233
DE - Germania 152
HK - Hong Kong 130
BR - Brasile 110
KR - Corea 107
VN - Vietnam 103
BG - Bulgaria 96
CA - Canada 94
UA - Ucraina 83
TR - Turchia 78
FI - Finlandia 77
GB - Regno Unito 62
CH - Svizzera 39
FR - Francia 38
CI - Costa d'Avorio 34
RU - Federazione Russa 32
IN - India 25
JP - Giappone 21
NG - Nigeria 19
BE - Belgio 16
IQ - Iraq 9
ES - Italia 7
SN - Senegal 7
UG - Uganda 7
MX - Messico 6
SA - Arabia Saudita 6
ZA - Sudafrica 5
AR - Argentina 4
JM - Giamaica 4
NL - Olanda 4
UZ - Uzbekistan 4
BD - Bangladesh 3
EG - Egitto 3
PK - Pakistan 3
RO - Romania 3
AT - Austria 2
CO - Colombia 2
CZ - Repubblica Ceca 2
DZ - Algeria 2
EC - Ecuador 2
IE - Irlanda 2
LT - Lituania 2
MD - Moldavia 2
NZ - Nuova Zelanda 2
PL - Polonia 2
PR - Porto Rico 2
PY - Paraguay 2
BA - Bosnia-Erzegovina 1
BJ - Benin 1
BW - Botswana 1
CL - Cile 1
CR - Costa Rica 1
ET - Etiopia 1
EU - Europa 1
HN - Honduras 1
HR - Croazia 1
HU - Ungheria 1
ID - Indonesia 1
JO - Giordania 1
KN - Saint Kitts e Nevis 1
KW - Kuwait 1
LR - Liberia 1
MY - Malesia 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UY - Uruguay 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 5.560
Salva come PNG Salva come JPEG
Città #
Woodbridge 281
Ann Arbor 274
Singapore 267
Chandler 229
Ashburn 191
Houston 180
Fairfield 164
Santa Clara 161
Milan 159
Hefei 141
Hong Kong 128
Jacksonville 108
Seoul 104
Sofia 96
San Jose 94
Beijing 91
Ottawa 83
Dallas 69
Shanghai 69
Seattle 67
Council Bluffs 57
Izmir 55
New York 51
Wilmington 44
Bern 39
Cambridge 38
Dearborn 38
Des Moines 36
Abidjan 34
Los Angeles 34
Boardman 33
Bremen 33
Florence 33
Nanjing 33
Princeton 32
Lawrence 31
Frankfurt am Main 28
Lauterbourg 27
Ho Chi Minh City 22
Serra 21
Helsinki 20
Nanchang 20
Tokyo 20
Jüchen 19
Lagos 19
Buffalo 18
Hanoi 17
Brussels 16
Medford 16
Istanbul 15
Munich 14
Dong Ket 13
Turku 12
Pune 11
São Paulo 9
Düsseldorf 8
Kunming 8
Rome 8
San Diego 8
Dakar 7
Auburn Hills 6
Baghdad 6
London 6
Phoenix 6
Rio de Janeiro 6
Shenyang 6
Chennai 5
Falkenstein 5
Hebei 5
Orem 5
Redondo Beach 5
Boulder 4
Haiphong 4
Jiaxing 4
Kampala 4
Marseille 4
Norwalk 4
Orange 4
The Dalles 4
Verona 4
Zhengzhou 4
Amsterdam 3
Belo Horizonte 3
Brooklyn 3
Cairo 3
Fuzhou 3
Kocaeli 3
Ogden 3
Riyadh 3
Tashkent 3
Tianjin 3
Toronto 3
Biên Hòa 2
Cape Town 2
Changchun 2
Charlotte 2
Chisinau 2
Da Nang 2
Daejeon 2
Guangzhou 2
Totale 4.103
Salva come PNG Salva come JPEG
Nome #
Programming environments: deriving language dependent tools from structured donotational semantics 249
Compilative Constructive Negation in Constraint Logic Programs. 236
Applicative communicating processes in first order logic 223
Modelling Prolog Control 221
A GREY-WEIGHTED SKELETON 219
On the Integration of Logic Programming and Functional Programming 217
INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT, PISA, MARCH 1987 217
Programming environment generation based on denotational semantics 213
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 207
Program testing in an integrated software development environment 201
Modelling Prolog Control 198
Towards the definition of an experimental programming environment from language formal specifications 197
Applicative Communicating Processes in First Order Logic 195
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 182
LEAF: A Language which Integrates Logic, Equations and Functions 181
The s-semantics approach: Theory and applications 180
Properties of a type abstract interpreter 169
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 169
Modeling Prolog Control 158
Observable Behaviors and Equivalences of Logic Programs 151
A fexilble environment for program development based on symbolic interpreter 149
An experiment in type inference and verification by abstract interpretation 147
LEAF: A Language witch Integrates Logic, Equations and Functions. 146
Pair-Independence and Freeness Analysis through Linear Refinement 136
On the verification of Finite Failure 136
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 135
Principi e Tecniche di Progettazione del Software 124
A Theory of Observables for Logic Programs 124
Abstract Diagnosis 120
Abstract Interpretation based Verification of Logic Programs 120
Toward an Inductionless Technique for Proving Properties of Logic Programs 103
A Two-Level Approach to Logic plus Functional Programming Integration 79
null 70
Totale 5.572
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.785
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 14.785
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022405 0 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/2024448 88 49 95 34 55 61 19 13 4 5 1 24
2024/2025996 2 43 9 42 97 93 66 80 48 117 150 249
2025/20261.090 124 192 120 96 117 71 193 40 31 70 21 15
2026/202772 19 53 0 0 0 0 0 0 0 0 0 0
Totale 5.572