CNR Institutional Research Information System

SPAGNOLO, GIORGIO ORONZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.763
NA - Nord America 1.192
EU - Europa 746
SA - Sud America 296
AF - Africa 31
OC - Oceania 4
Totale 4.032
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.153
SG - Singapore 702
CN - Cina 467
IT - Italia 408
BR - Brasile 231
VN - Vietnam 175
HK - Hong Kong 119
FR - Francia 85
BD - Bangladesh 61
KR - Corea 61
JP - Giappone 58
DE - Germania 53
NL - Olanda 31
GB - Regno Unito 30
IN - India 30
FI - Finlandia 26
AR - Argentina 22
RU - Federazione Russa 22
AT - Austria 20
CA - Canada 19
IE - Irlanda 18
ID - Indonesia 15
EC - Ecuador 13
MX - Messico 12
PL - Polonia 12
TR - Turchia 11
CO - Colombia 10
IQ - Iraq 9
PK - Pakistan 9
ZA - Sudafrica 9
CL - Cile 7
IL - Israele 7
CH - Svizzera 6
EG - Egitto 6
ES - Italia 5
MA - Marocco 5
PH - Filippine 5
UZ - Uzbekistan 5
VE - Venezuela 5
GR - Grecia 4
HU - Ungheria 4
KE - Kenya 4
LK - Sri Lanka 4
SA - Arabia Saudita 4
AU - Australia 3
JO - Giordania 3
UA - Ucraina 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
BE - Belgio 2
BN - Brunei Darussalam 2
BW - Botswana 2
CZ - Repubblica Ceca 2
JM - Giamaica 2
PE - Perù 2
PY - Paraguay 2
RO - Romania 2
RS - Serbia 2
SE - Svezia 2
TH - Thailandia 2
TN - Tunisia 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AM - Armenia 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BO - Bolivia 1
CR - Costa Rica 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
KG - Kirghizistan 1
KW - Kuwait 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
LU - Lussemburgo 1
LV - Lettonia 1
MT - Malta 1
MY - Malesia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PT - Portogallo 1
QA - Qatar 1
RW - Ruanda 1
SN - Senegal 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
Totale 4.032
Salva come PNG Salva come JPEG
Città #
Singapore 449
Santa Clara 330
Dallas 239
Hefei 173
Hong Kong 117
San Jose 108
Pisa 91
Beijing 75
Ashburn 74
Ho Chi Minh City 69
Lauterbourg 60
Seoul 56
Milan 55
Tokyo 46
Cascina 44
Florence 40
Hanoi 39
Los Angeles 37
São Paulo 22
New York 19
Dublin 16
Helsinki 15
Naples 15
Nuremberg 14
Vienna 14
Amsterdam 13
Moscow 13
Rome 13
Buffalo 12
Frankfurt am Main 12
Piombino 12
Da Nang 11
Bari 10
Council Bluffs 9
Lahr 9
Orem 9
Chennai 8
Chicago 8
Istanbul 8
Johannesburg 8
Lappeenranta 8
Livorno 8
London 8
Warsaw 8
Brooklyn 7
Haiphong 7
Minamishinagawa 7
Rio de Janeiro 7
Toronto 7
Belo Horizonte 6
Bengaluru 6
Brasília 6
Dhaka 6
Catania 5
Denver 5
Lallio 5
Manchester 5
Pimampiro 5
Rimini 5
Atlanta 4
Baghdad 4
Berlin 4
Boardman 4
Bologna 4
Budapest 4
Cairo 4
Carapicuíba 4
Charlotte 4
Cleveland 4
Curitiba 4
Genoa 4
Guayaquil 4
Honolulu 4
Lahore 4
Mexico City 4
Montreal 4
Nairobi 4
New Delhi 4
Poplar 4
Queenstown Estate 4
Recife 4
Surabaya 4
Tashkent 4
The Dalles 4
Athens 3
Betim 3
Calcinaia 3
Castelraimondo 3
Cavallino 3
Delhi 3
Feira de Santana 3
Formosa 3
Guangzhou 3
Houston 3
Jacksonville 3
Jakarta 3
Karachi 3
Las Vegas 3
Lecce 3
Lucca 3
Totale 2.641
Salva come PNG Salva come JPEG
Nome #
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams 238
Measuring and improving the completeness of natural language requirements 210
Predictive maintenance for railways: a case study 202
Mining commonalities and variabilities from natural language documents 173
HumAInFlow : a no-code platform for modelling and simulating Human-AI workflows 157
Modello di processo del Responsabile del Procedimento di un concorso a tempo determinato 130
‘Freeze the measles’: how to improve backward tracing with a new digital tool 97
PURE: A Dataset of Public Requirements Documents 91
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions 83
Processo di gestione dei flussi amministrativi delle certificazioni degli apparati per la memorizzazione elettronica e la trasmissione telematica dei dati dei corrispettivi giornalieri 81
Identifying maintenance needs with machine learning: a case study in railways 77
An experience on applying process mining techniques to the tuscan port community system 74
Improving the quality of business process descriptions of public administrations: resources and research challenges 71
Digitalisation of agriculture: development and evaluation of a model-based requirements engineering process 71
Technical debt management in automotive software industry 70
Designing a deadlock-free train scheduler: A model checking approach 68
Understanding the Second Victim Phenomenon Among Healthcare Workers in an Italian Hospital 65
A lightweight software product quality evaluation method 63
A Guidelines framework for understandable BPMN models 62
Data mining in railway diagnostic data for predictive maintenance 62
Towards a method for modelling socio-technical process transformation in digital agriculture 60
Towards formal methods diversity in railways: an experience report with seven frameworks 59
Improving a travel management procedure: an Italian experience 59
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 59
Specifica DOCUMENTI COMMERCIALI Secondo il provvedimento dell'Agenzia delle Entrate del 248558/2020 del 30 Giugno 2020 55
Towards the automation of the travel management procedure of an italian public administration 54
Registratori telematici: modello di processo per l'approvazione degli apparecchi misuratori fiscali 53
LEARN PAD - Demonstrators populated learning platform 51
Modelling and Validating an Import/Export Shipping Process 51
Spatial Model Checking for Smart Stations: Research Challenges 51
Formal methods for railway systems: a survey of research and technology transfer projects 49
Smart railway infrastructures: efficiency, reliability and safety 49
Model-based evaluation of the availability of a CBTC system. 49
User interface for content analysis component 48
TCPS specifica business process e log. 48
REFSQ 2023: joint proceedings of workshops, doctoral symposium, posters & tools track, and journal early feedback track - Preface 48
Checking business process modeling guidelines in apromore 47
LEARN PAD - Platform prototype early validation results 47
Esportazione memoria permanente di riepilogo registratore telematico 47
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions 45
Esportazione memoria permanente di dettaglio registratore telematico 45
Modello di processo per l’accesso documentale (L. 241/1990) nel contesto del concorso a tempo determinato 45
Smart Services for Railways 45
Product Line Engineering Applied to CBTC Systems Development 43
Towards a dataset for natural language requirements processing 40
Quality assessment strategy: applying business process understandability guidelines for learning 37
Product line engineering applied to CBTC systems development. 37
Pragmatic ambiguity detection in natural language requirements 36
Quality assessment strategy: applying business process understandability guidelines for learning 36
The KandIStI/UMC Online Open-Access Verification Framework 36
Prototipo schedurer ATS 36
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles 34
LEARN PAD - Formal verification of business processes 33
LEARN PAD - Quality assessment strategies for contents 32
Content analysis component 31
CBTC.ATS.0001_00_05 Specifica preliminare di sistema 31
Deadlock avoidance in train scheduling: A model checking approach 30
CBTC.ATS.006_00_03 Documentazione prototipo ATS 29
CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema 28
CBTC.AGEN.0023_00_06 Protocollo ATS-ATC 28
Experiments in formal modelling of a deadlock avoidance algorithm for a CBTC system 27
Agile processes and formal methods in railway systems 27
Verification component understandability BPMN 27
Completeness assistant for requirements 26
Enhancing business process performance analysis through coverage-based monitoring 25
Deadlock free dispatching for fleets of vehicles 24
User Interface for guidelines verification component 20
Fairness as a first-class requirement: a fairness hazard analysis approach to socio-technical processes 6
Totale 4.068
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.054
article - articoli 2.025
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 449
Totale 14.528
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202425 0 0 0 0 0 0 0 0 11 0 10 4
2024/20251.297 2 5 105 34 292 109 26 91 76 43 269 245
2025/20262.660 174 177 427 323 336 97 359 156 169 170 136 136
2026/202786 86 0 0 0 0 0 0 0 0 0 0 0
Totale 4.068