CINECA IRIS Institutional Research Information System

SEMINI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.672
EU - Europa 963
AS - Asia 515
AF - Africa 46
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
SA - Sud America 2
Totale 4.202
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.588
IT - Italia 362
CN - Cina 262
SE - Svezia 208
BG - Bulgaria 139
SG - Singapore 93
CA - Canada 82
DE - Germania 68
TR - Turchia 62
GB - Regno Unito 53
VN - Vietnam 47
FI - Finlandia 43
SN - Senegal 32
UA - Ucraina 31
HK - Hong Kong 13
BE - Belgio 12
CH - Svizzera 11
IN - India 11
RU - Federazione Russa 11
CI - Costa d'Avorio 6
FR - Francia 6
JP - Giappone 6
NG - Nigeria 6
SA - Arabia Saudita 5
BD - Bangladesh 4
TW - Taiwan 4
AT - Austria 3
HU - Ungheria 3
NL - Olanda 3
AU - Australia 2
BJ - Benin 2
IE - Irlanda 2
MX - Messico 2
RO - Romania 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AZ - Azerbaigian 1
CL - Cile 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
ES - Italia 1
EU - Europa 1
IL - Israele 1
KR - Corea 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MC - Monaco 1
NO - Norvegia 1
OM - Oman 1
PE - Perù 1
PK - Pakistan 1
Totale 4.202
Salva come PNG Salva come JPEG
Città #
Ann Arbor 371
Woodbridge 322
Chandler 254
Fairfield 242
Houston 193
Sofia 139
Ashburn 115
Beijing 113
New York 102
Seattle 91
Wilmington 90
Milan 83
Serra 79
Ottawa 78
Cambridge 72
Boardman 65
Princeton 59
Izmir 57
Lawrence 55
Singapore 47
Jacksonville 44
Nanjing 40
Medford 37
Dakar 32
Des Moines 28
Dong Ket 25
Florence 20
Kent 20
Cecina 19
Nanchang 18
Pisa 18
San Diego 18
Dearborn 16
Brussels 12
Hong Kong 12
Bern 11
Boulder 11
Düsseldorf 11
Kunming 11
Changsha 10
Shenyang 10
Hangzhou 9
Rome 9
Guangzhou 8
Hebei 8
London 8
Carrara 7
Jüchen 7
Abidjan 6
Frankfurt am Main 6
Jiaxing 6
Lagos 6
Norwalk 6
Dallas 5
Jinan 5
Pune 5
Riyadh 5
Southend 5
Hefei 4
Lanzhou 4
Pontedera 4
San Francisco 4
Seravezza 4
Taipei 4
Tianjin 4
Auburn Hills 3
Bremen 3
Catania 3
Kocaeli 3
Livorno 3
Los Angeles 3
Orange 3
Redwood City 3
Torino 3
Vinovo 3
Changchun 2
Cinisello Balsamo 2
Cotonou 2
Duncan 2
Edinburgh 2
Fuzhou 2
Indiana 2
Meieki 2
Montreal 2
Mountain View 2
Osaka 2
Roccastrada 2
Santa Clara 2
Scarlino 2
Tappahannock 2
Terni 2
Trento 2
Acton 1
Ales 1
Andover 1
Arequipa 1
Capannori 1
Chengdu 1
Chicago 1
Chongqing 1
Totale 3.261
Salva come PNG Salva come JPEG
Nome #
An experience in using machine learning for short-term predictions in smart transportation systems 166
Achieving fault tolerance by a formally validated interaction policy 156
Modeling Web Applications by the Multiple Levels of Integrity Policy 135
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming 129
Adopting a Machine Learning Approach in the Design of Smart Transportation Systems 122
StPowla: SOA, Policies and Workflows 111
Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality 111
Specifying and Verifying in Tuple Spaces 107
DSTL: A Logic for Global Computing 107
Managing Adaptivity in Parallel Systems 107
A Refinement Calculus for Mobility: Expressing Security Properties 106
Distributed States Logic 94
Applying Refinement Calculi to Software Process Modelling 94
Mobile Agents Coordination in Mob-adtl 91
Variability-Based Design of Services for Smart Transportation Systems. 85
Logic Based Coordination for Event-Driven Self-Healing Distributed Systems 83
Ambiguity defects as variation points in requirements 83
Optimizing Feature Interaction Detection 81
Model checking support for conflict resolution in multiple non-functional concern management 81
Refinement Calculus for Mobility: expressing security policies 80
Specification and Composition of Software Components: Formal Methods meet Standards 80
A Place for Everything and Everything in its Place 80
Barbed Model--Driven Software Development: A case study 79
Using a Machine Learning Approach to Implement and Evaluate Product Line Features 78
Software specification and design: from formal methods to standard middleware 76
Multiple Security Policies in Mob_adtl 76
An experience with the application of three nlp tools for the analysis of natural language requirements 75
null 72
A Logical View of Choreography 71
Specifying and reasoning with asynchrony: Proof theory of DSL 70
Model-driven development of adaptable service-oriented business processes 70
A Lightweight Approach to the Early Detection and Resolution of Feature Interactions 70
A Refinement Calculus for Tuple Spaces 68
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl 67
The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back 64
Requirement engineering of software product lines: Extracting variability using NLP 63
Ad Hoc Network Applications: Specification, Design and Verification in Mob-adtl 61
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday 61
Detection and Resolution of Feature Interactions, the Early Light Way 61
Logic-Based Detection of Conflicts in APPEL Policies 56
Composing Specifications for Coordination 55
Refining by architectural style or Architecting by refinements 55
Detecting Policy Conflicts by Model Checking UML State Machines 53
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents 53
A comparison of NLP Tools for RE to extract Variation Points 51
Mark: A reasoning Kit for Mobility 50
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report 49
Implementation of coordination primitives in a mobile architecture 46
Applying the QuARS tool to detect variability 45
Service discovery in Mobadtl 41
Logic-based Conflict Detection for Distributed Policies 41
Formalizing an Adaptive Security Infrastructure in Mob-adtl 41
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 33
From generic requirements to variability 32
Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021 28
Language and Communication Problems in Formalization: A Natural Language Approach 28
A spaCy-based tool for extracting variability from NL requirements 25
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study 16
null 15
Proceedings 26th ACM International Systems and Software Product Line Conference (SPLC '22), Volume A 7
VIBE: Looking for Variability In amBiguous rEquirements 4
Totale 4.295
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.373
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 13.373
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020528 0 0 0 44 59 80 86 55 63 73 57 11
2020/2021384 29 12 15 13 30 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/2024481 45 46 44 29 64 97 22 24 7 13 32 58
2024/2025137 11 67 48 11 0 0 0 0 0 0 0 0
Totale 4.295