CINECA IRIS Institutional Research Information System

LEVI, GIORGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.574
AS - Asia 1.461
EU - Europa 1.238
SA - Sud America 123
AF - Africa 82
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
Totale 5.482
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.470
CN - Cina 500
SG - Singapore 468
IT - Italia 382
SE - Svezia 233
DE - Germania 152
HK - Hong Kong 130
BR - Brasile 110
KR - Corea 105
VN - Vietnam 103
BG - Bulgaria 96
CA - Canada 91
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
SN - Senegal 7
UG - Uganda 7
ES - Italia 6
SA - Arabia Saudita 6
MX - Messico 5
ZA - Sudafrica 5
NL - Olanda 4
UZ - Uzbekistan 4
AR - Argentina 3
BD - Bangladesh 3
EG - Egitto 3
JM - Giamaica 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
ET - Etiopia 1
EU - Europa 1
HN - Honduras 1
HR - Croazia 1
HU - Ungheria 1
ID - Indonesia 1
JO - Giordania 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.482
Salva come PNG Salva come JPEG
Città #
Woodbridge 281
Ann Arbor 274
Singapore 267
Chandler 229
Ashburn 190
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
Izmir 55
New York 50
Wilmington 44
Bern 39
Cambridge 38
Dearborn 38
Des Moines 36
Abidjan 34
Boardman 33
Bremen 33
Florence 33
Los Angeles 33
Nanjing 33
Lawrence 31
Princeton 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
Council Bluffs 8
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
Guangzhou 2
Itanhaém 2
Totale 4.050
Salva come PNG Salva come JPEG
Nome #
Programming environments: deriving language dependent tools from structured donotational semantics 247
Compilative Constructive Negation in Constraint Logic Programs. 235
Applicative communicating processes in first order logic 222
Modelling Prolog Control 218
A GREY-WEIGHTED SKELETON 216
INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT, PISA, MARCH 1987 216
On the Integration of Logic Programming and Functional Programming 215
Programming environment generation based on denotational semantics 209
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 205
Towards the definition of an experimental programming environment from language formal specifications 195
Program testing in an integrated software development environment 195
Modelling Prolog Control 194
Applicative Communicating Processes in First Order Logic 193
LEAF: A Language which Integrates Logic, Equations and Functions 179
The s-semantics approach: Theory and applications 178
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 178
Properties of a type abstract interpreter 165
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 163
Modeling Prolog Control 157
Observable Behaviors and Equivalences of Logic Programs 149
A fexilble environment for program development based on symbolic interpreter 147
An experiment in type inference and verification by abstract interpretation 146
LEAF: A Language witch Integrates Logic, Equations and Functions. 144
Pair-Independence and Freeness Analysis through Linear Refinement 135
On the verification of Finite Failure 135
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language 133
A Theory of Observables for Logic Programs 123
Principi e Tecniche di Progettazione del Software 121
Abstract Interpretation based Verification of Logic Programs 119
Abstract Diagnosis 116
Toward an Inductionless Technique for Proving Properties of Logic Programs 101
A Two-Level Approach to Logic plus Functional Programming Integration 75
null 70
Totale 5.494
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.269
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.269
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202140 0 0 0 0 0 0 0 0 0 0 0 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/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.084 124 192 120 96 117 71 193 40 31 70 21 9
Totale 5.494