Magnago, Enrico
 Distribuzione geografica
Continente #
NA - Nord America 175
EU - Europa 60
AS - Asia 23
SA - Sud America 1
Totale 259
Nazione #
US - Stati Uniti d'America 174
IT - Italia 36
VN - Vietnam 8
AT - Austria 4
FI - Finlandia 4
GB - Regno Unito 4
BG - Bulgaria 3
CN - Cina 3
SE - Svezia 3
SG - Singapore 3
BE - Belgio 2
DE - Germania 2
HK - Hong Kong 2
IR - Iran 2
JO - Giordania 2
JP - Giappone 2
BR - Brasile 1
CA - Canada 1
HR - Croazia 1
HU - Ungheria 1
LK - Sri Lanka 1
Totale 259
Città #
Chandler 29
Fairfield 27
Seattle 14
Ashburn 13
Cambridge 13
Woodbridge 13
Houston 12
Wilmington 10
Trento 8
Dong Ket 6
Princeton 6
Ann Arbor 5
Cagliari 4
Palermo 4
Vienna 4
Albuquerque 3
Beijing 3
Bolzano 3
Helsinki 3
Sofia 3
Boulder 2
Como 2
Falls Church 2
Marcinelle 2
Qom 2
San Giovanni Lupatoto 2
San Paolo di Civitate 2
Scuola 2
Altamura 1
Andover 1
Balassagyarmat 1
Colombo 1
Frankfurt am Main 1
Hamburg 1
Lappeenranta 1
London 1
Milan 1
Nashville 1
Redmond 1
San Mateo 1
São Paulo 1
Toronto 1
Verona 1
Zagreb 1
Totale 215
Nome #
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 97
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 88
Facing infinity in model checking expressive specification languages 37
Proving the Existence of Fair Paths in Infinite-State Systems 37
Automatic discovery of fair paths in infinite-state transition systems. 8
LTL falsification in infinite-state systems 6
Totale 273
Categoria #
all - tutte 1.649
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 1.649


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/202440 6 4 6 1 3 3 9 5 1 0 2 0
Totale 273