Gestionnaires de mémoires et d'objets. - Véronique Benzaken; Claude Delobel; J. B. Ndala (BDA, 1988)

The Design and Implementation of O2, an Object-Oriented Database Systems. - François Bancilhon; Gilles Barbedette; Véronique Benzaken; Claude Delobel; Sophie Gamerman; Christophe Lécluse; Patrick Pfeffer; Philippe Richard; Fernando Vélez (OODBS, 1988)

Regroupement d'objets sur disque dans un système de bases de données. - Véronique Benzaken; Claude Delobel (BDA, 1989)

Un modèle d'évaluation de stratégies de regroupement dans un SGBDOO. - Véronique Benzaken (BDA, 1990)

An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. - Véronique Benzaken (ICDT, 1990)

Enhancing Performance in a Persistent Object Store: Clustering Strategies in O2. - Véronique Benzaken; Claude Delobel (POS, 1990)

Clustering Strategies in O2: An Overview. - Véronique Benzaken; Claude Delobel; Gilbert Harrus (Building an Object-Oriented Database System, The Story of O2, 1992)

Enforcement tests generation for integrity constraints cheching based on simplification methods in object-oriented database systems. - Véronique Benzaken; Anne Doucet (BDA, 1992)

Schema Manipulation and Optimisation - Véronique Benzaken (POS, 1992)

Enforcing Integrity Constraints in Database Programming Languages. - Véronique Benzaken; Christophe Lécluse; Philippe Richard (POS, 1992)

Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis. - Véronique Benzaken; Anne Doucet; P.-Y. Policella (BDA, 1993)

Thémis: a database programming language with integrity constraints. - Véronique Benzaken; Anne Doucet (DBPL, 1993)

Integrity constraint checking optimization based on abstract interpretation. - Véronique Benzaken; Anne Doucet; Xavier Schaefer (BDA, 1994)

Object Store Engineering 2. - Véronique Benzaken (POS, 1994)

Thémis: A Database Programming Language Handling Integrity Constraints - Véronique Benzaken; Anne Doucet (VLDB J., 1995)

Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. - Véronique Benzaken; Xavier Schaefer (POS, 1996)

Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. - Véronique Benzaken; Xavier Schaefer (ECOOP, 1997)

M-net Calculus Based Semantics for Triggers. - Véronique Benzaken; Nicolas Hugon; Hanna Klaudel; Elisabeth Pelz; Robert-C. Riemann (ICATPN, 1998)

Static Management of Integrity in Object-Oriented Databases: Design and Implementation. - Véronique Benzaken; Xavier Schaefer (EDBT, 1998)

Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique. - Véronique Benzaken; Serenella Cerrito; Sébastien Praud (Proc. 15èmes Journées Bases de Données Avancées, BDA, 1999)

Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way. - Fanny Wattez; Sophie Cluet; Véronique Benzaken; Guy Ferran; Christian Fiegel (SIGMOD Conference, 2000)

Semantic Subtyping. - Alain Frisch; Giuseppe Castagna; Véronique Benzaken (LICS, 2002)

Information Flow Security for XML Transformations. - Véronique Benzaken; Marwan Burelle; Giuseppe Castagna (ASIAN, 2003)

CDuce: an XML-centric general-purpose language. - Véronique Benzaken; Giuseppe Castagna; Alain Frisch (ICFP, 2003)

CQL: a pattern-based query language for XML. - Véronique Benzaken; Giuseppe Castagna; Cédric Miachon (BDA, 2004)

A Full Pattern-Based Paradigm for XML Query Processing. - Véronique Benzaken; Giuseppe Castagna; Cédric Miachon (PADL, 2005)

ULoad: Choosing the Right Storage for Your XML Application. - Andrei Arion; Véronique Benzaken; Ioana Manolescu; Ravi Vijay (VLDB, 2005)

XML Access Modules: Towards Physical Data Independence in XML Databases. - Andrei Arion; Véronique Benzaken; Ioana Manolescu (XIME-P, 2005)

Algebra-Based Identification of Tree Patterns in XQuery. - Andrei Arion; Véronique Benzaken; Ioana Manolescu; Yannis Papakonstantinou; Ravi Vijay (FQAS, 2006)

Type-Based XML Projection. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Kim Nguyen 001 (VLDB, 2006)

Structured Materialized Views for XML Queries. - Andrei Arion; Véronique Benzaken; Ioana Manolescu; Yannis Papakonstantinou (VLDB, 2007)

Pattern by example: type-driven visual programming of XML queries. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Cédric Miachon (PPDP, 2008)

Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. - Alain Frisch; Giuseppe Castagna; Véronique Benzaken (J. ACM, 2008)

XML Typechecking. - Véronique Benzaken; Giuseppe Castagna; Haruo Hosoya; Benjamin C. Pierce; Stijn Vansummeren (Encyclopedia of Database Systems, 2009)

EdiFlow: Data-intensive interactive workflows for visual analytics. - Véronique Benzaken; Jean-Daniel Fekete; Pierre-Luc Hemery; Wael Khemiri; Ioana Manolescu (ICDE, 2011)

Static and dynamic semantics of NoSQL languages. - Véronique Benzaken; Giuseppe Castagna; Kim Nguyen 001; Jérôme Siméon (POPL, 2013)

Optimizing XML querying using type-based document projection. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Kim Nguyen 001 (ACM Trans. Database Syst., 2013)

A Coq Formalization of the Relational Data Model. - Véronique Benzaken; Evelyne Contejean; Stefania Dumbrava (ESOP, 2014)

A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. - Giuseppe Castagna; Hyeonseung Im; Kim Nguyen 001; Véronique Benzaken (ESOP, 2015)

Certifying Standard and Stratified Datalog Inference Engines in SSReflect. - Véronique Benzaken; Evelyne Contejean; Stefania Dumbrava (ITP, 2017)

A Coq Formalisation of SQL's Execution Engines. - Véronique Benzaken; Evelyne Contejean; Chantal Keller; Eunice Martins (ITP, 2018)

Language-Integrated Queries: a BOLDR Approach. - Véronique Benzaken; Giuseppe Castagna; Laurent Daynès; Julien Lopez; Kim Nguyen 001; Romain Vernoux (WWW (Companion Volume), 2018)

XML Typechecking. - Véronique Benzaken; Giuseppe Castagna; Haruo Hosoya; Benjamin C. Pierce; Stijn Vansummeren (Encyclopedia of Database Systems (2nd ed.), 2018)

A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra. - Véronique Benzaken; Evelyne Contejean (CPP, 2019)

A Coq formalization of data provenance. - Véronique Benzaken; Sarah Cohen-Boulakia; Evelyne Contejean; Chantal Keller; Rébecca Zucchini (CPP, 2021)

Translating canonical SQL to imperative code in Coq. - Véronique Benzaken; Evelyne Contejean; Mohammed Houssem Hachmaoui; Chantal Keller; Louis Mandel; Avraham Shinnar; Jérôme Siméon (Proc. ACM Program. Lang., 2022)