FERRARI, ALESSIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.357
EU - Europa 1.026
AS - Asia 686
SA - Sud America 70
Continente sconosciuto - Info sul continente non disponibili 22
AF - Africa 15
OC - Oceania 14
Totale 4.190
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.333
RU - Federazione Russa 430
IT - Italia 263
SG - Singapore 186
CN - Cina 150
HK - Hong Kong 112
PL - Polonia 95
IE - Irlanda 74
VN - Vietnam 59
BR - Brasile 54
KR - Corea 46
SE - Svezia 45
FI - Finlandia 24
FR - Francia 24
PK - Pakistan 24
DE - Germania 23
JO - Giordania 22
BD - Bangladesh 21
IN - India 21
CA - Canada 16
AU - Australia 12
GB - Regno Unito 12
JP - Giappone 12
NL - Olanda 9
AR - Argentina 7
CH - Svizzera 6
ES - Italia 6
SA - Arabia Saudita 6
ZA - Sudafrica 6
ID - Indonesia 5
IQ - Iraq 4
TR - Turchia 4
AE - Emirati Arabi Uniti 3
CI - Costa d'Avorio 3
PE - Perù 3
UA - Ucraina 3
AZ - Azerbaigian 2
CR - Costa Rica 2
DK - Danimarca 2
EC - Ecuador 2
EU - Europa 2
GR - Grecia 2
KE - Kenya 2
MA - Marocco 2
MX - Messico 2
NZ - Nuova Zelanda 2
PH - Filippine 2
RS - Serbia 2
TN - Tunisia 2
UZ - Uzbekistan 2
BE - Belgio 1
BY - Bielorussia 1
CL - Cile 1
CO - Colombia 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
GE - Georgia 1
JM - Giamaica 1
LB - Libano 1
LT - Lituania 1
MY - Malesia 1
PT - Portogallo 1
QA - Qatar 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 4.171
Salva come PNG Salva come JPEG
Città #
Santa Clara 700
Ashburn 243
Fairfield 212
Singapore 140
Chandler 115
Warsaw 95
Hong Kong 94
Woodbridge 94
San Jose 92
Houston 88
Seattle 86
Cambridge 83
Wilmington 78
Dublin 74
Beijing 57
Milan 49
Seoul 46
Ann Arbor 41
Altamura 39
Lawrence 39
Los Angeles 26
Princeton 23
Florence 21
Ho Chi Minh City 20
Lauterbourg 20
Buffalo 19
Council Bluffs 15
Melbourne 15
Moscow 15
Mumbai 15
Rome 15
Boston 13
The Dalles 13
Hanoi 12
Medford 12
New York 12
Tokyo 12
Helsinki 11
Shanghai 11
Pisa 10
Clifton 9
Orem 9
Boardman 8
Dallas 8
Jacksonville 8
Redondo Beach 8
Southend 8
Chicago 7
Figino 7
Cascina 6
Dearborn 6
Miano 6
Bologna 5
Brooklyn 5
Frankfurt am Main 5
Hefei 5
Kent 5
Naples 5
Norwalk 5
Phoenix 5
Redwood City 5
Riyadh 5
San Diego 5
San Francisco 5
Turin 5
Yubileyny 5
Belo Horizonte 4
Bern 4
Dong Ket 4
Faisalabad 4
Falkenstein 4
Ningbo 4
Stockholm 4
São Paulo 4
Tianjin 4
Abidjan 3
Andover 3
Baghdad 3
Collesalvetti 3
Da Nang 3
Fremont 3
Groningen 3
Guangzhou 3
Izmir 3
Jakarta 3
Johannesburg 3
Nuremberg 3
Padua 3
Shenzhen 3
Arezzo 2
Atlanta 2
Baku 2
Barcelona 2
Bari 2
Boadilla del Monte 2
Brasília 2
Brescia 2
Calgary 2
Dubai 2
Falls Church 2
Totale 3.035
Salva come PNG Salva come JPEG
Nome #
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP 266
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 258
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders 231
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions 217
Hacking an Ambiguity Detection Tool to Extract Variation Points 211
Product Line Engineering Applied to CBTC Systems Development 206
Model Checking Interlocking Control Tables 196
Formal methods and safety certification: Challenges in the railways domain 195
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer 194
Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices 194
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings 189
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach 188
Adopting Formal Methods in an Industrial Setting: The Railways Case 187
Model-Based Development and Formal Methods in the Railway Industry 178
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams 175
Deadlock Avoidance in Train Scheduling: A Model Checking Approach 175
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 175
Mining commonalities and variabilities from natural language documents 174
Comparing formal tools for system design: A judgment study 151
The Metrô Rio case study 149
The Metro Rio ATP case study 139
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication 124
A History of Formal Methods in Railways 18
Totale 4.190
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.457
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 11.457
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022149 0 15 15 3 6 5 8 16 8 4 29 40
2022/2023404 31 94 35 11 29 65 41 29 51 1 9 8
2023/2024130 11 17 21 3 2 8 7 39 1 9 8 4
2024/20251.325 35 123 75 165 473 304 16 41 34 11 26 22
2025/20261.131 85 149 47 30 168 53 142 63 83 86 61 164
2026/202788 31 57 0 0 0 0 0 0 0 0 0 0
Totale 4.190