Magnago, Enrico
 Distribuzione geografica
Continente #
EU - Europa 276
NA - Nord America 271
AS - Asia 124
SA - Sud America 28
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 704
Nazione #
US - Stati Uniti d'America 255
IT - Italia 77
DE - Germania 64
RU - Federazione Russa 61
SG - Singapore 47
CN - Cina 37
BR - Brasile 26
HK - Hong Kong 10
BE - Belgio 9
GB - Regno Unito 9
IN - India 9
UA - Ucraina 9
FR - Francia 8
CA - Canada 7
FI - Finlandia 7
MX - Messico 7
IE - Irlanda 5
NL - Olanda 5
HU - Ungheria 4
JP - Giappone 4
SE - Svezia 4
SI - Slovenia 4
VN - Vietnam 4
DK - Danimarca 3
GR - Grecia 3
IL - Israele 3
AR - Argentina 2
BD - Bangladesh 2
CR - Costa Rica 2
TR - Turchia 2
BY - Bielorussia 1
DZ - Algeria 1
ES - Italia 1
EU - Europa 1
IQ - Iraq 1
IR - Iran 1
KE - Kenya 1
KR - Corea 1
LK - Sri Lanka 1
LT - Lituania 1
NP - Nepal 1
PL - Polonia 1
TN - Tunisia 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 704
Città #
Los Angeles 41
Chandler 32
Trento 27
Singapore 23
Ashburn 19
Moscow 16
Beijing 15
Brooklyn 12
Dallas 12
Jacksonville 11
Hong Kong 10
Boardman 9
Assago 8
Brussels 6
Dearborn 6
Helsinki 6
Ottawa 6
Dublin 5
Hefei 5
Kronberg 5
New York 5
The Dalles 5
Trier 5
Wilmington 5
Fremont 4
Karlsruhe 4
Palermo 4
Guangzhou 3
Kagoya 3
Leawood 3
Munich 3
Phoenix 3
Redmond 3
Redwood City 3
San Jose 3
Tlalpan 3
Zhengzhou 3
Braunschweig 2
Budapest 2
Columbus 2
Council Bluffs 2
Dong Ket 2
Falkenstein 2
Frankfurt am Main 2
Houston 2
Hove 2
Ljubljana 2
L’Aquila 2
Malmédy 2
Ozzano dell'Emilia 2
Pune 2
Ribeirão Preto 2
Rome 2
Santa Clara 2
Seattle 2
São Paulo 2
Verona 2
Algiers 1
Amsterdam 1
Ankara 1
Ann Arbor 1
Ardabil 1
Aripuanã 1
Atlanta 1
Banff 1
Barcelona 1
Basra 1
Beaverton 1
Belém 1
Bento Gonçalves 1
Bexley 1
Boituva 1
Bolzano 1
Brescia 1
Brugherio 1
Campo Florido 1
Canoas 1
Cernusco Lombardone 1
Chatsworth 1
Cleveland 1
Colón 1
Concord 1
Cupertino 1
Custódia 1
Dalian 1
Denver 1
Des Moines 1
Duncan 1
Erlangen 1
Fortaleza 1
Franca 1
Gainesville 1
Goiânia 1
Hangzhou 1
Harrisburg 1
Ho Chi Minh City 1
Itajaí 1
Iztacalco 1
Jette 1
Johannesburg 1
Totale 419
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 282
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 231
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 85
Proving the Existence of Fair Paths in Infinite-State Systems 74
LTL falsification in infinite-state systems 62
Totale 734
Categoria #
all - tutte 3.388
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 3.388


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202140 0 0 0 0 0 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/2025176 0 6 10 17 13 13 10 10 61 11 16 9
2025/2026126 17 30 19 32 18 10 0 0 0 0 0 0
Totale 734