| A compositional framework to derive product line behavioural descriptions | 10 | 0.52 | 2012 |
| A model-checking tool for families of services | 13 | 0.58 | 2011 |
| Design and validation of variability in product lines | 11 | 0.62 | 2011 |
| Formal Description of Variability in Product Families | 52 | 1.40 | 2011 |
| A Deontic Logical Framework for Modelling Product Families | 14 | 0.73 | 2010 |
| A logical framework to deal with variability | 31 | 1.05 | 2010 |
| Deontic Logics for Modeling Behavioural Variability | 16 | 0.88 | 2009 |
| MultiMedia Metadata Management: a Proposal for an Infrastructure | 5 | 0.58 | 2006 |
| Firewall policies definition tools: an implementation idea | 0 | 0.34 | 1999 |
| The Constraint Operator of MedLan: Its Efficient Implementation and Use | 1 | 0.35 | 1998 |
| View Constraints: An Interpretation of Integrity Constraints for Security | 0 | 0.34 | 1997 |
| A Deductive Database Support to the Specification of Concurrent Systems | 0 | 0.34 | 1996 |
| Integrity Constraints as Views in Deductice Databases | 2 | 0.38 | 1996 |
| Language Extensions for Semantic Integration of Deductive Databases | 9 | 0.69 | 1996 |
| A Logical Database for Validating System Models | 0 | 0.34 | 1996 |
| An Operator for Composing Deductive Databases with Theories of Constraints | 3 | 0.44 | 1995 |
| A Declarative Approach to the Design and Realization of Graphic Interfaces | 2 | 0.43 | 1995 |
| Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces | 0 | 0.34 | 1994 |
| Graphics by a Logic Database Management System | 5 | 0.57 | 1994 |
| Prototyping in the GEDBLOG system | 1 | 0.37 | 1992 |
| Selective Refutation of Integrity Constraints in Deductive Databases | 6 | 5.79 | 1989 |
| Using Logic Databases in Software Development Environments | 2 | 1.63 | 1988 |
| EDBLOG: A Kernel for Configuration Environments | 1 | 0.48 | 1988 |
| Enhancing Configuration Facilities in Software Development: A Logic Approach | 3 | 0.76 | 1987 |
| Integrity Constraints for Logic Databases | 10 | 6.10 | 1985 |
| Some Aspects of the Static Semantics of Logic Programs with Monadic Functions. | 0 | 0.34 | 1983 |
