Magnago, Enrico
 Distribuzione geografica
Continente #
EU - Europa 456
NA - Nord America 410
AS - Asia 201
SA - Sud America 35
Continente sconosciuto - Info sul continente non disponibili 31
AF - Africa 6
Totale 1.139
Nazione #
US - Stati Uniti d'America 390
RU - Federazione Russa 209
IT - Italia 82
DE - Germania 73
SG - Singapore 62
VN - Vietnam 48
CN - Cina 39
BR - Brasile 32
FR - Francia 14
HK - Hong Kong 13
GB - Regno Unito 11
IN - India 10
UA - Ucraina 10
BE - Belgio 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.109
Città #
Los Angeles 44
San Jose 39
Council Bluffs 34
Chandler 32
Trento 28
Singapore 26
Ashburn 24
Ho Chi Minh City 16
Moscow 16
Beijing 15
Hanoi 13
Brooklyn 12
Dallas 12
Hong Kong 12
Jacksonville 11
Buffalo 10
New York 10
Boardman 9
Assago 8
Helsinki 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
Denver 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
Dong Ket 2
Falkenstein 2
Frankfurt am Main 2
Houston 2
Hove 2
Ljubljana 2
L’Aquila 2
Malmédy 2
Manchester 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
Totale 560
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 366
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 315
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 167
LTL falsification in infinite-state systems 147
Proving the Existence of Fair Paths in Infinite-State Systems 144
Totale 1.139
Categoria #
all - tutte 4.311
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.311


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202235 0 0 0 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/202776 13 19 36 8 0 0 0 0 0 0 0 0
Totale 1.139