Véronique Benzaken

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

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

Colors in the list of coauthors