| 2021 | CPP | A Coq formalization of data provenance. | Vronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rbecca Zucchini |
| 2019 | CPP | A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra. | Vronique Benzaken, Evelyne Contejean |
| 2018 | ITP | A Coq Formalisation of SQL's Execution Engines. | Vronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins |
| 2018 | WWW | Language-Integrated Queries: a BOLDR Approach. | Vronique Benzaken, Giuseppe Castagna, Laurent Dayns, Julien Lopez, Kim Nguyen, Romain Vernoux |
| 2017 | ITP | Certifying Standard and Stratified Datalog Inference Engines in SSReflect. | Vronique Benzaken, Evelyne Contejean, Stefania Dumbrava |
| 2015 | ESOP | A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. | Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Vronique Benzaken |
| 2014 | ESOP | A Coq Formalization of the Relational Data Model. | Vronique Benzaken, Evelyne Contejean, Stefania Dumbrava |
| 2013 | POPL | Static and dynamic semantics of NoSQL languages. | Vronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jrme Simon |
| 2011 | ICDE | EdiFlow: Data-intensive interactive workflows for visual analytics. | Vronique Benzaken, Jean-Daniel Fekete, Pierre-Luc Hemery, Wael Khemiri, Ioana Manolescu |
| 2008 | PPDP | Pattern by example: type-driven visual programming of XML queries. | Vronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cdric Miachon |
| 2007 | VLDB | Structured Materialized Views for XML Queries. | Andrei Arion, Vronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou |
| 2006 | FQAS | Algebra-Based Identification of Tree Patterns in XQuery. | Andrei Arion, Vronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay |
| 2006 | VLDB | Type-Based XML Projection. | Vronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen |
| 2005 | PADL | A Full Pattern-Based Paradigm for XML Query Processing. | Vronique Benzaken, Giuseppe Castagna, Cdric Miachon |
| 2005 | VLDB | ULoad: Choosing the Right Storage for Your XML Application. | Andrei Arion, Vronique Benzaken, Ioana Manolescu, Ravi Vijay |
| 2003 | ICFP | CDuce: an XML-centric general-purpose language. | Vronique Benzaken, Giuseppe Castagna, Alain Frisch |
| 2002 | LICS | Semantic Subtyping. | Alain Frisch, Giuseppe Castagna, Vronique Benzaken |
| 2000 | SIGMOD | Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way. | Fanny Wattez, Sophie Cluet, Vronique Benzaken, Guy Ferran, Christian Fiegel |
| 1998 | EDBT | Static Management of Integrity in Object-Oriented Databases: Design and Implementation. | Vronique Benzaken, Xavier Schaefer |
| 1997 | ECOOP | Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. | Vronique Benzaken, Xavier Schaefer |
| 1990 | ICDT | An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. | Vronique Benzaken |