MAGNANI, GIANLUCA
 Distribuzione geografica
Continente #
NA - Nord America 240
EU - Europa 171
AS - Asia 35
Totale 446
Nazione #
US - Stati Uniti d'America 240
PL - Polonia 104
IT - Italia 25
IE - Irlanda 21
HK - Hong Kong 14
CN - Cina 8
FI - Finlandia 8
SE - Svezia 8
JO - Giordania 5
SG - Singapore 3
TR - Turchia 3
VN - Vietnam 2
DE - Germania 1
DK - Danimarca 1
GB - Regno Unito 1
NL - Olanda 1
UA - Ucraina 1
Totale 446
Città #
Warsaw 104
Fairfield 37
Chandler 35
Dublin 21
Woodbridge 21
Ashburn 20
Cambridge 19
Seattle 16
Houston 13
Wilmington 13
Altamura 10
Lawrence 10
Beijing 8
Hong Kong 8
Jacksonville 6
Medford 6
Princeton 6
Florence 5
Cagliari 4
Boardman 3
Izmir 3
Kent 3
Singapore 3
Dong Ket 2
Helsinki 2
Los Angeles 2
Norwalk 2
Prato 2
Bethesda 1
Boston 1
Groningen 1
Lyngby 1
Pisa 1
San Diego 1
Tappahannock 1
Totale 391
Nome #
Formal Methods and Code Generation Techniques in the Development of Railway Signalling Systems 146
Model Checking Interlocking Control Tables 85
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer 83
Model-Based Development and Formal Methods in the Railway Industry 65
The Metrô Rio case study 35
The Metro Rio ATP case study 32
Totale 446
Categoria #
all - tutte 1.285
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 1.285


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201914 0 0 0 0 0 0 0 0 0 0 0 14
2019/2020110 8 11 4 7 12 11 11 13 11 8 9 5
2020/202155 8 8 1 4 2 6 5 6 4 7 1 3
2021/202237 2 9 3 0 0 0 2 3 1 2 4 11
2022/2023110 7 24 5 9 6 22 9 9 13 0 4 2
2023/202434 0 4 6 1 1 1 3 12 0 3 3 0
Totale 446