CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021285 0 0 0 0 0 20 84 34 47 19 26 55
2021/2022561 5 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/20261.170 133 272 163 143 299 160 0 0 0 0 0 0
Totale 7.751