| 2013 | ||
|---|---|---|
| j4 | 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) | |
| c36 | Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon: Static and dynamic semantics of NoSQL languages. POPL 2013: 101-114 | |
| i2 | Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon: Static and dynamic semantics of NoSQL languages. CoRR abs/1303.1716 (2013) | |
| 2011 | ||
| c35 | 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 | |
| i1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Optimizing XML querying using type-based document projection. CoRR abs/1104.2079 (2011) | |
| 2009 | ||
| r1 | Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren: XML Typechecking. Encyclopedia of Database Systems 2009: 3646-3650 | |
| 2008 | ||
| j3 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken: Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55(4) (2008) | |
| c34 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon: Pattern by example: type-driven visual programming of XML queries. PPDP 2008: 131-142 | |
| 2007 | ||
| c33 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon: Pattern by Example: type-driven visual programming of XML queries. BDA 2007 | |
| c32 | Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou: Structured Materialized Views for XML Queries. VLDB 2007: 87-98 | |
| 2006 | ||
| c31 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. BDA 2006 | |
| c30 | Ioana Manolescu, Véronique Benzaken, Andrei Arion, Yannis Papakonstantinou: Structured Materialized Views for XML Queries. BDA 2006 | |
| c29 | Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay: Algebra-Based Identification of Tree Patterns in XQuery. FQAS 2006: 13-25 | |
| c28 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. VLDB 2006: 271-282 | |
| 2005 | ||
| c27 | Véronique Benzaken, Giuseppe Castagna, Cédric Miachon: A Full Pattern-Based Paradigm for XML Query Processing. PADL 2005: 235-252 | |
| c26 | Andrei Arion, Véronique Benzaken, Ioana Manolescu, Ravi Vijay: ULoad: Choosing the Right Storage for Your XML Application. VLDB 2005: 1330-1333 | |
| c25 | Andrei Arion, Véronique Benzaken, Ioana Manolescu: XML Access Modules: Towards Physical Data Independence in XML Databases. XIME-P 2005 | |
| e2 | 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 | |
| 2004 | ||
| c24 | Véronique Benzaken, Giuseppe Castagna, Cédric Miachon: CQL: a pattern-based query language for XML. BDA 2004: 469-490 | |
| 2003 | ||
| j2 | Véronique Benzaken, Giuseppe Castagna, Alain Frisch: CDuce: an XML-centric general-purpose language. SIGPLAN Notices 38(9): 51-63 (2003) | |
| c23 | Véronique Benzaken, Marwan Burelle, Giuseppe Castagna: Information Flow Security for XML Transformations. ASIAN 2003: 33-53 | |
| c22 | Véronique Benzaken, Giuseppe Castagna, Alain Frisch: CDuce: an XML-centric general-purpose language. ICFP 2003: 51-63 | |
| 2002 | ||
| c21 | ||
| 2000 | ||
| c20 | 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 | ||
| c19 | 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 | ||
| c18 | Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann: M-net Calculus Based Semantics for Triggers. ICATPN 1998: 306-325 | |
| c17 | Véronique Benzaken, Xavier Schaefer: Static Management of Integrity in Object-Oriented Databases: Design and Implementation. EDBT 1998: 311-325 | |
| 1997 | ||
| c16 | Véronique Benzaken, Xavier Schaefer: Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. ECOOP 1997: 60-84 | |
| 1996 | ||
| c15 | Véronique Benzaken, Xavier Schaefer: Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. BDA 1996: 119-138 | |
| c14 | Véronique Benzaken, Xavier Schaefer: Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. POS 1996: 72-87 | |
| 1995 | ||
| j1 | Véronique Benzaken, Anne Doucet: Thémis: A Database Programming Language Handling Integrity Constraints. VLDB J. 4(3): 493-517 (1995) | |
| e1 | 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 | |
| 1994 | ||
| c13 | Véronique Benzaken, Anne Doucet, Xavier Schaefer: Integrity constraint checking optimization based on abstract interpretation. BDA 1994 | |
| c12 | ||
| 1993 | ||
| c11 | 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- | |
| c10 | Véronique Benzaken, Anne Doucet: Thémis: a database programming language with integrity constraints. DBPL 1993: 243-262 | |
| 1992 | ||
| p1 | 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 | |
| c9 | Véronique Benzaken, Anne Doucet: Enforcement tests generation for integrity constraints cheching based on simplification methods in object-oriented database systems. BDA 1992: 124- | |
| c8 | ||
| c7 | Véronique Benzaken, Christophe Lécluse, Philippe Richard: Enforcing Integrity Constraints in Database Programming Languages. POS 1992: 282-299 | |
| 1990 | ||
| c6 | Véronique Benzaken: Un modèle d'évaluation de stratégies de regroupement dans un SGBDOO. BDA 1990: 397- | |
| c5 | Véronique Benzaken: An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. ICDT 1990: 126-140 | |
| c4 | Véronique Benzaken, Claude Delobel: Enhancing Performance in a Persistent Object Store: Clustering Strategies in O2. POS 1990: 403-412 | |
| 1989 | ||
| c3 | Véronique Benzaken, Claude Delobel: Regroupement d'objets sur disque dans un système de bases de données. BDA 1989: 309-330 | |
| 1988 | ||
| c2 | Véronique Benzaken, Claude Delobel, J. B. Ndala: Gestionnaires de mémoires et d'objets. BDA 1988: 233-266 | |
| c1 | 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 | |
Colors in the list of coauthors
Last update Thu May 23 21:06:16 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page