MAGNANI, GIANLUCA
 Distribuzione geografica
Continente #
NA - Nord America 569
EU - Europa 298
AS - Asia 152
SA - Sud America 16
OC - Oceania 6
AF - Africa 2
Totale 1.043
Nazione #
US - Stati Uniti d'America 566
PL - Polonia 105
RU - Federazione Russa 105
SG - Singapore 37
CN - Cina 36
HK - Hong Kong 29
IT - Italia 27
IE - Irlanda 21
VN - Vietnam 15
FI - Finlandia 13
KR - Corea 12
BR - Brasile 10
SE - Svezia 8
AU - Australia 6
FR - Francia 6
DE - Germania 5
JO - Giordania 5
JP - Giappone 4
TR - Turchia 3
AR - Argentina 2
CA - Canada 2
GB - Regno Unito 2
ID - Indonesia 2
IN - India 2
NL - Olanda 2
BD - Bangladesh 1
BH - Bahrain 1
CO - Colombia 1
CR - Costa Rica 1
DK - Danimarca 1
EC - Ecuador 1
GR - Grecia 1
IQ - Iraq 1
KW - Kuwait 1
MA - Marocco 1
NP - Nepal 1
PE - Perù 1
PH - Filippine 1
RO - Romania 1
UA - Ucraina 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 1.043
Città #
Santa Clara 202
Warsaw 105
Ashburn 58
Fairfield 37
Chandler 35
San Jose 28
Singapore 24
Hong Kong 23
Beijing 21
Dublin 21
Woodbridge 21
Cambridge 19
Seattle 16
Wilmington 14
Houston 13
Seoul 12
Altamura 10
Lawrence 10
The Dalles 9
Melbourne 8
Helsinki 7
Los Angeles 7
Ho Chi Minh City 6
Jacksonville 6
Lauterbourg 6
Medford 6
Princeton 6
Florence 5
Cagliari 4
Tokyo 4
Boardman 3
Council Bluffs 3
Izmir 3
Kent 3
Paderborn 3
Dallas 2
Dong Ket 2
Milan 2
Mumbai 2
Norwalk 2
Prato 2
Redondo Beach 2
Shanghai 2
Andradina 1
Arapiraca 1
Araure 1
Athens 1
Bethesda 1
Boston 1
Brooklyn 1
Buffalo 1
Bình Dương Province 1
Chascomús 1
Chesapeake 1
Călăraşi 1
Falkenstein 1
Groningen 1
Guangzhou 1
Hanoi 1
Ipatinga 1
Jakarta 1
Japaratuba 1
Johannesburg 1
Juazeiro do Norte 1
Kuwait City 1
Las Vegas 1
Lexington 1
Libertad 1
Lima 1
Lyngby 1
Malang 1
Manama 1
Maringá 1
Montreal 1
Nasiriyah 1
New York 1
Newark 1
Orem 1
Palmas 1
Phủ Từ Sơn 1
Pisa 1
Quito 1
Rio de Janeiro 1
Saint George 1
Salt Lake City 1
San Diego 1
San José 1
San Pablo 1
Sandstone 1
Shenzhen 1
São Bernardo do Campo 1
Tappahannock 1
Tashkent 1
Vila Velha 1
Villa del Rosario 1
Yubileyny 1
Zwolle 1
Totale 828
Nome #
Formal Methods and Code Generation Techniques in the Development of Railway Signalling Systems 252
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer 183
Model Checking Interlocking Control Tables 181
Model-Based Development and Formal Methods in the Railway Industry 160
The Metrô Rio case study 137
The Metro Rio ATP case study 130
Totale 1.043
Categoria #
all - tutte 2.720
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.720


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20214 0 0 0 0 0 0 0 0 0 0 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/2025363 4 32 19 43 143 92 15 2 3 3 1 6
2025/2026234 18 39 10 3 33 22 41 15 23 22 8 0
Totale 1.043