MAGNANI, GIANLUCA
 Distribuzione geografica
Continente #
NA - Nord America 459
EU - Europa 260
AS - Asia 54
OC - Oceania 6
Totale 779
Nazione #
US - Stati Uniti d'America 458
PL - Polonia 104
RU - Federazione Russa 79
IT - Italia 25
IE - Irlanda 21
SG - Singapore 19
HK - Hong Kong 14
FI - Finlandia 13
CN - Cina 8
SE - Svezia 8
AU - Australia 6
DE - Germania 5
JO - Giordania 5
TR - Turchia 3
IN - India 2
NL - Olanda 2
VN - Vietnam 2
CA - Canada 1
DK - Danimarca 1
GB - Regno Unito 1
ID - Indonesia 1
UA - Ucraina 1
Totale 779
Città #
Santa Clara 202
Warsaw 104
Fairfield 37
Chandler 35
Dublin 21
Woodbridge 21
Ashburn 20
Cambridge 19
Seattle 16
Singapore 15
Houston 13
Wilmington 13
Altamura 10
Lawrence 10
Beijing 8
Hong Kong 8
Helsinki 7
Jacksonville 6
Medford 6
Melbourne 6
Princeton 6
Florence 5
Cagliari 4
Boardman 3
Izmir 3
Kent 3
Paderborn 3
Dong Ket 2
Los Angeles 2
Mumbai 2
Norwalk 2
Prato 2
Bethesda 1
Boston 1
Falkenstein 1
Groningen 1
Jakarta 1
Lyngby 1
Pisa 1
San Diego 1
Tappahannock 1
Yubileyny 1
Zwolle 1
Totale 625
Nome #
Formal Methods and Code Generation Techniques in the Development of Railway Signalling Systems 203
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer 139
Model Checking Interlocking Control Tables 138
Model-Based Development and Formal Methods in the Railway Industry 120
The Metrô Rio case study 90
The Metro Rio ATP case study 89
Totale 779
Categoria #
all - tutte 1.868
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.868


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202057 0 0 0 0 0 0 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
2024/2025333 4 32 19 43 143 92 0 0 0 0 0 0
Totale 779