Véronique Benzaken

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

Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon: Static and dynamic semantics of NoSQL languages. POPL 2013: 101-114

Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon: Static and dynamic semantics of NoSQL languages. CoRR abs/1303.1716 (2013)

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

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Optimizing XML querying using type-based document projection. CoRR abs/1104.2079 (2011)

Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren: XML Typechecking. Encyclopedia of Database Systems 2009: 3646-3650

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

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

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon: Pattern by Example: type-driven visual programming of XML queries. BDA 2007

Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou: Structured Materialized Views for XML Queries. VLDB 2007: 87-98

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. BDA 2006

Ioana Manolescu, Véronique Benzaken, Andrei Arion, Yannis Papakonstantinou: Structured Materialized Views for XML Queries. BDA 2006

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

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. VLDB 2006: 271-282

Véronique Benzaken, Giuseppe Castagna, Cédric Miachon: A Full Pattern-Based Paradigm for XML Query Processing. PADL 2005: 235-252

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

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

Véronique Benzaken (Ed.): 21èmes Journées Bases de Données Avancées, BDA 2005, Saint Malo, 17-20 octobre 2005, Actes (Informal Proceedings). 2005

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

Véronique Benzaken, Giuseppe Castagna, Alain Frisch: CDuce: an XML-centric general-purpose language. SIGPLAN Notices 38(9): 51-63 (2003)

Véronique Benzaken, Marwan Burelle, Giuseppe Castagna: Information Flow Security for XML Transformations. ASIAN 2003: 33-53

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

Alain Frisch, Giuseppe Castagna, Véronique Benzaken: Semantic Subtyping. LICS 2002: 137-146

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

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

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

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

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

Véronique Benzaken, Xavier Schaefer: Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. BDA 1996: 119-138

Véronique Benzaken, Xavier Schaefer: Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. POS 1996: 72-87

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

Malcolm P. Atkinson, David Maier, Véronique Benzaken (Eds.): Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994. Workshops in Computing, Springer and British Computer Society 1995, isbn 3-540-19912-8

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

Véronique Benzaken: Object Store Engineering 2. POS 1994: 43-44

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-

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

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

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

Véronique Benzaken: Schema Manipulation and Optimisation. POS 1992: 222-223

Véronique Benzaken, Christophe Lécluse, Philippe Richard: Enforcing Integrity Constraints in Database Programming Languages. POS 1992: 282-299

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

Véronique Benzaken: An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. ICDT 1990: 126-140

Véronique Benzaken, Claude Delobel: Enhancing Performance in a Persistent Object Store: Clustering Strategies in O₂. POS 1990: 403-412

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

Véronique Benzaken, Claude Delobel, J. B. Ndala: Gestionnaires de mémoires et d'objets. BDA 1988: 233-266

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