Abate, Alessandro
 Distribuzione geografica
Continente #
EU - Europa 631
AS - Asia 64
NA - Nord America 48
SA - Sud America 10
AF - Africa 7
Totale 760
Nazione #
NL - Olanda 557
US - Stati Uniti d'America 47
RU - Federazione Russa 39
SG - Singapore 36
IT - Italia 16
CN - Cina 11
BR - Brasile 8
HK - Hong Kong 6
VN - Vietnam 5
FI - Finlandia 4
GB - Regno Unito 4
ZA - Sudafrica 3
IE - Irlanda 2
KR - Corea 2
NG - Nigeria 2
SE - Svezia 2
UA - Ucraina 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AR - Argentina 1
AT - Austria 1
BJ - Benin 1
CO - Colombia 1
FR - Francia 1
HU - Ungheria 1
IQ - Iraq 1
KZ - Kazakistan 1
LT - Lituania 1
MX - Messico 1
PH - Filippine 1
TG - Togo 1
Totale 760
Città #
Eygelshoven 554
Singapore 22
Moscow 11
San Jose 10
Ashburn 8
Hong Kong 6
New York 4
Beijing 3
Helsinki 3
Amsterdam 2
Cape Town 2
Dallas 2
Dublin 2
Ho Chi Minh City 2
Kyiv 2
Lagos 2
Los Angeles 2
Meda 2
Padova 2
Redondo Beach 2
São Paulo 2
The Dalles 2
Verona 2
Almaty 1
Ann Arbor 1
Bexley 1
Brescia 1
Budapest 1
Butuan 1
Cotonou 1
Denver 1
Dom Pedrito 1
Goiânia 1
Haiphong 1
Hanoi 1
Hefei 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
Nasiriyah 1
Novoshakhtinsk 1
Palermo 1
Poggiomarino 1
Poplar 1
Porto Velho 1
Romola 1
Santa Clara 1
Seattle 1
Sorocaba 1
Stockholm 1
The Bronx 1
Tirana 1
Tomsk 1
Vitória 1
Totale 688
Nome #
Special issue: Formal verification of cyber-physical systems 399
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 363
Totale 762
Categoria #
all - tutte 1.205
article - articoli 0
book - libri 0
conference - conferenze 535
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 670
Totale 2.410


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/2026683 9 2 7 27 39 560 20 8 9 2 0 0
Totale 762