SPAGNOLO, GIORGIO ORONZO
 Distribuzione geografica
Continente #
NA - Nord America 604
EU - Europa 202
AS - Asia 72
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 881
Nazione #
US - Stati Uniti d'America 604
IT - Italia 63
IE - Irlanda 38
PL - Polonia 32
SE - Svezia 24
CN - Cina 20
HK - Hong Kong 20
RU - Federazione Russa 18
JO - Giordania 11
FI - Finlandia 10
SG - Singapore 10
GB - Regno Unito 5
PK - Pakistan 4
FR - Francia 3
DE - Germania 2
ES - Italia 2
IN - India 2
SA - Arabia Saudita 2
UA - Ucraina 2
VN - Vietnam 2
AT - Austria 1
AU - Australia 1
EG - Egitto 1
EU - Europa 1
LU - Lussemburgo 1
NL - Olanda 1
TR - Turchia 1
Totale 881
Città #
Fairfield 115
Chandler 61
Woodbridge 55
Cambridge 42
Houston 42
Ashburn 41
Seattle 41
Wilmington 41
Dublin 38
Warsaw 32
Ann Arbor 29
Altamura 18
Lawrence 18
Beijing 17
Pisa 14
Princeton 13
Hong Kong 12
Boston 11
Florence 6
Arlington 5
Singapore 5
Boardman 4
Cagliari 4
Islamabad 4
Jacksonville 4
Napoli 4
Falls Church 3
Moscow 3
Andover 2
Barcelona 2
Buffalo 2
Dong Ket 2
Kent 2
New York 2
Norwalk 2
Riyadh 2
San Giuliano Terme 2
Sant'Ilario d'Enza 2
Brisbane 1
Carrara 1
Casalmaggiore 1
Cascina 1
Guastalla 1
Hillsboro 1
Lonate Pozzolo 1
Los Angeles 1
Medford 1
Milan 1
Moncalieri 1
Old Bridge 1
Prescot 1
Redwood City 1
Rome 1
Rotterdam 1
San Diego 1
Shanghai 1
Shibîn el-Qanâṭir 1
Wormeldange 1
Zogno 1
Totale 723
Nome #
Model-Based Evaluation of the Availability of a CBTC System 128
Agile Processes and Formal Methods in Railway Systems 124
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions 99
Product Line Engineering Applied to CBTC Systems Development 91
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach 68
Mining commonalities and variabilities from natural language documents 68
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC 67
Deadlock Avoidance in Train Scheduling: A Model Checking Approach 66
Pragmatic ambiguity detection in natural language requirements 65
Measuring and Improving the Completeness of Natural Language Requirements 60
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams 50
Totale 886
Categoria #
all - tutte 2.726
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.726


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020185 0 8 5 14 20 22 25 21 25 24 18 3
2020/2021121 12 12 7 8 3 7 32 7 11 12 4 6
2021/202282 2 5 12 3 2 4 4 6 8 7 9 20
2022/2023210 18 39 14 11 19 38 20 15 27 1 5 3
2023/202478 6 11 9 3 3 2 13 18 2 3 5 3
2024/202527 19 8 0 0 0 0 0 0 0 0 0 0
Totale 886