Abate, Alessandro
 Distribuzione geografica
Continente #
EU - Europa 61
AS - Asia 45
NA - Nord America 30
SA - Sud America 8
AF - Africa 4
Totale 148
Nazione #
US - Stati Uniti d'America 29
RU - Federazione Russa 26
SG - Singapore 22
IT - Italia 14
CN - Cina 11
BR - Brasile 6
HK - Hong Kong 6
FI - Finlandia 4
GB - Regno Unito 4
NL - Olanda 3
IE - Irlanda 2
KR - Corea 2
SE - Svezia 2
UA - Ucraina 2
VN - Vietnam 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
AT - Austria 1
BJ - Benin 1
CO - Colombia 1
FR - Francia 1
HU - Ungheria 1
KZ - Kazakistan 1
LT - Lituania 1
MX - Messico 1
TG - Togo 1
Totale 148
Città #
Moscow 10
Singapore 10
Ashburn 6
Hong Kong 6
Beijing 3
Helsinki 3
New York 3
Amsterdam 2
Dallas 2
Dublin 2
Kyiv 2
Los Angeles 2
Meda 2
Padova 2
Redondo Beach 2
São Paulo 2
The Dalles 2
Almaty 1
Ann Arbor 1
Bexley 1
Brescia 1
Budapest 1
Cape Town 1
Cotonou 1
Denver 1
Dom Pedrito 1
Goiânia 1
Hefei 1
Ho Chi Minh City 1
Houston 1
Isidro Casanova 1
Jiaxing 1
Johannesburg 1
Lanzhou 1
Lappeenranta 1
Lomé 1
London 1
Manizales 1
Mauá 1
Mexico City 1
Novoshakhtinsk 1
Palermo 1
Poggiomarino 1
Poplar 1
Porto Velho 1
Romola 1
Seattle 1
Stockholm 1
The Bronx 1
Tomsk 1
Totale 94
Nome #
Special issue: Formal verification of cyber-physical systems 91
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 59
Totale 150
Categoria #
all - tutte 544
article - articoli 0
book - libri 0
conference - conferenze 205
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 339
Totale 1.088


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/20232 0 0 0 0 0 0 1 1 0 0 0 0
2023/202413 0 0 3 2 2 0 1 1 2 0 1 1
2024/202564 2 5 5 5 1 12 4 2 6 4 7 11
2025/202671 9 2 7 27 26 0 0 0 0 0 0 0
Totale 150