Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Véronique Benzaken
2010 – today
- 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)
2000 – 2009
- 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
1990 – 1999
- 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
1980 – 1989
- 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-27 19:56 CEST by the dblp team