Véronique Benzaken Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren: XML Typechecking. Encyclopedia of Database Systems 2009: 3646-3650
2008
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon: Pattern by example: type-driven visual programming of XML queries. PPDP 2008: 131-142
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain Frisch, Giuseppe Castagna, Véronique Benzaken: Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55(4): (2008)
2007
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon: Pattern by Example: type-driven visual programming of XML queries. BDA 2007
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou: Structured Materialized Views for XML Queries. VLDB 2007: 87-98
2006
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoana Manolescu, Véronique Benzaken, Andrei Arion, Yannis Papakonstantinou: Structured Materialized Views for XML Queries. BDA 2006
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. BDA 2006
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay: Algebra-Based Identification of Tree Patterns in XQuery. FQAS 2006: 13-25
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. VLDB 2006: 271-282
2005
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken: 21èmes Journées Bases de Données Avancées, BDA 2005, Saint Malo, 17-20 octobre 2005, Actes (Informal Proceedings). BDA 2005
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Cédric Miachon: A Full Pattern-Based Paradigm for XML Query Processing. PADL 2005: 235-252
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Arion, Véronique Benzaken, Ioana Manolescu, Ravi Vijay: ULoad: Choosing the Right Storage for Your XML Application. VLDB 2005: 1330-1333
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Arion, Véronique Benzaken, Ioana Manolescu: XML Access Modules: Towards Physical Data Independence in XML Databases. XIME-P 2005
2004
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Cédric Miachon: CQL: a pattern-based query language for XML. BDA 2004: 469-490
2003
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Marwan Burelle, Giuseppe Castagna: Information Flow Security for XML Transformations. ASIAN 2003: 33-53
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Alain Frisch: CDuce: an XML-centric general-purpose language. ICFP 2003: 51-63
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Alain Frisch: CDuce: an XML-centric general-purpose language. SIGPLAN Notices 38(9): 51-63 (2003)
2002
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain Frisch, Giuseppe Castagna, Véronique Benzaken: Semantic Subtyping. LICS 2002: 137-146
2000
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFanny 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
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVé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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Xavier Schaefer: Static Management of Integrity in Object-Oriented Databases: Design and Implementation. EDBT 1998: 311-325
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann: M-net Calculus Based Semantics for Triggers. ICATPN 1998: 306-325
1997
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Xavier Schaefer: Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. ECOOP 1997: 60-84
1996
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Xavier Schaefer: Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. BDA 1996: 119-138
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Xavier Schaefer: Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. POS 1996: 72-87
1995
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalcolm P. Atkinson, David Maier, Véronique Benzaken: Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994 Springer and British Computer Society 1995
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Anne Doucet: Thémis: A Database Programming Language Handling Integrity Constraints VLDB J. 4(3): 493-517 (1995)
1994
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Anne Doucet, Xavier Schaefer: Integrity constraint checking optimization based on abstract interpretation. BDA 1994
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken: Object Store Engineering 2. POS 1994: 43-44
1993
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Anne Doucet, P.-Y. Policella: Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis. BDA 1993: 425-
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Anne Doucet: Thémis: a database programming language with integrity constraints. DBPL 1993: 243-262
1992
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Anne Doucet: Enforcement tests generation for integrity constraints cheching based on simplification methods in object-oriented database systems. BDA 1992: 124-
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken: Schema Manipulation and Optimisation POS 1992: 222-223
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Christophe Lécluse, Philippe Richard: Enforcing Integrity Constraints in Database Programming Languages. POS 1992: 282-299
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVé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
1990
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken: Un modèle d'évaluation de stratégies de regroupement dans un SGBDOO. BDA 1990: 397-
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken: An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. ICDT 1990: 126-140
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Claude Delobel: Enhancing Performance in a Persistent Object Store: Clustering Strategies in O2. POS 1990: 403-412
1989
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Claude Delobel: Regroupement d'objets sur disque dans un système de bases de données. BDA 1989: 309-330
1988
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Claude Delobel, J. B. Ndala: Gestionnaires de mémoires et d'objets. BDA 1988: 233-266
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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

1Andrei Arion [29] [30] [34] [36] [37]
2Malcolm P. Atkinson [16]
3François Bancilhon [1]
4Gilles Barbedette [1]
5Marwan Burelle [27]
6Giuseppe Castagna [24] [25] [26] [27] [28] [31] [33] [35] [38] [39] [40] [41]
7Serenella Cerrito [22]
8Sophie Cluet [23]
9Dario Colazzo [33] [35] [38] [40]
10Claude Delobel [1] [2] [3] [4] [7]
11Anne Doucet [10] [11] [12] [14] [15]
12Guy Ferran [23]
13Christian Fiegel [23]
14Alain Frisch [24] [25] [26] [39]
15Sophie Gamerman [1]
16Gilbert Harrus [7]
17Haruo Hosoya [41]
18Nicolas Hugon [20]
19Hanna Klaudel [20]
20Christophe Lécluse [1] [8]
21David Maier [16]
22Ioana Manolescu [29] [30] [34] [36] [37]
23Cédric Miachon [28] [31] [38] [40]
24J. B. Ndala [2]
25Kim Nguyen [33] [35]
26Yannis Papakonstantinou [34] [36] [37]
27Elisabeth Pelz [20]
28Patrick Pfeffer [1]
29Benjamin C. Pierce [41]
30P.-Y. Policella [12]
31Sébastien Praud [22]
32Philippe Richard [1] [8]
33Robert-C. Riemann [20]
34Xavier Schaefer [14] [17] [18] [19] [21]
35Stijn Vansummeren [41]
36Fernando Vélez [1]
37Ravi Vijay [30] [34]
38Fanny Wattez [23]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)