Abate, Alessandro
 Distribuzione geografica
Continente #
AS - Asia 34
EU - Europa 32
NA - Nord America 13
SA - Sud America 6
AF - Africa 3
Totale 88
Nazione #
SG - Singapore 20
US - Stati Uniti d'America 13
IT - Italia 11
HK - Hong Kong 6
RU - Federazione Russa 6
BR - Brasile 5
CN - Cina 5
FI - Finlandia 4
IE - Irlanda 2
KR - Corea 2
NL - Olanda 2
UA - Ucraina 2
ZA - Sudafrica 2
AT - Austria 1
CO - Colombia 1
FR - Francia 1
GB - Regno Unito 1
HU - Ungheria 1
KZ - Kazakistan 1
SE - Svezia 1
TG - Togo 1
Totale 88
Città #
Singapore 10
Hong Kong 6
Helsinki 3
Dallas 2
Dublin 2
Kyiv 2
Padova 2
The Dalles 2
Almaty 1
Amsterdam 1
Ann Arbor 1
Ashburn 1
Beijing 1
Bexley 1
Brescia 1
Budapest 1
Cape Town 1
Dom Pedrito 1
Goiânia 1
Johannesburg 1
Lappeenranta 1
Lomé 1
Los Angeles 1
Manizales 1
Mauá 1
Novoshakhtinsk 1
Palermo 1
Poggiomarino 1
Porto Velho 1
Romola 1
Seattle 1
São Paulo 1
The Bronx 1
Tomsk 1
Totale 55
Nome #
Special issue: Formal verification of cyber-physical systems 58
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 32
Totale 90
Categoria #
all - tutte 433
article - articoli 0
book - libri 0
conference - conferenze 156
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 277
Totale 866


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/202611 9 2 0 0 0 0 0 0 0 0 0 0
Totale 90