CINECA IRIS Institutional Research Information System

SEMINI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.131
AS - Asia 2.555
EU - Europa 1.552
SA - Sud America 362
Continente sconosciuto - Info sul continente non disponibili 120
AF - Africa 118
OC - Oceania 24
Totale 8.862
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.942
CN - Cina 676
SG - Singapore 604
IT - Italia 451
HK - Hong Kong 423
BR - Brasile 282
SE - Svezia 217
DE - Germania 187
BG - Bulgaria 141
VN - Vietnam 141
CA - Canada 123
GB - Regno Unito 116
TR - Turchia 109
IN - India 101
SA - Arabia Saudita 98
FI - Finlandia 97
JP - Giappone 89
FR - Francia 78
RU - Federazione Russa 64
BD - Bangladesh 52
UA - Ucraina 39
SN - Senegal 32
TW - Taiwan 32
KR - Corea 30
IQ - Iraq 29
PK - Pakistan 29
NL - Olanda 27
CH - Svizzera 26
AR - Argentina 25
AU - Australia 21
ID - Indonesia 21
MX - Messico 21
IR - Iran 20
ZA - Sudafrica 19
MY - Malesia 14
BE - Belgio 13
EC - Ecuador 13
JO - Giordania 13
PL - Polonia 13
ES - Italia 11
PH - Filippine 11
NG - Nigeria 10
AZ - Azerbaigian 9
CZ - Repubblica Ceca 9
IE - Irlanda 9
JM - Giamaica 9
VE - Venezuela 9
CI - Costa d'Avorio 7
CL - Cile 7
TN - Tunisia 7
UY - Uruguay 7
UZ - Uzbekistan 7
AT - Austria 6
CO - Colombia 6
ET - Etiopia 6
HU - Ungheria 6
KE - Kenya 6
LV - Lettonia 6
MU - Mauritius 6
OM - Oman 6
AE - Emirati Arabi Uniti 5
DZ - Algeria 5
IL - Israele 5
LT - Lituania 5
MA - Marocco 5
NP - Nepal 5
PY - Paraguay 5
BO - Bolivia 4
DO - Repubblica Dominicana 4
GT - Guatemala 4
MK - Macedonia 4
PA - Panama 4
PE - Perù 4
PT - Portogallo 4
TT - Trinidad e Tobago 4
XK - ???statistics.table.value.countryCode.XK??? 4
AM - Armenia 3
BA - Bosnia-Erzegovina 3
BH - Bahrain 3
BJ - Benin 3
CR - Costa Rica 3
EG - Egitto 3
GR - Grecia 3
HN - Honduras 3
KG - Kirghizistan 3
KZ - Kazakistan 3
LB - Libano 3
LU - Lussemburgo 3
NI - Nicaragua 3
NZ - Nuova Zelanda 3
PR - Porto Rico 3
PS - Palestinian Territory 3
RO - Romania 3
AO - Angola 2
BB - Barbados 2
KH - Cambogia 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
Totale 8.723
Salva come PNG Salva come JPEG
Città #
Hong Kong 409
Ann Arbor 371
Ashburn 353
Woodbridge 322
Singapore 313
Santa Clara 303
Chandler 254
Fairfield 242
San Jose 219
Houston 198
Beijing 191
Dallas 163
Sofia 141
Shanghai 139
New York 110
Seattle 100
Milan 96
Wilmington 90
Riyadh 86
Ottawa 79
Serra 79
Cambridge 73
Tokyo 71
Los Angeles 67
Boardman 64
Princeton 59
Izmir 58
Lawrence 55
Helsinki 54
Lauterbourg 49
Jacksonville 44
Nanjing 40
Council Bluffs 39
Istanbul 38
Medford 37
Ho Chi Minh City 34
Dakar 32
Hefei 32
Taipei 30
Des Moines 29
Buffalo 27
Dong Ket 25
Florence 22
Hanoi 22
São Paulo 22
Frankfurt am Main 21
Pisa 21
Redondo Beach 21
Kent 20
Cecina 19
Dhaka 18
Munich 18
Nanchang 18
San Diego 18
Seoul 18
Dearborn 16
Hamburg 16
Rome 15
Düsseldorf 14
Konstanz 14
London 14
Melbourne 14
Amman 13
Brussels 13
Rio de Janeiro 13
Shenyang 13
Falkenstein 12
Guangzhou 12
Johannesburg 12
Pune 12
Zurich 12
Baghdad 11
Bern 11
Boulder 11
Kunming 11
Changsha 10
Lahore 10
Manchester 10
Naaldwijk 10
Osaka 10
Fortaleza 9
Hangzhou 9
Mumbai 9
Orem 9
The Dalles 9
Warsaw 9
Chicago 8
Hebei 8
Jeddah 8
Montreal 8
Toronto 8
Abidjan 7
Amsterdam 7
Baku 7
Carrara 7
Figino 7
Islamabad 7
Jüchen 7
Lagos 7
Phoenix 7
Totale 5.939
Salva come PNG Salva come JPEG
Nome #
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study 571
An experience in using machine learning for short-term predictions in smart transportation systems 253
Achieving fault tolerance by a formally validated interaction policy 215
Modeling Web Applications by the Multiple Levels of Integrity Policy 201
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 199
Adopting a Machine Learning Approach in the Design of Smart Transportation Systems 190
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming 180
Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality 174
DSTL: A Logic for Global Computing 167
StPowla: SOA, Policies and Workflows 167
Managing Adaptivity in Parallel Systems 165
A Refinement Calculus for Mobility: Expressing Security Properties 163
Specifying and Verifying in Tuple Spaces 160
Ambiguity defects as variation points in requirements 153
Requirement engineering of software product lines: Extracting variability using NLP 152
An experience with the application of three nlp tools for the analysis of natural language requirements 151
A comparison of NLP Tools for RE to extract Variation Points 147
Distributed States Logic 145
Multiple Security Policies in Mob_adtl 141
The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back 141
A Lightweight Approach to the Early Detection and Resolution of Feature Interactions 140
Model checking support for conflict resolution in multiple non-functional concern management 140
Logic Based Coordination for Event-Driven Self-Healing Distributed Systems 138
Optimizing Feature Interaction Detection 138
Variability-Based Design of Services for Smart Transportation Systems. 137
A Place for Everything and Everything in its Place 137
Specifying and reasoning with asynchrony: Proof theory of DSL 136
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday 135
Applying Refinement Calculi to Software Process Modelling 134
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents 134
Detecting Policy Conflicts by Model Checking UML State Machines 133
Barbed Model--Driven Software Development: A case study 133
Applying the QuARS tool to detect variability 133
Mobile Agents Coordination in Mob-adtl 132
Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021 132
VIBE: Looking for Variability In amBiguous rEquirements 130
Specification and Composition of Software Components: Formal Methods meet Standards 126
A Logical View of Choreography 126
Refinement Calculus for Mobility: expressing security policies 122
Model-driven development of adaptable service-oriented business processes 122
Detection and Resolution of Feature Interactions, the Early Light Way 122
Ad Hoc Network Applications: Specification, Design and Verification in Mob-adtl 121
Software specification and design: from formal methods to standard middleware 121
Using a Machine Learning Approach to Implement and Evaluate Product Line Features 120
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl 119
From generic requirements to variability 119
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report 117
A Refinement Calculus for Tuple Spaces 115
A spaCy-based tool for extracting variability from NL requirements 115
Language and Communication Problems in Formalization: A Natural Language Approach 114
Refining by architectural style or Architecting by refinements 109
Logic-Based Detection of Conflicts in APPEL Policies 105
Logic-based Conflict Detection for Distributed Policies 103
Formalizing an Adaptive Security Infrastructure in Mob-adtl 101
Composing Specifications for Coordination 98
Implementation of coordination primitives in a mobile architecture 97
Mark: A reasoning Kit for Mobility 89
Exploring LLMs’ Ability to Detect Variability in Requirements 82
Service discovery in Mobadtl 80
Proceedings 26th ACM International Systems and Software Product Line Conference (SPLC '22), Volume A 78
null 72
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023 64
Quality of Information and Communications Technology - 17th International Conference on the Quality of Information and Communications Technology 60
null 35
Combining Established and Emerging Techniques to Detect Inconsistencies in Requirements 11
Leveraging Requirements Elicitation through Software Requirement Patterns and LLMs 2
Totale 8.862
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.952
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 24.952
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022556 0 32 19 28 111 76 16 27 20 6 67 154
2022/2023674 88 96 54 56 77 93 0 48 110 7 39 6
2023/2024480 45 46 44 29 64 97 22 24 7 13 31 58
2024/20252.424 11 65 47 77 211 230 143 100 262 280 216 782
2025/20262.201 133 272 163 143 299 208 291 130 188 201 80 93
2026/202780 68 12 0 0 0 0 0 0 0 0 0 0
Totale 8.862