Magnago, Enrico
 Distribuzione geografica
Continente #
NA - Nord America 189
EU - Europa 171
AS - Asia 47
Continente sconosciuto - Info sul continente non disponibili 1
Totale 408
Nazione #
US - Stati Uniti d'America 179
IT - Italia 60
DE - Germania 55
CN - Cina 20
HK - Hong Kong 10
UA - Ucraina 9
IN - India 8
BE - Belgio 7
CA - Canada 6
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
FR - Francia 2
VN - Vietnam 2
ES - Italia 1
EU - Europa 1
IL - Israele 1
IR - Iran 1
KR - Corea 1
SG - Singapore 1
Totale 408
Città #
Los Angeles 36
Chandler 32
Trento 26
Brooklyn 11
Jacksonville 11
Beijing 10
Hong Kong 10
Boardman 8
Ashburn 7
Dearborn 6
Ottawa 6
Helsinki 5
Kronberg 5
Wilmington 5
Brussels 4
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
Beaverton 1
Bolzano 1
Brescia 1
Brugherio 1
Cernusco Lombardone 1
Chatsworth 1
Concord 1
Cupertino 1
Dalian 1
Duncan 1
Erlangen 1
Gainesville 1
Hangzhou 1
Jette 1
Mexico City 1
Milan 1
Montecchio 1
Nanning 1
Norwalk 1
Nuremberg 1
Phoenix 1
Portland 1
Santa Clara 1
Seattle 1
Sesto San Giovanni 1
St Louis 1
Tübingen 1
Wakefield 1
Woodbridge 1
Totale 280
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 221
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 154
Proving the Existence of Fair Paths in Infinite-State Systems 24
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 23
LTL falsification in infinite-state systems 16
Totale 438
Categoria #
all - tutte 2.091
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.091


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020122 0 0 22 3 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/20256 0 6 0 0 0 0 0 0 0 0 0 0
Totale 438