2009 |
24 | EE | Patrizia Asirelli,
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi:
Deontic Logics for Modeling Behavioural Variability.
VaMoS 2009: 71-76 |
2006 |
23 | EE | Patrizia Asirelli,
Suzanne Little,
Massimo Martinelli,
Ovidio Salvetti:
MultiMedia Metadata Management: a Proposal for an Infrastructure.
SWAP 2006 |
2000 |
22 | | Domenico Aquilino,
Patrizia Asirelli,
A. Formuso,
Chiara Renso,
Franco Turini:
Using MedLan to Integrate Geographical Data.
J. Log. Program. 43(1): 3-14 (2000) |
1999 |
21 | | Patrizia Asirelli,
Fabrizio Fabbrini:
Firewall Policies Definition Tools: An Implementation Idea.
IICIS 1999: 99-110 |
1998 |
20 | | Patrizia Asirelli,
Chiara Renso,
Franco Turini:
The Constraint Operator of MedLan: Its Efficient Implementation and Use.
IICIS 1998: 41-55 |
1997 |
19 | | Patrizia Asirelli:
View Constraints: An Interpretation of Integrity Constraints for Security.
IICIS 1997: 237-252 |
18 | | Domenico Aquilino,
Patrizia Asirelli,
Chiara Renso,
Franco Turini:
Applying Restriction Constraints to Deductive Databases.
Ann. Math. Artif. Intell. 19(1-2): 3-25 (1997) |
1996 |
17 | | Patrizia Asirelli,
Stephen C. Cook,
Keith G. Jeffery:
A Logical Database for Validating System Models.
DDLP 1996: 119-134 |
16 | EE | Patrizia Asirelli,
Paola Inverardi,
Giuseppe Plagenza:
Integrity Constraints as Views in Deductice Databases.
FMLDO 1996: 133-140 |
15 | | Patrizia Asirelli,
Chiara Renso,
Franco Turini:
Language Extensions for Semantic Integration of Deductive Databases.
Logic in Databases 1996: 415-434 |
14 | | Patrizia Asirelli,
Stefania Gnesi,
Maria Cristina Rossi:
A Deductive Database Support to the Specification of Concurrent Systems.
SOFSEM 1996: 309-316 |
1995 |
13 | | Domenico Aquilino,
D. Apuzzo,
Patrizia Asirelli:
A Declarative Approach to the Design and Realization of Graphic Interfaces.
GULP-PRODE 1995: 332-346 |
12 | | Domenico Aquilino,
Patrizia Asirelli,
Chiara Renso,
Franco Turini:
An Operator for Composing Deductive Databases with Theories of Constraints.
LPNMR 1995: 57-70 |
1994 |
11 | | Domenico Aquilino,
Patrizia Asirelli,
Paola Inverardi:
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces.
GULP-PRODE (2) 1994: 440-441 |
10 | | Patrizia Asirelli,
D. Di Grande,
Paola Inverardi,
F. Nicodemi:
Graphics by a Logic Database Management System.
J. Vis. Lang. Comput. 5(4): 365-388 (1994) |
1992 |
9 | EE | Domenico Aquilino,
Patrizia Asirelli,
Paola Inverardi:
Prototyping in the GEDBLOG System.
SEKE 1992: 194-199 |
1991 |
8 | EE | Domenico Aquilino,
Patrizia Asirelli,
Paola Inverardi,
P. Malara:
Supporting Reuse and Configuration: A Port Based SCM Model.
SCM 1991: 62-67 |
1989 |
7 | EE | Patrizia Asirelli,
C. Billi,
Paola Inverardi:
Selective Refutation of Integrity Constraints in Deductive Databases.
MFDBS 1989: 1-11 |
1988 |
6 | EE | Patrizia Asirelli,
Paola Inverardi,
A. Mustaro:
Improving Integrity Constraint Checking in Deductive Databases.
ICDT 1988: 72-86 |
5 | | Patrizia Asirelli,
Paola Inverardi:
Using Logic Databases in Software Development Environments.
PLILP 1988: 292-299 |
4 | | Patrizia Asirelli,
Paola Inverardi:
EDBLOG: A Kernel for Configuration Environments.
SCM 1988: 422-425 |
1987 |
3 | | Patrizia Asirelli,
Paola Inverardi:
Enhancing Configuration Facilities in Software Development: A Logic Approach.
ESEC 1987: 55-63 |
1985 |
2 | | Patrizia Asirelli,
Michele de Santis,
Maurizio Martelli:
Integrity Constraints for Logic Databases.
J. Log. Program. 2(3): 221-232 (1985) |
1979 |
1 | | Patrizia Asirelli,
Pierpaolo Degano,
Giorgio Levi,
Alberto Martelli,
Ugo Montanari,
Giuliano Pacini,
Franco Sirovich,
Franco Turini:
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
ICSE 1979: 251-264 |