| |
| * | 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 | |
| 1 | Véronique Benzaken | [1] [2] [3] [4] [5] |
| 2 | Anne Doucet | [1] |