Magnago, Enrico
 Distribuzione geografica
Continente #
NA - Nord America 194
EU - Europa 82
AS - Asia 53
SA - Sud America 1
Totale 330
Nazione #
US - Stati Uniti d'America 193
IT - Italia 38
SG - Singapore 29
DE - Germania 9
VN - Vietnam 8
SE - Svezia 7
FI - Finlandia 5
GB - Regno Unito 5
AT - Austria 4
BE - Belgio 3
BG - Bulgaria 3
CN - Cina 3
ID - Indonesia 3
CZ - Repubblica Ceca 2
EE - Estonia 2
HK - Hong Kong 2
HU - Ungheria 2
IR - Iran 2
JO - Giordania 2
JP - Giappone 2
AZ - Azerbaigian 1
BR - Brasile 1
CA - Canada 1
HR - Croazia 1
LK - Sri Lanka 1
NL - Olanda 1
Totale 330
Città #
Chandler 29
Fairfield 27
Singapore 23
Seattle 14
Ashburn 13
Cambridge 13
Woodbridge 13
Houston 12
Wilmington 10
Trento 9
Columbus 8
Dong Ket 6
Princeton 6
Ann Arbor 5
Cagliari 4
Helsinki 4
Palermo 4
Stockholm 4
Vienna 4
Albuquerque 3
Beijing 3
Bolzano 3
Jakarta 3
Munich 3
Sofia 3
Boardman 2
Boulder 2
Brno 2
Como 2
Falls Church 2
Marcinelle 2
Qom 2
San Giovanni Lupatoto 2
San Paolo di Civitate 2
Santa Clara 2
Scuola 2
Tallinn 2
Trier 2
Altamura 1
Andover 1
Baku 1
Balassagyarmat 1
Brussels 1
Colombo 1
Frankfurt am Main 1
Görwihl 1
Hamburg 1
Lappeenranta 1
London 1
Milan 1
Nashville 1
Redmond 1
Reston 1
San Mateo 1
Sopron 1
São Paulo 1
Toronto 1
Verona 1
Zagreb 1
Totale 273
Nome #
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 108
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 96
Facing infinity in model checking expressive specification languages 60
Proving the Existence of Fair Paths in Infinite-State Systems 45
Automatic discovery of fair paths in infinite-state transition systems. 20
LTL falsification in infinite-state systems 15
Totale 344
Categoria #
all - tutte 2.029
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.029


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202015 0 0 0 0 0 0 0 0 0 8 1 6
2020/2021100 3 7 10 18 6 7 1 15 4 10 3 16
2021/202240 0 11 1 3 1 2 1 6 4 2 2 7
2022/202378 6 12 0 7 10 8 0 8 13 5 8 1
2023/202445 6 4 6 1 3 3 9 5 1 0 3 4
2024/202566 12 1 14 21 18 0 0 0 0 0 0 0
Totale 344