CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021510 0 0 0 0 0 0 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/20262.303 337 520 514 274 307 348 3 0 0 0 0 0
Totale 16.850