IRIS
NARDONE, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.343
AS - Asia 1.210
NA - Nord America 1.037
SA - Sud America 210
AF - Africa 45
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.850
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 988
SG - Singapore 681
IT - Italia 543
RU - Federazione Russa 510
CN - Cina 282
BR - Brasile 164
VN - Vietnam 95
DE - Germania 78
HK - Hong Kong 67
FI - Finlandia 39
CA - Canada 30
NL - Olanda 29
IE - Irlanda 26
CI - Costa d'Avorio 25
GB - Regno Unito 24
AR - Argentina 21
SE - Svezia 20
IN - India 16
BG - Bulgaria 15
BD - Bangladesh 14
TR - Turchia 14
ES - Italia 13
MX - Messico 11
PL - Polonia 11
FR - Francia 9
KR - Corea 9
ID - Indonesia 8
IQ - Iraq 8
ZA - Sudafrica 7
CO - Colombia 6
UA - Ucraina 6
EC - Ecuador 5
NG - Nigeria 5
UZ - Uzbekistan 4
VE - Venezuela 4
AT - Austria 3
CL - Cile 3
CZ - Repubblica Ceca 3
LT - Lituania 3
AE - Emirati Arabi Uniti 2
BE - Belgio 2
CR - Costa Rica 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
EG - Egitto 2
GR - Grecia 2
IR - Iran 2
JP - Giappone 2
MA - Marocco 2
NI - Nicaragua 2
PE - Perù 2
PY - Paraguay 2
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BO - Bolivia 1
CH - Svizzera 1
EU - Europa 1
GY - Guiana 1
IL - Israele 1
JO - Giordania 1
KE - Kenya 1
KW - Kuwait 1
ME - Montenegro 1
NE - Niger 1
PA - Panama 1
PF - Polinesia Francese 1
PG - Papua Nuova Guinea 1
PH - Filippine 1
PK - Pakistan 1
PR - Porto Rico 1
RO - Romania 1
RS - Serbia 1
SO - Somalia 1
TN - Tunisia 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 3.850
Salva come PNG Salva come JPEG
Città #
Singapore 330
Moscow 133
Chandler 110
Santa Clara 105
Beijing 90
Ashburn 89
Napoli 69
Hong Kong 64
Naples 57
Millbury 41
Hefei 38
Rome 33
Munich 30
Ho Chi Minh City 26
Nanjing 25
Des Moines 24
Hanoi 22
Princeton 22
Boston 21
Los Angeles 20
Redondo Beach 17
The Dalles 17
Sofia 15
São Paulo 15
Helsinki 13
Lawrence 13
Milan 13
New York 13
Ottawa 13
Buffalo 12
Rio de Janeiro 11
Seoul 9
Warsaw 9
Chennai 8
Dallas 8
Falkenstein 8
Nanchang 8
Toronto 8
Wilmington 8
Woodbridge 8
Caserta 7
Frankfurt am Main 7
Montreal 7
Stockholm 7
Bacoli 6
Da Nang 6
Haiphong 6
Houston 6
Nocera Inferiore 6
Orem 6
Paris 6
Redwood City 6
Tianjin 6
Turku 6
Ann Arbor 5
Denver 5
El Segundo 5
Phoenix 5
Sant'antimo 5
Seattle 5
Amsterdam 4
Aversa 4
Baghdad 4
Brooklyn 4
Can Tho 4
Dearborn 4
Dhaka 4
Fuzhou 4
Giugliano in Campania 4
Goiânia 4
Hebei 4
Jiaxing 4
Khabarovsk 4
Madrid 4
Mexico City 4
Nuremberg 4
Pagani 4
Poplar 4
Reggio Calabria 4
Salvador 4
San Francisco 4
Shenyang 4
Torino 4
Ankara 3
Brasília 3
Cava De' Tirreni 3
Chicago 3
Curitiba 3
Duque de Caxias 3
Guangzhou 3
Ha Kwai Chung 3
Hangzhou 3
London 3
Marcianise 3
Marigliano 3
Ninh Bình 3
Pozzuoli 3
Salerno 3
Sessa Aurunca 3
Tashkent 3
Totale 1.836
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 230
From Dynamic State Machines to Promela 170
Towards model-driven assessment of clinical processes 149
Modeling railway control systems in promela 143
A Survey on Audio-Video based Defect Detection through Deep Learning in Railway Maintenance 134
Dynamic State Machines for Formalizing Railway Control System Specifications 127
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 126
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 126
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 124
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 115
Towards a hybrid mesoscopic-microscopic railway simulation model 113
Vulnerability modeling and analysis for critical infrastructure protection applications 110
A model-driven process for physical protection system design and vulnerability evaluation 109
A cost-energy trade-off model in smart energy grids 103
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 97
Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain 97
A simulation framework for supporting design and real-time decisional phases in railway systems 96
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 95
Artificial intelligence in railways: Current applications, challenges, and ongoing research 94
Analysis of safe and effective next-generation rail signalling systems 93
Vulnerability analysis and modeling for critical infrastructure protection 93
A Petri Net pattern-oriented approach for the design of physical protection systems 91
An integrated lifetime and network quality model of large WSNs. 90
Towards model-based security assessment of cloud applications 90
An integrated approach for availability and QoS evaluation In railway systems 89
An interoperable testing environment for ERTMS/ETCS control systems 87
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 85
Model-driven V&V processes for computer based control systems: A unifying perspective 84
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 84
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling 82
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 81
Automatic generation of formal models for diagnosability of DES 79
CAN-Bus Attack Detection with Deep Learning 76
A compositional modelling approach for large Sensor Networks design 75
A model-Based evaluation methodology for smart energy systems 67
Cost-energy modelling and profiling of smart domestic grids 58
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 54
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 48
µGRIMOIRE: A tool for smart micro grids modelling and energy profiling 45
A proposal of an example and experiments repository to foster industrial adoption of formal methods 43
Totale 3.952
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.981
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.981
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202179 0 0 0 0 0 18 19 5 18 11 3 5
2021/2022283 10 0 12 1 12 15 6 5 23 37 59 103
2022/2023287 39 24 4 15 40 27 10 29 49 4 34 12
2023/2024241 14 33 20 7 16 15 9 52 12 7 44 12
2024/20251.200 65 77 4 12 71 78 102 93 80 92 429 97
2025/20261.294 205 144 267 180 420 78 0 0 0 0 0 0
Totale 3.952