Véronique Benzaken

55 papers A* 6A 5B 5C 3Journal 7Unranked 24

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Translating Canonical SQL to Imperative Code in Coq. CoRR Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2022	J	`jnl`	Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2021	B	`conf`	A Coq formalization of data provenance. CPP Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini
2019	B	`conf`	A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra. CPP Véronique Benzaken, Evelyne Contejean
2018	B	`conf`	A Coq Formalisation of SQL's Execution Engines. ITP Véronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins
2018	—	`conf`	Language-Integrated Queries: a BOLDR Approach. WWW (Companion Volume) Véronique Benzaken, Giuseppe Castagna, Laurent Daynès, Julien Lopez, Kim Nguyen, Romain Vernoux
2018	—	`ch.`	XML Typechecking. Encyclopedia of Database Systems (2nd ed.) Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren
2017	B	`conf`	Certifying Standard and Stratified Datalog Inference Engines in SSReflect. ITP Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava
2015	A	`conf`	A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. ESOP Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken
2014	A	`conf`	A Coq Formalization of the Relational Data Model. ESOP Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava
2013	J	`jnl`	Optimizing XML querying using type-based document projection. ACM Trans. Database Syst. Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2013	J	`jnl`	Static and dynamic semantics of NoSQL languages CoRR Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
2013	A*	`conf`	Static and dynamic semantics of NoSQL languages. POPL Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
2011	A*	`conf`	EdiFlow: Data-intensive interactive workflows for visual analytics. ICDE Véronique Benzaken, Jean-Daniel Fekete, Pierre-Luc Hemery, Wael Khemiri, Ioana Manolescu
2011	J	`jnl`	Optimizing XML querying using type-based document projection CoRR Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2009	—	`ch.`	XML Typechecking. Encyclopedia of Database Systems Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren
2008	C	`conf`	Pattern by example: type-driven visual programming of XML queries. PPDP Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
2008	J	`jnl`	Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. J. ACM Alain Frisch, Giuseppe Castagna, Véronique Benzaken
2007	—	`conf`	Pattern by Example: type-driven visual programming of XML queries. BDA Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
2007	A*	`conf`	Structured Materialized Views for XML Queries. VLDB Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou
2006	C	`conf`	Algebra-Based Identification of Tree Patterns in XQuery. FQAS Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay
2006	—	`conf`	Structured Materialized Views for XML Queries. BDA Ioana Manolescu, Véronique Benzaken, Andrei Arion, Yannis Papakonstantinou
2006	—	`conf`	Type-Based XML Projection. BDA Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2006	A*	`conf`	Type-Based XML Projection. VLDB Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2005	—	`ed.`	21èmes Journées Bases de Données Avancées, BDA 2005, Saint Malo, France, 17-20 octobre 2005, Actes (Informal Proceedings). BDA Véronique Benzaken
2005	C	`conf`	A Full Pattern-Based Paradigm for XML Query Processing. PADL Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
2005	A*	`conf`	ULoad: Choosing the Right Storage for Your XML Application. VLDB Andrei Arion, Véronique Benzaken, Ioana Manolescu, Ravi Vijay
2005	—	`conf`	XML Access Modules: Towards Physical Data Independence in XML Databases. XIME-P Andrei Arion, Véronique Benzaken, Ioana Manolescu
2004	—	`conf`	CQL: a pattern-based query language for XML. BDA Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
2003	A	`conf`	CDuce: an XML-centric general-purpose language. ICFP Véronique Benzaken, Giuseppe Castagna, Alain Frisch
2003	—	`conf`	Information Flow Security for XML Transformations. ASIAN Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
2002	A*	`conf`	Semantic Subtyping. LICS Alain Frisch, Giuseppe Castagna, Véronique Benzaken
2000	—	`conf`	Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way. SIGMOD Conference Fanny Wattez, Sophie Cluet, Véronique Benzaken, Guy Ferran, Christian Fiegel
1999	—	`conf`	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 Véronique Benzaken, Serenella Cerrito, Sébastien Praud
1998	—	`conf`	M-net Calculus Based Semantics for Triggers. ICATPN Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
1998	B	`conf`	Static Management of Integrity in Object-Oriented Databases: Design and Implementation. EDBT Véronique Benzaken, Xavier Schaefer
1997	A	`conf`	Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. ECOOP Véronique Benzaken, Xavier Schaefer
1996	—	`conf`	Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. BDA Véronique Benzaken, Xavier Schaefer
1996	—	`conf`	Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. POS Véronique Benzaken, Xavier Schaefer
1995	—	`ed.`	Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994 POS Malcolm P. Atkinson, David Maier, Véronique Benzaken
1995	J	`jnl`	Thémis: A Database Programming Language Handling Integrity Constraints VLDB J. Véronique Benzaken, Anne Doucet
1994	—	`conf`	Integrity constraint checking optimization based on abstract interpretation. BDA Véronique Benzaken, Anne Doucet, Xavier Schaefer
1994	—	`conf`	Object Store Engineering 2. POS Véronique Benzaken
1993	—	`conf`	Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis. BDA Véronique Benzaken, Anne Doucet, P.-Y. Policella
1993	—	`conf`	Thémis: a database programming language with integrity constraints. DBPL Véronique Benzaken, Anne Doucet
1992	—	`ch.`	Clustering Strategies in O2: An Overview. Building an Object-Oriented Database System, The Story of O2 Véronique Benzaken, Claude Delobel, Gilbert Harrus
1992	—	`conf`	Enforcement tests generation for integrity constraints cheching based on simplification methods in object-oriented database systems. BDA Véronique Benzaken, Anne Doucet
1992	—	`conf`	Enforcing Integrity Constraints in Database Programming Languages. POS Véronique Benzaken, Christophe Lécluse, Philippe Richard
1992	—	`conf`	Schema Manipulation and Optimisation POS Véronique Benzaken
1990	A	`conf`	An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. ICDT Véronique Benzaken
1990	—	`conf`	Enhancing Performance in a Persistent Object Store: Clustering Strategies in O POS Véronique Benzaken, Claude Delobel
1990	—	`conf`	Un modèle d'évaluation de stratégies de regroupement dans un SGBDOO. BDA Véronique Benzaken
1989	—	`conf`	Regroupement d'objets sur disque dans un système de bases de données. BDA Véronique Benzaken, Claude Delobel
1988	—	`conf`	Gestionnaires de mémoires et d'objets. BDA Véronique Benzaken, Claude Delobel, J. B. Ndala
1988	—	`conf`	The Design and Implementation of O OODBS François Bancilhon, Gilles Barbedette, Véronique Benzaken, Claude Delobel, Sophie Gamerman, Christophe Lécluse, Patrick Pfeffer, Philippe Richard, Fernando Vélez