A Flexible Environment for Program Development Based on a Symbolic Interpreter. - Patrizia Asirelli; Pierpaolo Degano; Giorgio Levi; Alberto Martelli; Ugo Montanari; Giuliano Pacini; Franco Sirovich; Franco Turini (ICSE, 1979)

Some Aspects of the Static Semantics of Logic Programs with Monadic Functions. - Patrizia Asirelli (Logic Programming Workshop, 1983)

Integrity Constraints for Logic Databases. - Patrizia Asirelli; Michele de Santis; Maurizio Martelli (J. Log. Program., 1985)

Enhancing Configuration Facilities in Software Development: A Logic Approach. - Patrizia Asirelli; Paola Inverardi (ESEC, 1987)

Improving Integrity Constraint Checking in Deductive Databases. - Patrizia Asirelli; Paola Inverardi; A. Mustaro (ICDT, 1988)

Using Logic Databases in Software Development Environments. - Patrizia Asirelli; Paola Inverardi (PLILP, 1988)

EDBLOG: A Kernel for Configuration Environments. - Patrizia Asirelli; Paola Inverardi (SCM, 1988)

Selective Refutation of Integrity Constraints in Deductive Databases. - Patrizia Asirelli; C. Billi; Paola Inverardi (MFDBS, 1989)

Supporting Reuse and Configuration: A Port Based SCM Model. - Domenico Aquilino; Patrizia Asirelli; Paola Inverardi; P. Malara (SCM, 1991)

Prototyping in the GEDBLOG System. - Domenico Aquilino; Patrizia Asirelli; Paola Inverardi (SEKE, 1992)

Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. - Domenico Aquilino; Patrizia Asirelli; Paola Inverardi (GULP-PRODE (2), 1994)

Graphics by a Logic Database Management System. - Patrizia Asirelli; D. Di Grande; Paola Inverardi; F. Nicodemi (J. Vis. Lang. Comput., 1994)

A Declarative Approach to the Design and Realization of Graphic Interfaces. - Domenico Aquilino; D. Apuzzo; Patrizia Asirelli (GULP-PRODE, 1995)

An Operator for Composing Deductive Databases with Theories of Constraints. - Domenico Aquilino; Patrizia Asirelli; Chiara Renso; Franco Turini (LPNMR, 1995)

A Logical Database for Validating System Models. - Patrizia Asirelli; Stephen C. Cook; Keith G. Jeffery (DDLP, 1996)

Integrity Constraints as Views in Deductice Databases. - Patrizia Asirelli; Paola Inverardi; Giuseppe Plagenza (FMLDO, 1996)

Language Extensions for Semantic Integration of Deductive Databases. - Patrizia Asirelli; Chiara Renso; Franco Turini (Logic in Databases, 1996)

A Deductive Database Support to the Specification of Concurrent Systems. - Patrizia Asirelli; Stefania Gnesi; Maria Cristina Rossi (SOFSEM, 1996)

View Constraints: An Interpretation of Integrity Constraints for Security. - Patrizia Asirelli (IICIS, 1997)

Applying Restriction Constraints to Deductive Databases. - Domenico Aquilino; Patrizia Asirelli; Chiara Renso; Franco Turini (Ann. Math. Artif. Intell., 1997)

The Constraint Operator of MedLan: Its Efficient Implementation and Use. - Patrizia Asirelli; Chiara Renso; Franco Turini (IICIS, 1998)

Firewall Policies Definition Tools: An Implementation Idea. - Patrizia Asirelli; Fabrizio Fabbrini (IICIS, 1999)

Using MedLan to Integrate Geographical Data. - Domenico Aquilino; Patrizia Asirelli; A. Formuso; Chiara Renso; Franco Turini (J. Log. Program., 2000)

MultiMedia Metadata Management: a Proposal for an Infrastructure. - Patrizia Asirelli; Suzanne Little; Massimo Martinelli; Ovidio Salvetti (SWAP, 2006)

Deontic Logics for Modeling Behavioural Variability. - Patrizia Asirelli; Maurice H. ter Beek; Stefania Gnesi; Alessandro Fantechi (VaMoS, 2009)

A Logical Framework to Deal with Variability. - Patrizia Asirelli; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi (IFM, 2010)

A Deontic Logical Framework for Modelling Product Families. - Patrizia Asirelli; Maurice H. ter Beek; Stefania Gnesi; Alessandro Fantechi (VaMoS, 2010)

A Model-Checking Tool for Families of Services. - Patrizia Asirelli; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi (FMOODS/FORTE, 2011)

Design and validation of variability in product lines. - Patrizia Asirelli; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti (PLEASE@ICSE, 2011)

Formal Description of Variability in Product Families. - Patrizia Asirelli; Maurice H. ter Beek; Stefania Gnesi; Alessandro Fantechi (SPLC, 2011)

A Compositional Framework to Derive Product Line Behavioural Descriptions. - Patrizia Asirelli; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi (ISoLA (1), 2012)