| 1998 |
|---|
| 5 | EE | Véronique Benzaken,
Xavier Schaefer:
Static Management of Integrity in Object-Oriented Databases: Design and Implementation.
EDBT 1998: 311-325 |
| 1997 |
|---|
| 4 | EE | Véronique Benzaken,
Xavier Schaefer:
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers.
ECOOP 1997: 60-84 |
| 1996 |
|---|
| 3 | | Véronique Benzaken,
Xavier Schaefer:
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation.
BDA 1996: 119-138 |
| 2 | EE | Véronique Benzaken,
Xavier Schaefer:
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation.
POS 1996: 72-87 |
| 1994 |
|---|
| 1 | | Véronique Benzaken,
Anne Doucet,
Xavier Schaefer:
Integrity constraint checking optimization based on abstract interpretation.
BDA 1994 |
