Magnago, Enrico
 Distribuzione geografica
Continente #
NA - Nord America 196
EU - Europa 179
AS - Asia 65
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 443
Nazione #
US - Stati Uniti d'America 185
DE - Germania 60
IT - Italia 60
CN - Cina 21
SG - Singapore 17
HK - Hong Kong 10
BE - Belgio 9
UA - Ucraina 9
IN - India 8
CA - Canada 7
GB - Regno Unito 6
FI - Finlandia 5
HU - Ungheria 4
IE - Irlanda 4
MX - Messico 4
RU - Federazione Russa 4
SE - Svezia 4
SI - Slovenia 4
DK - Danimarca 3
GR - Grecia 3
JP - Giappone 3
BR - Brasile 2
FR - Francia 2
VN - Vietnam 2
BY - Bielorussia 1
ES - Italia 1
EU - Europa 1
IL - Israele 1
IQ - Iraq 1
IR - Iran 1
KR - Corea 1
Totale 443
Città #
Los Angeles 38
Chandler 32
Trento 26
Brooklyn 11
Jacksonville 11
Beijing 10
Hong Kong 10
Boardman 9
Ashburn 7
Brussels 6
Dearborn 6
Ottawa 6
Helsinki 5
Kronberg 5
Singapore 5
Trier 5
Wilmington 5
Dublin 4
Fremont 4
Karlsruhe 4
Palermo 4
Guangzhou 3
Kagoya 3
Leawood 3
Munich 3
Redmond 3
Redwood City 3
Tlalpan 3
Braunschweig 2
Budapest 2
Council Bluffs 2
Dong Ket 2
Houston 2
Hove 2
Ljubljana 2
L’Aquila 2
Malmédy 2
New York 2
Pune 2
Rome 2
Verona 2
Zhengzhou 2
Ann Arbor 1
Ardabil 1
Atlanta 1
Barcelona 1
Basra 1
Beaverton 1
Bolzano 1
Brescia 1
Brugherio 1
Cernusco Lombardone 1
Chatsworth 1
Concord 1
Cupertino 1
Dalian 1
Duncan 1
Erlangen 1
Franca 1
Gainesville 1
Hangzhou 1
Jette 1
Mexico City 1
Milan 1
Minsk 1
Montecchio 1
Montreal 1
Nanning 1
Norwalk 1
Nuremberg 1
Phoenix 1
Portland 1
Santa Clara 1
Seattle 1
Sesto San Giovanni 1
St Louis 1
São José dos Campos 1
Tübingen 1
Wakefield 1
Woodbridge 1
Totale 300
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 226
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 171
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 30
Proving the Existence of Fair Paths in Infinite-State Systems 27
LTL falsification in infinite-state systems 19
Totale 473
Categoria #
all - tutte 2.294
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.294


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202097 0 0 0 0 19 4 17 8 22 13 7 7
2020/202172 6 5 10 1 10 3 9 2 9 6 2 9
2021/202247 6 3 3 4 3 1 0 5 2 3 10 7
2022/202383 5 9 4 11 1 9 3 9 20 3 3 6
2023/202456 4 1 4 4 4 9 2 5 2 12 0 9
2024/202541 0 6 10 17 8 0 0 0 0 0 0 0
Totale 473