Magnago, Enrico
 Distribuzione geografica
Continente #
EU - Europa 254
NA - Nord America 204
AS - Asia 80
SA - Sud America 14
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 555
Nazione #
US - Stati Uniti d'America 191
IT - Italia 69
DE - Germania 63
RU - Federazione Russa 61
SG - Singapore 27
CN - Cina 24
BR - Brasile 14
HK - Hong Kong 10
BE - Belgio 9
UA - Ucraina 9
IN - India 8
CA - Canada 7
FI - Finlandia 6
GB - Regno Unito 6
MX - Messico 5
NL - Olanda 5
HU - Ungheria 4
IE - Irlanda 4
SE - Svezia 4
SI - Slovenia 4
DK - Danimarca 3
GR - Grecia 3
JP - Giappone 3
FR - Francia 2
VN - Vietnam 2
BY - Bielorussia 1
CR - Costa Rica 1
DZ - Algeria 1
ES - Italia 1
EU - Europa 1
IL - Israele 1
IQ - Iraq 1
IR - Iran 1
KR - Corea 1
LK - Sri Lanka 1
NP - Nepal 1
TN - Tunisia 1
Totale 555
Città #
Los Angeles 38
Chandler 32
Trento 26
Moscow 16
Brooklyn 11
Jacksonville 11
Beijing 10
Hong Kong 10
Boardman 9
Singapore 8
Ashburn 7
Brussels 6
Dearborn 6
Helsinki 6
Ottawa 6
Kronberg 5
Trier 5
Wilmington 5
Assago 4
Dublin 4
Fremont 4
Karlsruhe 4
Palermo 4
Guangzhou 3
Kagoya 3
Leawood 3
Munich 3
Redmond 3
Redwood City 3
The Dalles 3
Tlalpan 3
Zhengzhou 3
Braunschweig 2
Budapest 2
Council Bluffs 2
Dong Ket 2
Falkenstein 2
Houston 2
Hove 2
Ljubljana 2
L’Aquila 2
Malmédy 2
New York 2
Pune 2
Rome 2
Verona 2
Algiers 1
Amsterdam 1
Ann Arbor 1
Ardabil 1
Aripuanã 1
Atlanta 1
Barcelona 1
Basra 1
Beaverton 1
Belém 1
Bento Gonçalves 1
Bolzano 1
Brescia 1
Brugherio 1
Cernusco Lombardone 1
Chatsworth 1
Concord 1
Cupertino 1
Custódia 1
Dalian 1
Duncan 1
Erlangen 1
Franca 1
Frankfurt am Main 1
Gainesville 1
Goiânia 1
Hangzhou 1
Itajaí 1
Jette 1
Kandy 1
Maceió 1
Mexico City 1
Milan 1
Minsk 1
Montecchio 1
Montreal 1
Nanning 1
Norwalk 1
Nuremberg 1
Ouro Branco 1
Phoenix 1
Piracuruca 1
Portland 1
Quesada 1
Ribeirão Preto 1
Santa Clara 1
Seattle 1
Sesto San Giovanni 1
Shanghai 1
Sousse 1
St Louis 1
Sumaré 1
São José dos Campos 1
Timon 1
Totale 346
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 244
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 202
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 55
Proving the Existence of Fair Paths in Infinite-State Systems 48
LTL falsification in infinite-state systems 36
Totale 585
Categoria #
all - tutte 2.817
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.817


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202014 0 0 0 0 0 0 0 0 0 0 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/2025153 0 6 10 17 13 13 10 10 61 11 2 0
Totale 585