MANINI, ANDREA
 Distribuzione geografica
Continente #
AS - Asia 48
EU - Europa 33
NA - Nord America 15
SA - Sud America 4
OC - Oceania 3
AF - Africa 2
Totale 105
Nazione #
IT - Italia 17
CN - Cina 15
US - Stati Uniti d'America 14
SG - Singapore 10
RU - Federazione Russa 9
VN - Vietnam 8
JP - Giappone 7
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 105
Città #
Milan 9
Singapore 8
Hefei 7
Seoul 5
San Jose 4
Tokyo 4
Monforte San Giorgio 3
San Vendemiano 3
Sydney 3
Ashburn 2
Council Bluffs 2
Halle 2
Hanoi 2
Ho Chi Minh City 2
Moscow 2
Ōkuchimachi 2
Abidjan 1
Addis Ababa 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
Totale 83
Nome #
Formal verification with games on graphs 89
Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation 19
Totale 108
Categoria #
all - tutte 178
article - articoli 0
book - libri 0
conference - conferenze 178
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 356


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/202694 8 13 9 10 2 5 12 4 13 18 0 0
Totale 108