CINECA IRIS Institutional Research Information System

GERVASI, VINCENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.599
AS - Asia 3.516
EU - Europa 3.143
SA - Sud America 669
AF - Africa 196
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 4
Totale 16.137
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.234
IT - Italia 1.167
CN - Cina 1.133
HK - Hong Kong 665
SG - Singapore 634
BR - Brasile 525
DE - Germania 387
SE - Svezia 338
BG - Bulgaria 276
CA - Canada 239
TR - Turchia 222
UA - Ucraina 221
GB - Regno Unito 183
IN - India 160
KR - Corea 147
VN - Vietnam 144
FR - Francia 141
RU - Federazione Russa 126
FI - Finlandia 118
CH - Svizzera 82
BD - Bangladesh 80
IQ - Iraq 64
JP - Giappone 56
MX - Messico 47
SA - Arabia Saudita 43
VE - Venezuela 37
ZA - Sudafrica 36
AR - Argentina 30
SN - Senegal 29
PK - Pakistan 27
UZ - Uzbekistan 24
MA - Marocco 21
EC - Ecuador 20
CO - Colombia 19
CI - Costa d'Avorio 18
KE - Kenya 16
BE - Belgio 15
TT - Trinidad e Tobago 15
IE - Irlanda 14
PL - Polonia 14
EG - Egitto 13
ET - Etiopia 13
NP - Nepal 11
TH - Thailandia 11
UY - Uruguay 11
BB - Barbados 10
JM - Giamaica 10
ES - Italia 9
AE - Emirati Arabi Uniti 8
CL - Cile 8
JO - Giordania 8
KZ - Kazakistan 8
NG - Nigeria 8
NL - Olanda 8
TN - Tunisia 8
AU - Australia 7
DK - Danimarca 7
DZ - Algeria 7
HN - Honduras 7
IL - Israele 7
OM - Oman 7
PY - Paraguay 7
RO - Romania 7
RS - Serbia 7
AZ - Azerbaigian 6
ID - Indonesia 6
LB - Libano 6
BO - Bolivia 5
BS - Bahamas 5
BW - Botswana 5
GA - Gabon 5
PA - Panama 5
PE - Perù 5
TW - Taiwan 5
AL - Albania 4
AT - Austria 4
CR - Costa Rica 4
DO - Repubblica Dominicana 4
IR - Iran 4
MY - Malesia 4
PR - Porto Rico 4
AM - Armenia 3
CD - Congo 3
CZ - Repubblica Ceca 3
GT - Guatemala 3
KG - Kirghizistan 3
KW - Kuwait 3
NI - Nicaragua 3
PH - Filippine 3
QA - Qatar 3
BA - Bosnia-Erzegovina 2
BJ - Benin 2
CG - Congo 2
EE - Estonia 2
FJ - Figi 2
HU - Ungheria 2
LC - Santa Lucia 2
LK - Sri Lanka 2
PS - Palestinian Territory 2
PT - Portogallo 2
Totale 16.102
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.094
Ann Arbor 952
Ashburn 748
Houston 691
Hong Kong 656
Fairfield 568
Santa Clara 555
Singapore 385
Chandler 379
Dallas 363
Milan 321
Jacksonville 312
Beijing 286
Sofia 275
Seattle 262
Shanghai 239
Wilmington 205
Ottawa 203
New York 187
Cambridge 186
Los Angeles 178
Serra 169
Hefei 168
Seoul 145
Boardman 144
Izmir 139
Nanjing 120
Princeton 113
Lawrence 106
Marseille 93
Bern 82
Des Moines 65
Medford 61
Istanbul 56
Dearborn 51
Jüchen 51
Rome 51
Tokyo 44
Buffalo 40
Nanchang 40
Florence 39
Pisa 35
Redondo Beach 34
São Paulo 33
Frankfurt am Main 32
Dhaka 30
San Diego 30
Dakar 29
Düsseldorf 27
Redwood City 27
Dong Ket 26
Baghdad 23
Tashkent 23
Tianjin 22
Livorno 20
London 20
Shenyang 20
Hebei 19
Jeddah 19
Kunming 19
Munich 19
Abidjan 18
Council Bluffs 18
Washington 17
Belo Horizonte 15
Norwalk 15
Ogden 15
Rio de Janeiro 15
Brussels 14
Changsha 14
Ho Chi Minh City 14
Nairobi 14
San Francisco 14
Hanoi 13
Boulder 12
Johannesburg 12
Addis Ababa 11
Borgo a Mozzano 11
Columbus 11
Dublin 11
Falls Church 11
Bangkok 10
Bridgetown 10
Casablanca 10
Chicago 10
Montevideo 10
Osaka 10
Riyadh 10
The Dalles 10
Brooklyn 9
Chennai 9
Jiaxing 9
Maracaibo 9
New Delhi 9
Phoenix 9
Southend 9
Warsaw 9
Amman 8
Erbil 8
Guayaquil 8
Totale 11.780
Salva come PNG Salva come JPEG
Nome #
null 272
Processing natural language requirements 249
Applying a metric framework to the software process: an experiment 220
Executable formal specifications of complex distributed systems with CoreASM 215
Active-U-Datalog: Integrating active rules in a logical update language. 213
Optimal-constraint lexicons for requirements specifications 203
Contribution to a Rigorous Analysis of Web Application Frameworks 199
The case for cooperative requirements writing 197
Eclipse as a Requirements Engineering Environment 194
Representing structural requirements in software architecture 190
A logical approach to cooperative information systems 187
Robotic cops: The intruder problem 185
Guest editorial: 10th anniversary workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'2004) 180
Analysing anaphoric ambiguity in natural language requirements 180
Speeding up requirements management in a product software company: Linking customer wishes to product requirements through linguistic engineering 179
Ambient Abstract State Machines with applications 179
An environment for cooperative construction of natural-language requirements bases 176
Contribution to a rigorous analysis of web application frameworks 176
JASMine: Accessing Java Code from CoreASM 175
Requirement engineering: Foundation for software quality - Editors' introduction 173
Experiences with domain-based parsing of natural language requirements 170
Reasoning about inconsistencies in natural language requirements 169
Software manipulation with annotations in Java 169
On the interplay between consistency, completeness, and correctness in requirements evolution 168
A linguistic engineering approach to large-scale requirements management 167
An ASM Model of Concurrency in a Web Browser 166
CoreASM: An extensible ASM execution engine 165
The 3Cs of requirements: Consistency, completeness, and correctness 164
Natural Language Requirements Processing: A 4D Vision 164
Modeling web applications infrastructure with ASMs 163
Automated Service Selection Using Natural Language Processing 163
Lightweight validation of natural language requirements 163
Automated tools for requirements engineering 162
Managing large repositories of natural language requirements 162
Mining requirements links 162
Integrating active rules in U-Datalog 161
Summary of the 12th Working Conference on Requirements Engineering: Foundation for Software Quality 161
On the systematic analysis of natural language requirements with Circe 161
Using default reasoning to discover inconsistencies in natural language requirements 159
Summary of the 10th Anniversary International Workshop on Requirements Engineering: Foundation for Software Quality 159
Process metrics for requirements analysis 159
Quantitative assessment of textual complexity 156
Coordination without communication: The case of the flocking problem 156
Supporting multiple views on requirements 155
Proceedings of the Twelfth International Working Conference on Requirements Engineering: Foundation for Software Quality 154
Erratum to: On the interplay between consistency, completeness, and correctness in requirements evolution (vol 45, pg 993, 2003) 153
Lightweight validation of natural language requirements: a case study. 153
null 151
On the parallel refinement of NL requirements and UML diagrams 150
Idea: Enforcing Consumer-Specified Security Properties for Modular Software 148
CoreASM plug-in architecture 148
On the effectiveness of abstraction identification in requirements engineering. 146
On the role of ambiguity in RE 146
On the efficient capture of dangerous criminals 145
Who Framed Roger User? Problem Frames as a User Interaction Design Tool 142
Report on the first international workshop on comparative evaluation in requirements engineering 140
Unknown knowns: Tacit knowledge in requirements engineering. 140
Proceedings of the Second International Workshop on Comparative Evaluation in Requirements Engineering 137
Toolkit for wearable electrical impedance tomography (TWEIT): a software library for real-time image reconstruction on mobile devices. 137
Special section on natural language in software engineering 135
Proceedings of the Tenth Anniversary International Workshop on Requirements Engineering: Foundation for Software Quality 134
Proceedings of the Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality 134
Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements 133
A high-level modular definition of the semantics of C# 133
Relevance-based abstraction identification: technique and evaluation 132
Proceedings of the First International Workshop on Comparative Evaluation in Requirements Engineering 131
La gara nazionale di programmazione della Macchina di Turing. 131
Introduction to the special issue of best papers from RE2015 conference 130
Ambiguity in Requirements Engineering: Towards a Unifying Framework 129
Design exploration and experimental validation of abstract requirements 128
Summary of the 11th Workshop on Requirements Engineering: Foundation for Software Quality 127
null 125
17th International Conference on Requirements Engingeering: Foundation for Software Quality (REFSQ'11) - Proceedings of the Workshops, Doctoral Symposium and Empirical Track 124
Supporting Analysts by Dynamic Extraction and Classification of Requirements-Related Knowledge 124
CoreASM: An extensible ASM execution engine 122
Why is RE for web-based software development easier? 121
On linguistic quality of natural language requirements 119
Achieving quality in natural language requirements 119
Proceedings of the Third International Workshop on Comparative Evaluation in Requirements Engineering 117
On Linguistic Quality of Natural Language Requirements 115
Programmazione in Java (2 ed.) 109
The Cico domain-based parser 106
ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information 106
Ten years of REFSQ: A quantitative analysis 102
Robotic cops: The intruder problem 102
Dynamic visual analytics for elicitation meetings with ELICA 102
Using abstract state machines in modeling biological systems 100
Editoria digitale 95
Need a Fleet? Use the Force! 93
Unpacking tacit knowledge for requirements engineering. 91
An application for remote respiratory patterns detection in post-surgery patients 88
null 88
Programmazione in Java 87
null 86
null 85
Message from the chairs 85
On the intelligent behaviour of stupid robots 80
Quasi-Orthogonal ECG-Frank XYZ Transformation with Energy-Based Models and Clinical Text 76
A new tailored developed software for the risk classification of bridges according to the Italian Guidelines 74
Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track 72
Totale 14.526
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.132
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 40.132
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021656 0 0 0 0 107 39 84 122 65 65 58 116
2021/20221.091 31 91 56 71 202 150 38 52 36 18 68 278
2022/20231.162 131 81 76 84 162 168 9 91 295 3 56 6
2023/20241.118 184 156 138 75 153 200 37 13 24 30 14 94
2024/20254.256 22 137 68 117 343 323 312 183 258 412 422 1.659
2025/20261.732 337 520 514 274 87 0 0 0 0 0 0 0
Totale 16.279