Magnago, Enrico
 Distribuzione geografica
Continente #
EU - Europa 453
NA - Nord America 369
AS - Asia 201
SA - Sud America 35
Continente sconosciuto - Info sul continente non disponibili 31
AF - Africa 6
Totale 1.095
Nazione #
US - Stati Uniti d'America 349
RU - Federazione Russa 209
IT - Italia 82
DE - Germania 72
SG - Singapore 62
VN - Vietnam 48
CN - Cina 39
BR - Brasile 32
FR - Francia 14
HK - Hong Kong 13
IN - India 10
UA - Ucraina 10
BE - Belgio 9
GB - Regno Unito 9
MX - Messico 9
SE - Svezia 9
FI - Finlandia 8
CA - Canada 7
NL - Olanda 6
IE - Irlanda 5
BD - Bangladesh 4
HU - Ungheria 4
JP - Giappone 4
SI - Slovenia 4
DK - Danimarca 3
GR - Grecia 3
ID - Indonesia 3
IL - Israele 3
AR - Argentina 2
CR - Costa Rica 2
ES - Italia 2
IQ - Iraq 2
SY - Repubblica araba siriana 2
TR - Turchia 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
AL - Albania 1
BY - Bielorussia 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
EU - Europa 1
GT - Guatemala 1
IR - Iran 1
KE - Kenya 1
KR - Corea 1
LB - Libano 1
LK - Sri Lanka 1
LT - Lituania 1
NP - Nepal 1
PK - Pakistan 1
PL - Polonia 1
TH - Thailandia 1
TN - Tunisia 1
VE - Venezuela 1
Totale 1.065
Città #
Los Angeles 44
Council Bluffs 34
San Jose 34
Chandler 32
Trento 28
Singapore 26
Ashburn 23
Ho Chi Minh City 16
Moscow 16
Beijing 15
Hanoi 13
Brooklyn 12
Dallas 12
Hong Kong 12
Jacksonville 11
Boardman 9
Assago 8
Helsinki 7
New York 7
Brussels 6
Dearborn 6
Karlsruhe 6
Ottawa 6
The Dalles 6
Dublin 5
Hefei 5
Kronberg 5
Trier 5
Wilmington 5
Fremont 4
Lauterbourg 4
Palermo 4
Phoenix 4
São Paulo 4
Buffalo 3
Guangzhou 3
Kagoya 3
Leawood 3
Munich 3
Redmond 3
Redwood City 3
Tlalpan 3
Zhengzhou 3
Amsterdam 2
Braunschweig 2
Brescia 2
Budapest 2
Columbus 2
Denver 2
Dong Ket 2
Falkenstein 2
Frankfurt am Main 2
Houston 2
Hove 2
Ljubljana 2
L’Aquila 2
Malmédy 2
Mexico City 2
Nuremberg 2
Ozzano dell'Emilia 2
Pune 2
Ribeirão Preto 2
Rome 2
Santa Clara 2
Seattle 2
Tashkent 2
Verona 2
Algiers 1
Ankara 1
Ann Arbor 1
Anápolis 1
Ardabil 1
Aripuanã 1
Atlanta 1
Baghdad 1
Balikpapan 1
Banff 1
Barcelona 1
Basra 1
Beaverton 1
Belém 1
Bento Gonçalves 1
Berezhany 1
Bexley 1
Boituva 1
Bolzano 1
Brugherio 1
Bắc Ninh 1
Bến Tre 1
Campo Florido 1
Can Tho 1
Canoas 1
Cape Town 1
Castelmayran 1
Cernusco Lombardone 1
Charlemont 1
Chatsworth 1
Ciudad Nezahualcoyotl 1
Cleveland 1
Colón 1
Totale 542
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 354
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 307
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 161
LTL falsification in infinite-state systems 139
Proving the Existence of Fair Paths in Infinite-State Systems 134
Totale 1.095
Categoria #
all - tutte 4.145
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 4.145


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202238 0 0 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/2026455 17 30 19 32 18 17 81 155 26 29 27 4
2026/202732 13 19 0 0 0 0 0 0 0 0 0 0
Totale 1.095