Ranzato, Francesco
 Distribuzione geografica
Continente #
EU - Europa 132
AS - Asia 100
NA - Nord America 90
SA - Sud America 12
AF - Africa 2
Totale 336
Nazione #
US - Stati Uniti d'America 86
RU - Federazione Russa 66
SG - Singapore 42
IT - Italia 24
CN - Cina 23
HK - Hong Kong 17
GB - Regno Unito 13
BR - Brasile 9
FR - Francia 8
DE - Germania 5
IE - Irlanda 5
SE - Svezia 5
FI - Finlandia 3
IQ - Iraq 3
JP - Giappone 3
KR - Corea 3
VN - Vietnam 3
MX - Messico 2
PL - Polonia 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
AT - Austria 1
BD - Bangladesh 1
BO - Bolivia 1
CA - Canada 1
CO - Colombia 1
IN - India 1
JO - Giordania 1
MU - Mauritius 1
SY - Repubblica araba siriana 1
TG - Togo 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 336
Città #
Singapore 24
Moscow 22
Dallas 19
Hong Kong 17
Verona 15
Chandler 14
Southend 9
Ashburn 8
Beijing 6
Dublin 5
Los Angeles 4
Rome 4
The Dalles 3
Tokyo 3
Bend 2
Brooklyn 2
Cologne 2
Columbus 2
Ho Chi Minh City 2
Lappeenranta 2
Lawrence 2
Mexico City 2
Princeton 2
Vicenza 2
Wilmington 2
Amman 1
Angra dos Reis 1
Birmingham 1
Bogotá 1
Brescia 1
Caçapava 1
Centre de Flacq 1
Cochabamba 1
Dalian 1
Des Moines 1
Dom Pedro 1
Dubai 1
Duhok 1
Ealing 1
Frankfurt am Main 1
Fuzhou 1
Getulina 1
Grão Mogol 1
Guangzhou 1
Hanoi 1
Helsinki 1
Hillsboro 1
Ilford 1
Jamshedpur 1
Joinville 1
Juneau 1
Lagarto 1
Las Vegas 1
Lomé 1
London 1
Meherpur 1
Mehlingen 1
Milan 1
Mosul 1
Nanning 1
New York 1
Norwalk 1
Nova Russas 1
Phoenix 1
Qingdao 1
Quilmes 1
Redondo Beach 1
Riva 1
Sindelfingen 1
Tashkent 1
Trincity 1
Vespasiano 1
Warsaw 1
Totale 223
Nome #
Program Analysis is Harder than Verification: A Computability Perspective 107
A²I: abstract² interpretation 92
Abstract interpretation repair 79
A Correctness and Incorrectness Program Logic 69
Totale 347
Categoria #
all - tutte 1.341
article - articoli 757
book - libri 0
conference - conferenze 584
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.682


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202112 0 0 0 0 3 1 0 0 5 3 0 0
2021/202213 1 2 0 0 3 0 1 2 0 1 1 2
2022/202341 2 2 4 9 1 13 0 3 6 0 1 0
2023/202421 1 1 0 2 1 1 1 1 1 4 6 2
2024/2025101 3 8 1 10 4 4 8 23 13 5 10 12
2025/2026149 24 15 26 28 56 0 0 0 0 0 0 0
Totale 347