Fairness in Logic Languages based on Shared Dataspace. - Mauro Gaspari; Laura Semini (ICLP Workshop on Blackboard-Based Logic Programming, 1993)

Everything buT Assignment. - Vincenzo Ambriola; Giovanni A. Cignoni; Laura Semini (GULP-PRODE (2), 1994)

A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces. - Vincenzo Ambriola; Giovanni A. Cignoni; Laura Semini (ICLP Workshop: Process-Based Parallel Logic Programming, 1994)

Refining by architectural styles or architecting by refinements. - Carlo Montangero; Laura Semini (ISAW/Viewpoints@FSE, 1996)

A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming. - Vincenzo Ambriola; Giovanni A. Cignoni; Laura Semini (Comput. Lang., 1996)

Composing Specifications for Coordination. - Carlo Montangero; Laura Semini (COORDINATION, 1999)

Implementation of Coordination Primitives in a Mobile Architecture. - Stefania Gnesi; Laura Semini (PDPTA, 1999)

A Refinement Calculus for Tuple Spaces. - Laura Semini; Carlo Montangero (Sci. Comput. Program., 1999)

Mobile Agents Coordination in Mobadtl. - Gian-Luigi Ferrari 002; Carlo Montangero; Laura Semini; Simone Semprini (COORDINATION, 2000)

istributed States Logic. - Carlo Montangero; Laura Semini (TIME, 2002)

Mark, a Reasoning Kit for Mobility. - Gian-Luigi Ferrari 002; Carlo Montangero; Laura Semini; Simone Semprini (Autom. Softw. Eng., 2002)

Distributed States Temporal Logic - Carlo Montangero; Laura Semini (CoRR, 2003)

Logic Based Coordination for Event-Driven Self-healing Distributed Systems. - Carlo Montangero; Laura Semini; Simone Semprini (COORDINATION, 2004)

Modeling Web Applications by the Multiple Levels of Integrity Policy. - Gianluca Amato; Massimo Coppola; Stefania Gnesi; Francesca Scozzari; Laura Semini (WWV, 2005)

A Logical View of Choreography. - Carlo Montangero; Laura Semini (COORDINATION, 2006)

Achieving Fault Tolerance by a Formally Validated Interaction Policy. - Alessandro Fantechi; Stefania Gnesi; Laura Semini (RODIN Book, 2006)

Logic-Based Detection of Conflicts in AppelPolicies. - Carlo Montangero; Stephan Reiff-Marganiec; Laura Semini (FSEN, 2007)

StPowla: SOA, Policies and Workflows. - Stephen Gorton; Carlo Montangero; Stephan Reiff-Marganiec; Laura Semini (ICSOC Workshops, 2007)

Barbed Model-Driven Software Development: A Case Study. - Carlo Montangero; Laura Semini (TTSS, 2007)

Logic-based Conflict Detection for Distributed Policies. - Carlo Montangero; Stephan Reiff-Marganiec; Laura Semini (Fundam. Informaticae, 2008)

Detecting policy conflicts by model checking UML state machines. - Maurice H. ter Beek; Stefania Gnesi; Carlo Montangero; Laura Semini (ICFI, 2009)

Model-Driven Development of Adaptable Service-Oriented Business Processes. - Carlo Montangero; Stephan Reiff-Marganiec; Laura Semini (Results of the SENSORIA Project, 2011)

Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management. - Marco Danelutto; Peter Kilpatrick; Carlo Montangero; Laura Semini (Euro-Par Workshops (1), 2011)

Managing Adaptivity in Parallel Systems. - Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Carlo Montangero; Laura Semini (FMCO, 2011)

Using a Machine Learning Approach to Implement and Evaluate Product Line Features. - Davide Bacciu; Stefania Gnesi; Laura Semini (WWV, 2015)

Variability-Based Design of Services for Smart Transportation Systems. - Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Laura Semini (ISoLA (2), 2016)

Adopting a Machine Learning Approach in the Design of Smart Transportation Systems. - Davide Bacciu; Antonio Carta; Stefania Gnesi; Laura Semini (ERCIM News, 2016)

Optimizing Feature Interaction Detection. - Alessandro Fantechi; Stefania Gnesi; Laura Semini (FMICS-AVoCS, 2017)

Ambiguity defects as variation points in requirements. - Alessandro Fantechi; Stefania Gnesi; Laura Semini (VaMoS, 2017)

An experience in using machine learning for short-term predictions in smart transportation systems. - Davide Bacciu; Antonio Carta; Stefania Gnesi; Laura Semini (J. Log. Algebraic Methods Program., 2017)

Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. - Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Laura Semini (RE, 2018)

Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. - Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Laura Semini (VaMoS, 2018)

The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. - Maurice H. ter Beek; Alessandro Fantechi; Laura Semini (From Software Engineering to Formal Methods and Tools, and Back, 2019)

From Generic Requirements to Variability. - Alessandro Fantechi; Stefania Gnesi; Laura Semini (REFSQ Workshops, 2019)

Applying the QuARS tool to detect variability. - Alessandro Fantechi; Stefania Gnesi; Laura Semini (SPLC (B), 2019)

An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. - Monica Arrabito; Alessandro Fantechi; Stefania Gnesi; Laura Semini (QUATIC, 2020)

A comparison of NLP Tools for RE to extract Variation Points. - Monica Arrabito; Alessandro Fantechi; Stefania Gnesi; Laura Semini (REFSQ Workshops, 2020)

Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents. - Eleonora Arganese; Alessandro Fantechi; Stefania Gnesi; Laura Semini (Integrating Research and Practice in Software Engineering, 2020)

Language and Communication Problems in Formalization: A Natural Language Approach. - Alessandro Fantechi; Stefania Gnesi; Laura Semini (Logic, Computation and Rigorous Methods, 2021)

A spaCy-based tool for extracting variability from NL requirements. - Alessandro Fantechi; Stefania Gnesi; Samuele Livi; Laura Semini (SPLC (B), 2021)

Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. - Alessandro Fantechi; Stefania Gnesi; Lucia C. Passaro; Laura Semini (RE, 2023)

Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. - Alessandro Fantechi; Stefania Gnesi; Laura Semini (REFSQ Workshops, 2023)

VIBE: Looking for Variability In amBiguous rEquirements. - Alessandro Fantechi; Stefania Gnesi; Laura Semini (J. Syst. Softw., 2023)

Exploring LLMs' Ability to Detect Variability in Requirements. - Alessandro Fantechi; Stefania Gnesi; Laura Semini (REFSQ, 2024)

Leveraging Requirements Elicitation through Software Requirement Patterns and LLMs. - Xavier Franch; Stefania Gnesi; Federico Paccosi; Carme Quer; Laura Semini (REFSQ, 2025)

Preface: REFSQ 2025 Posters and Tools Track. - Sylwia Kopczynska; Laura Semini (REFSQ Workshops, 2025)