MANINI, ANDREA
 Distribuzione geografica
Continente #
AS - Asia 53
EU - Europa 35
NA - Nord America 22
SA - Sud America 4
OC - Oceania 3
AF - Africa 2
Totale 119
Nazione #
US - Stati Uniti d'America 21
IT - Italia 19
CN - Cina 15
SG - Singapore 10
RU - Federazione Russa 9
VN - Vietnam 8
JP - Giappone 7
IL - Israele 5
KR - Corea 5
BR - Brasile 4
AU - Australia 3
DE - Germania 3
AT - Austria 1
CI - Costa d'Avorio 1
ET - Etiopia 1
FR - Francia 1
GB - Regno Unito 1
LK - Sri Lanka 1
MX - Messico 1
NL - Olanda 1
PH - Filippine 1
TR - Turchia 1
Totale 119
Città #
Milan 11
Singapore 8
Hefei 7
Rishon LeTsiyyon 5
Seoul 5
San Jose 4
Tokyo 4
Memphis 3
Monforte San Giorgio 3
San Vendemiano 3
Sydney 3
Ashburn 2
Boardman 2
Council Bluffs 2
Halle 2
Hanoi 2
Ho Chi Minh City 2
Moscow 2
Ōkuchimachi 2
Abidjan 1
Addis Ababa 1
Alexandria 1
Benito Juarez 1
Camaçari 1
Can Tho 1
Clark Freeport Zone 1
Duque de Caxias 1
Haiphong 1
Izmir 1
Kent 1
Las Vegas 1
Lauterbourg 1
Livorno 1
London 1
Mogi das Cruzes 1
Munich 1
Nanjing 1
North Charleston 1
Panadura 1
Redondo Beach 1
Shimura 1
São José do Rio Preto 1
Vienna 1
Winchester 1
Totale 97
Nome #
Formal verification with games on graphs 99
Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation 23
Totale 122
Categoria #
all - tutte 229
article - articoli 0
book - libri 0
conference - conferenze 229
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 458


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/202514 0 0 0 0 0 0 0 0 8 0 2 4
2025/2026108 8 13 9 10 2 5 12 4 13 18 12 2
Totale 122