| 2008 |
|---|
| 39 | EE | Véronique Benzaken,
Giuseppe Castagna,
Dario Colazzo,
Cédric Miachon:
Pattern by example: type-driven visual programming of XML queries.
PPDP 2008: 131-142 |
| 38 | EE | Alain Frisch,
Giuseppe Castagna,
Véronique Benzaken:
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.
J. ACM 55(4): (2008) |
| 2007 |
|---|
| 37 | | Véronique Benzaken,
Giuseppe Castagna,
Dario Colazzo,
Cédric Miachon:
Pattern by Example: type-driven visual programming of XML queries.
BDA 2007 |
| 36 | EE | Andrei Arion,
Véronique Benzaken,
Ioana Manolescu,
Yannis Papakonstantinou:
Structured Materialized Views for XML Queries.
VLDB 2007: 87-98 |
| 2006 |
|---|
| 35 | | Ioana Manolescu,
Véronique Benzaken,
Andrei Arion,
Yannis Papakonstantinou:
Structured Materialized Views for XML Queries.
BDA 2006 |
| 34 | | Véronique Benzaken,
Giuseppe Castagna,
Dario Colazzo,
Kim Nguyen:
Type-Based XML Projection.
BDA 2006 |
| 33 | EE | Andrei Arion,
Véronique Benzaken,
Ioana Manolescu,
Yannis Papakonstantinou,
Ravi Vijay:
Algebra-Based Identification of Tree Patterns in XQuery.
FQAS 2006: 13-25 |
| 32 | EE | Véronique Benzaken,
Giuseppe Castagna,
Dario Colazzo,
Kim Nguyen:
Type-Based XML Projection.
VLDB 2006: 271-282 |
| 2005 |
|---|
| 31 | | Véronique Benzaken:
21èmes Journées Bases de Données Avancées, BDA 2005, Saint Malo, 17-20 octobre 2005, Actes (Informal Proceedings).
BDA 2005 |
| 30 | EE | Véronique Benzaken,
Giuseppe Castagna,
Cédric Miachon:
A Full Pattern-Based Paradigm for XML Query Processing.
PADL 2005: 235-252 |
| 29 | EE | Andrei Arion,
Véronique Benzaken,
Ioana Manolescu,
Ravi Vijay:
ULoad: Choosing the Right Storage for Your XML Application.
VLDB 2005: 1330-1333 |
| 28 | EE | Andrei Arion,
Véronique Benzaken,
Ioana Manolescu:
XML Access Modules: Towards Physical Data Independence in XML Databases.
XIME-P 2005 |
| 2004 |
|---|
| 27 | | Véronique Benzaken,
Giuseppe Castagna,
Cédric Miachon:
CQL: a pattern-based query language for XML.
BDA 2004: 469-490 |
| 2003 |
|---|
| 26 | EE | Véronique Benzaken,
Marwan Burelle,
Giuseppe Castagna:
Information Flow Security for XML Transformations.
ASIAN 2003: 33-53 |
| 25 | EE | Véronique Benzaken,
Giuseppe Castagna,
Alain Frisch:
CDuce: an XML-centric general-purpose language.
ICFP 2003: 51-63 |
| 2002 |
|---|
| 24 | EE | Alain Frisch,
Giuseppe Castagna,
Véronique Benzaken:
Semantic Subtyping.
LICS 2002: 137-146 |
| 2000 |
|---|
| 23 | EE | Fanny Wattez,
Sophie Cluet,
Véronique Benzaken,
Guy Ferran,
Christian Fiegel:
Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way.
SIGMOD Conference 2000: 510-511 |
| 1999 |
|---|
| 22 | | Véronique Benzaken,
Serenella Cerrito,
Sébastien Praud:
Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique.
Proc. 15èmes Journées Bases de Données Avancées, BDA 1999: 283-301 |
| 1998 |
|---|
| 21 | EE | Véronique Benzaken,
Xavier Schaefer:
Static Management of Integrity in Object-Oriented Databases: Design and Implementation.
EDBT 1998: 311-325 |
| 20 | EE | Véronique Benzaken,
Nicolas Hugon,
Hanna Klaudel,
Elisabeth Pelz,
Robert-C. Riemann:
M-net Calculus Based Semantics for Triggers.
ICATPN 1998: 306-325 |
| 1997 |
|---|
| 19 | EE | Véronique Benzaken,
Xavier Schaefer:
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers.
ECOOP 1997: 60-84 |
| 1996 |
|---|
| 18 | | Véronique Benzaken,
Xavier Schaefer:
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation.
BDA 1996: 119-138 |
| 17 | EE | Véronique Benzaken,
Xavier Schaefer:
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation.
POS 1996: 72-87 |
| 1995 |
|---|
| 16 | | Malcolm P. Atkinson,
David Maier,
Véronique Benzaken:
Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994
Springer and British Computer Society 1995 |
| 15 | EE | Véronique Benzaken,
Anne Doucet:
Thémis: A Database Programming Language Handling Integrity Constraints
VLDB J. 4(3): 493-517 (1995) |
| 1994 |
|---|
| 14 | | Véronique Benzaken,
Anne Doucet,
Xavier Schaefer:
Integrity constraint checking optimization based on abstract interpretation.
BDA 1994 |
| 13 | EE | Véronique Benzaken:
Object Store Engineering 2.
POS 1994: 43-44 |
| 1993 |
|---|
| 12 | | Véronique Benzaken,
Anne Doucet,
P.-Y. Policella:
Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis.
BDA 1993: 425- |
| 11 | EE | Véronique Benzaken,
Anne Doucet:
Thémis: a database programming language with integrity constraints.
DBPL 1993: 243-262 |
| 1992 |
|---|
| 10 | | Véronique Benzaken,
Anne Doucet:
Enforcement tests generation for integrity constraints cheching based on simplification methods in object-oriented database systems.
BDA 1992: 124- |
| 9 | EE | Véronique Benzaken:
Schema Manipulation and Optimisation
POS 1992: 222-223 |
| 8 | EE | Véronique Benzaken,
Christophe Lécluse,
Philippe Richard:
Enforcing Integrity Constraints in Database Programming Languages.
POS 1992: 282-299 |
| 7 | | Véronique Benzaken,
Claude Delobel,
Gilbert Harrus:
Clustering Strategies in O2: An Overview.
Building an Object-Oriented Database System, The Story of O2 1992: 385-410 |
| 1990 |
|---|
| 6 | | Véronique Benzaken:
Un modèle d'évaluation de stratégies de regroupement dans un SGBDOO.
BDA 1990: 397- |
| 5 | EE | Véronique Benzaken:
An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System.
ICDT 1990: 126-140 |
| 4 | EE | Véronique Benzaken,
Claude Delobel:
Enhancing Performance in a Persistent Object Store: Clustering Strategies in O2.
POS 1990: 403-412 |
| 1989 |
|---|
| 3 | | Véronique Benzaken,
Claude Delobel:
Regroupement d'objets sur disque dans un système de bases de données.
BDA 1989: 309-330 |
| 1988 |
|---|
| 2 | | Véronique Benzaken,
Claude Delobel,
J. B. Ndala:
Gestionnaires de mémoires et d'objets.
BDA 1988: 233-266 |
| 1 | | François Bancilhon,
Gilles Barbedette,
Véronique Benzaken,
Claude Delobel,
Sophie Gamerman,
Christophe Lécluse,
Patrick Pfeffer,
Philippe Richard,
Fernando Vélez:
The Design and Implementation of O2, an Object-Oriented Database Systems.
OODBS 1988: 1-32 |
