Magnago, Enrico
 Distribuzione geografica
Continente #
NA - Nord America 405
AS - Asia 286
EU - Europa 165
SA - Sud America 21
Continente sconosciuto - Info sul continente non disponibili 15
AF - Africa 2
Totale 894
Nazione #
US - Stati Uniti d'America 389
SG - Singapore 161
IT - Italia 70
VN - Vietnam 55
CN - Cina 28
DE - Germania 25
BR - Brasile 15
GB - Regno Unito 10
RU - Federazione Russa 10
FI - Finlandia 8
SE - Svezia 8
KR - Corea 7
CA - Canada 6
FR - Francia 6
AT - Austria 5
BD - Bangladesh 5
ID - Indonesia 5
HK - Hong Kong 4
JP - Giappone 4
LV - Lettonia 4
BE - Belgio 3
BG - Bulgaria 3
HU - Ungheria 3
IN - India 3
IR - Iran 3
JO - Giordania 3
VE - Venezuela 3
CR - Costa Rica 2
CZ - Repubblica Ceca 2
EE - Estonia 2
GT - Guatemala 2
LT - Lituania 2
MX - Messico 2
PR - Porto Rico 2
AZ - Azerbaigian 1
BO - Bolivia 1
CL - Cile 1
CO - Colombia 1
CW - ???statistics.table.value.countryCode.CW??? 1
ET - Etiopia 1
HR - Croazia 1
IL - Israele 1
IQ - Iraq 1
KE - Kenya 1
LK - Sri Lanka 1
NI - Nicaragua 1
NL - Olanda 1
OM - Oman 1
PL - Polonia 1
SA - Arabia Saudita 1
SV - El Salvador 1
TH - Thailandia 1
TR - Turchia 1
UA - Ucraina 1
Totale 880
Città #
Singapore 136
Ashburn 54
Chandler 29
San Jose 28
Fairfield 27
Council Bluffs 23
Trento 17
Santa Clara 15
Ho Chi Minh City 14
Seattle 14
Cambridge 13
Woodbridge 13
Houston 12
Hanoi 10
Wilmington 10
Columbus 9
Frankfurt am Main 9
New York 8
Seoul 7
The Dalles 7
Beijing 6
Dallas 6
Dong Ket 6
Helsinki 6
Munich 6
Princeton 6
Ann Arbor 5
Los Angeles 5
Vienna 5
Cagliari 4
Lauterbourg 4
Palermo 4
Riga 4
Rome 4
Stockholm 4
Albuquerque 3
Boardman 3
Bolzano 3
Da Nang 3
Haiphong 3
Jakarta 3
Karlsruhe 3
Milan 3
Phoenix 3
Sofia 3
Washington 3
Boulder 2
Brno 2
Bến Tre 2
Caracas 2
Changsha 2
Chennai 2
Chicago 2
Como 2
Elk Grove Village 2
Falkenstein 2
Falls Church 2
Guatemala City 2
Hong Kong 2
Hải Dương 2
Lappeenranta 2
London 2
Marcinelle 2
Mestre 2
Montreal 2
Moscow 2
Nashville 2
Newark 2
Orem 2
Padua 2
Pergine Valsugana 2
Qom 2
Raleigh 2
San Diego 2
San Giovanni Lupatoto 2
San José 2
San Paolo di Civitate 2
Scuola 2
São Paulo 2
Tallinn 2
Tokyo 2
Trier 2
Abbeville 1
Abre Campo 1
Addis Ababa 1
Altamura 1
An Giang Province 1
Andover 1
Araraquara 1
Augusta 1
Baghdad 1
Baku 1
Balassagyarmat 1
Bangkok 1
Belo Horizonte 1
Birmingham 1
Bismarck 1
Boston 1
Bowie 1
Brooklyn 1
Totale 653
Nome #
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 266
Facing infinity in model checking expressive specification languages 194
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 192
Proving the Existence of Fair Paths in Infinite-State Systems 114
LTL falsification in infinite-state systems 65
Automatic discovery of fair paths in infinite-state transition systems. 63
Totale 894
Categoria #
all - tutte 3.727
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.727


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202225 0 0 0 0 1 2 1 6 4 2 2 7
2022/202378 6 12 0 7 10 8 0 8 13 5 8 1
2023/202445 6 4 6 1 3 3 9 5 1 0 3 4
2024/2025140 12 1 14 21 19 20 0 16 4 14 9 10
2025/2026361 11 7 28 55 98 13 73 8 19 32 7 10
2026/2027115 8 25 33 47 2 0 0 0 0 0 0 0
Totale 894