BibTeX records: Véronique Benzaken

download as .bib file

@article{DBLP:journals/pacmpl/BenzakenCHKMSS22,
  author       = {V{\'{e}}ronique Benzaken and
                  Evelyne Contejean and
                  Mohammed Houssem Hachmaoui and
                  Chantal Keller and
                  Louis Mandel and
                  Avraham Shinnar and
                  J{\'{e}}r{\^{o}}me Sim{\'{e}}on},
  title        = {Translating canonical {SQL} to imperative code in Coq},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{OOPSLA1}},
  pages        = {1--27},
  year         = {2022},
  url          = {https://doi.org/10.1145/3527327},
  doi          = {10.1145/3527327},
  timestamp    = {Tue, 10 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/BenzakenCHKMSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-08941,
  author       = {V{\'{e}}ronique Benzaken and
                  Evelyne Contejean and
                  Mohammed Houssem Hachmaoui and
                  Chantal Keller and
                  Louis Mandel and
                  Avraham Shinnar and
                  J{\'{e}}r{\^{o}}me Sim{\'{e}}on},
  title        = {Translating Canonical {SQL} to Imperative Code in Coq},
  journal      = {CoRR},
  volume       = {abs/2203.08941},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.08941},
  doi          = {10.48550/ARXIV.2203.08941},
  eprinttype    = {arXiv},
  eprint       = {2203.08941},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-08941.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BenzakenCCKZ21,
  author       = {V{\'{e}}ronique Benzaken and
                  Sarah Cohen{-}Boulakia and
                  Evelyne Contejean and
                  Chantal Keller and
                  R{\'{e}}becca Zucchini},
  editor       = {Catalin Hritcu and
                  Andrei Popescu},
  title        = {A Coq formalization of data provenance},
  booktitle    = {{CPP} '21: 10th {ACM} {SIGPLAN} International Conference on Certified
                  Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021},
  pages        = {152--162},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3437992.3439920},
  doi          = {10.1145/3437992.3439920},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/BenzakenCCKZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BenzakenC19,
  author       = {V{\'{e}}ronique Benzaken and
                  Evelyne Contejean},
  editor       = {Assia Mahboubi and
                  Magnus O. Myreen},
  title        = {A Coq mechanised formal semantics for realistic {SQL} queries: formally
                  reconciling {SQL} and bag relational algebra},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
                  Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {249--261},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3293880.3294107},
  doi          = {10.1145/3293880.3294107},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/BenzakenC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BenzakenCKM18,
  author       = {V{\'{e}}ronique Benzaken and
                  Evelyne Contejean and
                  Chantal Keller and
                  Eunice Martins},
  editor       = {Jeremy Avigad and
                  Assia Mahboubi},
  title        = {A Coq Formalisation of SQL's Execution Engines},
  booktitle    = {Interactive Theorem Proving - 9th International Conference, {ITP}
                  2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
                  UK, July 9-12, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10895},
  pages        = {88--107},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94821-8\_6},
  doi          = {10.1007/978-3-319-94821-8\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/BenzakenCKM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BenzakenCDL0V18,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Laurent Dayn{\`{e}}s and
                  Julien Lopez and
                  Kim Nguyen and
                  Romain Vernoux},
  editor       = {Pierre{-}Antoine Champin and
                  Fabien Gandon and
                  Mounia Lalmas and
                  Panagiotis G. Ipeirotis},
  title        = {Language-Integrated Queries: a {BOLDR} Approach},
  booktitle    = {Companion of the The Web Conference 2018 on The Web Conference 2018,
                  {WWW} 2018, Lyon , France, April 23-27, 2018},
  pages        = {711--719},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3184558.3185973},
  doi          = {10.1145/3184558.3185973},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/BenzakenCDL0V18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/BenzakenCHPV18,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Haruo Hosoya and
                  Benjamin C. Pierce and
                  Stijn Vansummeren},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {{XML} Typechecking},
  booktitle    = {Encyclopedia of Database Systems, Second Edition},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-1-4614-8265-9\_788},
  doi          = {10.1007/978-1-4614-8265-9\_788},
  timestamp    = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl       = {https://dblp.org/rec/reference/db/BenzakenCHPV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BenzakenCD17,
  author       = {V{\'{e}}ronique Benzaken and
                  Evelyne Contejean and
                  Stefania Dumbrava},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Certifying Standard and Stratified Datalog Inference Engines in SSReflect},
  booktitle    = {Interactive Theorem Proving - 8th International Conference, {ITP}
                  2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10499},
  pages        = {171--188},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66107-0\_12},
  doi          = {10.1007/978-3-319-66107-0\_12},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/BenzakenCD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CastagnaI0B15,
  author       = {Giuseppe Castagna and
                  Hyeonseung Im and
                  Kim Nguyen and
                  V{\'{e}}ronique Benzaken},
  editor       = {Jan Vitek},
  title        = {A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern
                  Matching Approaches},
  booktitle    = {Programming Languages and Systems - 24th European Symposium on Programming,
                  {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9032},
  pages        = {232--256},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46669-8\_10},
  doi          = {10.1007/978-3-662-46669-8\_10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/CastagnaI0B15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BenzakenCD14,
  author       = {V{\'{e}}ronique Benzaken and
                  Evelyne Contejean and
                  Stefania Dumbrava},
  editor       = {Zhong Shao},
  title        = {A Coq Formalization of the Relational Data Model},
  booktitle    = {Programming Languages and Systems - 23rd European Symposium on Programming,
                  {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
                  2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8410},
  pages        = {189--208},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54833-8\_11},
  doi          = {10.1007/978-3-642-54833-8\_11},
  timestamp    = {Thu, 14 Oct 2021 10:31:33 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BenzakenCD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BenzakenCCN13,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Dario Colazzo and
                  Kim Nguyen},
  title        = {Optimizing {XML} querying using type-based document projection},
  journal      = {{ACM} Trans. Database Syst.},
  volume       = {38},
  number       = {1},
  pages        = {4},
  year         = {2013},
  url          = {https://doi.org/10.1145/2445583.2445587},
  doi          = {10.1145/2445583.2445587},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tods/BenzakenCCN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BenzakenCNS13,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Kim Nguyen and
                  J{\'{e}}r{\^{o}}me Sim{\'{e}}on},
  editor       = {Roberto Giacobazzi and
                  Radhia Cousot},
  title        = {Static and dynamic semantics of NoSQL languages},
  booktitle    = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
                  2013},
  pages        = {101--114},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2429069.2429083},
  doi          = {10.1145/2429069.2429083},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/BenzakenCNS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-1716,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Kim Nguyen and
                  J{\'{e}}r{\^{o}}me Sim{\'{e}}on},
  title        = {Static and dynamic semantics of NoSQL languages},
  journal      = {CoRR},
  volume       = {abs/1303.1716},
  year         = {2013},
  url          = {http://arxiv.org/abs/1303.1716},
  eprinttype    = {arXiv},
  eprint       = {1303.1716},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-1716.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/BenzakenFHKM11,
  author       = {V{\'{e}}ronique Benzaken and
                  Jean{-}Daniel Fekete and
                  Pierre{-}Luc Hemery and
                  Wael Khemiri and
                  Ioana Manolescu},
  editor       = {Serge Abiteboul and
                  Klemens B{\"{o}}hm and
                  Christoph Koch and
                  Kian{-}Lee Tan},
  title        = {EdiFlow: Data-intensive interactive workflows for visual analytics},
  booktitle    = {Proceedings of the 27th International Conference on Data Engineering,
                  {ICDE} 2011, April 11-16, 2011, Hannover, Germany},
  pages        = {780--791},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICDE.2011.5767914},
  doi          = {10.1109/ICDE.2011.5767914},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/BenzakenFHKM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2079,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Dario Colazzo and
                  Kim Nguyen},
  title        = {Optimizing {XML} querying using type-based document projection},
  journal      = {CoRR},
  volume       = {abs/1104.2079},
  year         = {2011},
  url          = {http://arxiv.org/abs/1104.2079},
  eprinttype    = {arXiv},
  eprint       = {1104.2079},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1104-2079.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/BenzakenCHPV09,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Haruo Hosoya and
                  Benjamin C. Pierce and
                  Stijn Vansummeren},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {{XML} Typechecking},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {3646--3650},
  publisher    = {Springer {US}},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-0-387-39940-9\_788},
  doi          = {10.1007/978-0-387-39940-9\_788},
  timestamp    = {Sun, 02 Jun 2019 21:10:27 +0200},
  biburl       = {https://dblp.org/rec/reference/db/BenzakenCHPV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FrischCB08,
  author       = {Alain Frisch and
                  Giuseppe Castagna and
                  V{\'{e}}ronique Benzaken},
  title        = {Semantic subtyping: Dealing set-theoretically with function, union,
                  intersection, and negation types},
  journal      = {J. {ACM}},
  volume       = {55},
  number       = {4},
  pages        = {19:1--19:64},
  year         = {2008},
  url          = {https://doi.org/10.1145/1391289.1391293},
  doi          = {10.1145/1391289.1391293},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/FrischCB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BenzakenCCM08,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Dario Colazzo and
                  C{\'{e}}dric Miachon},
  editor       = {Sergio Antoy and
                  Elvira Albert},
  title        = {Pattern by example: type-driven visual programming of {XML} queries},
  booktitle    = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 15-17, 2008,
                  Valencia, Spain},
  pages        = {131--142},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1389449.1389466},
  doi          = {10.1145/1389449.1389466},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/BenzakenCCM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BenzakenCCM07,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Dario Colazzo and
                  C{\'{e}}dric Miachon},
  editor       = {Omar Boucelma and
                  Mohand{-}Said Hacid and
                  Th{\'{e}}r{\`{e}}se Libourel and
                  Jean{-}Marc Petit},
  title        = {Pattern by Example: type-driven visual programming of {XML} queries},
  booktitle    = {23{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  {BDA} 2007, Marseille, France, 23-26 Octobre 2007, Actes (Informal
                  Proceedings)},
  year         = {2007},
  timestamp    = {Fri, 22 Jun 2018 07:13:42 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/BenzakenCCM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/ArionBMP07,
  author       = {Andrei Arion and
                  V{\'{e}}ronique Benzaken and
                  Ioana Manolescu and
                  Yannis Papakonstantinou},
  editor       = {Christoph Koch and
                  Johannes Gehrke and
                  Minos N. Garofalakis and
                  Divesh Srivastava and
                  Karl Aberer and
                  Anand Deshpande and
                  Daniela Florescu and
                  Chee Yong Chan and
                  Venkatesh Ganti and
                  Carl{-}Christian Kanne and
                  Wolfgang Klas and
                  Erich J. Neuhold},
  title        = {Structured Materialized Views for {XML} Queries},
  booktitle    = {Proceedings of the 33rd International Conference on Very Large Data
                  Bases, University of Vienna, Austria, September 23-27, 2007},
  pages        = {87--98},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {http://www.vldb.org/conf/2007/papers/research/p87-arion.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vldb/ArionBMP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BenzakenCCN06,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Dario Colazzo and
                  Kim Nguyen},
  editor       = {Dominique Laurent},
  title        = {Type-Based {XML} Projection},
  booktitle    = {22{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  {BDA} 2006, Lille, France, 17-20 octobre 2006, Actes (Informal Proceedings)},
  year         = {2006},
  timestamp    = {Fri, 30 Jun 2023 14:51:37 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/BenzakenCCN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/ManolescuBAP06,
  author       = {Ioana Manolescu and
                  V{\'{e}}ronique Benzaken and
                  Andrei Arion and
                  Yannis Papakonstantinou},
  editor       = {Dominique Laurent},
  title        = {Structured Materialized Views for {XML} Queries},
  booktitle    = {22{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  {BDA} 2006, Lille, France, 17-20 octobre 2006, Actes (Informal Proceedings)},
  year         = {2006},
  timestamp    = {Thu, 14 Sep 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/ManolescuBAP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/ArionBMPV06,
  author       = {Andrei Arion and
                  V{\'{e}}ronique Benzaken and
                  Ioana Manolescu and
                  Yannis Papakonstantinou and
                  Ravi Vijay},
  editor       = {Henrik Legind Larsen and
                  Gabriella Pasi and
                  Daniel Ortiz Arroyo and
                  Troels Andreasen and
                  Henning Christiansen},
  title        = {Algebra-Based Identification of Tree Patterns in XQuery},
  booktitle    = {Flexible Query Answering Systems, 7th International Conference, {FQAS}
                  2006, Milan, Italy, June 7-10, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4027},
  pages        = {13--25},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11766254\_2},
  doi          = {10.1007/11766254\_2},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fqas/ArionBMPV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/BenzakenCCN06,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Dario Colazzo and
                  Kim Nguyen},
  editor       = {Umeshwar Dayal and
                  Kyu{-}Young Whang and
                  David B. Lomet and
                  Gustavo Alonso and
                  Guy M. Lohman and
                  Martin L. Kersten and
                  Sang Kyun Cha and
                  Young{-}Kuk Kim},
  title        = {Type-Based {XML} Projection},
  booktitle    = {Proceedings of the 32nd International Conference on Very Large Data
                  Bases, Seoul, Korea, September 12-15, 2006},
  pages        = {271--282},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {http://dl.acm.org/citation.cfm?id=1164152},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vldb/BenzakenCCN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BenzakenCM05,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  C{\'{e}}dric Miachon},
  editor       = {Manuel V. Hermenegildo and
                  Daniel Cabeza},
  title        = {A Full Pattern-Based Paradigm for {XML} Query Processing},
  booktitle    = {Practical Aspects of Declarative Languages, 7th International Symposium,
                  {PADL} 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3350},
  pages        = {235--252},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-30557-6\_18},
  doi          = {10.1007/978-3-540-30557-6\_18},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BenzakenCM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/ArionBMV05,
  author       = {Andrei Arion and
                  V{\'{e}}ronique Benzaken and
                  Ioana Manolescu and
                  Ravi Vijay},
  editor       = {Klemens B{\"{o}}hm and
                  Christian S. Jensen and
                  Laura M. Haas and
                  Martin L. Kersten and
                  Per{-}{\AA}ke Larson and
                  Beng Chin Ooi},
  title        = {ULoad: Choosing the Right Storage for Your {XML} Application},
  booktitle    = {Proceedings of the 31st International Conference on Very Large Data
                  Bases, Trondheim, Norway, August 30 - September 2, 2005},
  pages        = {1330--1333},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {http://www.vldb.org/conf/2005/papers/p1330-arion.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vldb/ArionBMV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ximep/ArionBM05,
  author       = {Andrei Arion and
                  V{\'{e}}ronique Benzaken and
                  Ioana Manolescu},
  editor       = {Daniela Florescu and
                  Hamid Pirahesh},
  title        = {{XML} Access Modules: Towards Physical Data Independence in {XML}
                  Databases},
  booktitle    = {Proceedings of the Second International Workshop on XQuery Implementation,
                  Experience and Perspectives {\textless}XIME-P/{\textgreater}, in cooperation
                  with {ACM} SIGMOD, June 16-17, 2005, Baltimore, Maryland, {USA}},
  year         = {2005},
  url          = {http://www.ximeco.org/Xime/XMLAccessModulesManolescu.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ximep/ArionBM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bda/2005,
  editor       = {V{\'{e}}ronique Benzaken},
  title        = {21{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  {BDA} 2005, Saint Malo, France, 17-20 octobre 2005, Actes (Informal
                  Proceedings)},
  year         = {2005},
  timestamp    = {Fri, 22 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BenzakenCM04,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  C{\'{e}}dric Miachon},
  editor       = {Jacques Le Maitre},
  title        = {{CQL:} a pattern-based query language for {XML}},
  booktitle    = {20{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  {BDA} '04, Montpellier, France, 19 - 22 octobre 2004, Actes (Informal
                  Proceedings)},
  pages        = {469--490},
  year         = {2004},
  timestamp    = {Fri, 22 Jun 2018 07:13:04 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/BenzakenCM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BenzakenBC03,
  author       = {V{\'{e}}ronique Benzaken and
                  Marwan Burelle and
                  Giuseppe Castagna},
  editor       = {Vijay A. Saraswat},
  title        = {Information Flow Security for {XML} Transformations},
  booktitle    = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
                  and Distributed Computation, 8th Asian Computing Science Conference,
                  Mumbai, India, December 10-14, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2896},
  pages        = {33--53},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40965-6\_4},
  doi          = {10.1007/978-3-540-40965-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/BenzakenBC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BenzakenCF03,
  author       = {V{\'{e}}ronique Benzaken and
                  Giuseppe Castagna and
                  Alain Frisch},
  editor       = {Colin Runciman and
                  Olin Shivers},
  title        = {CDuce: an XML-centric general-purpose language},
  booktitle    = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
                  on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
                  2003},
  pages        = {51--63},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/944705.944711},
  doi          = {10.1145/944705.944711},
  timestamp    = {Sat, 26 Jun 2021 13:59:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/BenzakenCF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FrischCB02,
  author       = {Alain Frisch and
                  Giuseppe Castagna and
                  V{\'{e}}ronique Benzaken},
  title        = {Semantic Subtyping},
  booktitle    = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
                  22-25 July 2002, Copenhagen, Denmark, Proceedings},
  pages        = {137--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/LICS.2002.1029823},
  doi          = {10.1109/LICS.2002.1029823},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FrischCB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/WattezCBFF00,
  author       = {Fanny Wattez and
                  Sophie Cluet and
                  V{\'{e}}ronique Benzaken and
                  Guy Ferran and
                  Christian Fiegel},
  editor       = {Weidong Chen and
                  Jeffrey F. Naughton and
                  Philip A. Bernstein},
  title        = {Benchmarking Queries over Trees: Learning the Hard Truth the Hard
                  Way},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGMOD} International Conference on
                  Management of Data, May 16-18, 2000, Dallas, Texas, {USA}},
  pages        = {510--511},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/342009.335452},
  doi          = {10.1145/342009.335452},
  timestamp    = {Fri, 12 Mar 2021 14:14:34 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/WattezCBFF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BenzakenCP99,
  author       = {V{\'{e}}ronique Benzaken and
                  Serenella Cerrito and
                  S{\'{e}}bastien Praud},
  editor       = {Christine Collet},
  title        = {V{\'{e}}rification statique de contraintes d'int{\'{e}}grit{\'{e}}
                  dynamiques : une approche s{\'{e}}mantique},
  booktitle    = {15{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  {BDA} 1999, Bordeaux, 25 - 27 octobre 1999. (Informal Proceedings)},
  pages        = {283--301},
  publisher    = {Actes},
  year         = {1999},
  timestamp    = {Tue, 16 Jul 2019 13:26:48 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/BenzakenCP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BenzakenHKPR98,
  author       = {V{\'{e}}ronique Benzaken and
                  Nicolas Hugon and
                  Hanna Klaudel and
                  Elisabeth Pelz and
                  Robert{-}C. Riemann},
  editor       = {J{\"{o}}rg Desel and
                  Manuel Silva Su{\'{a}}rez},
  title        = {M-net Calculus Based Semantics for Triggers},
  booktitle    = {Application and Theory of Petri Nets 1998, 19th International Conference,
                  {ICATPN} '98, Lisbon, Portugal, June 22-26, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1420},
  pages        = {306--325},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-69108-1\_17},
  doi          = {10.1007/3-540-69108-1\_17},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BenzakenHKPR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/BenzakenS98,
  author       = {V{\'{e}}ronique Benzaken and
                  Xavier Schaefer},
  editor       = {Hans{-}J{\"{o}}rg Schek and
                  F{\`{e}}lix Saltor and
                  Isidro Ramos and
                  Gustavo Alonso},
  title        = {Static Management of Integrity in Object-Oriented Databases: Design
                  and Implementation},
  booktitle    = {Advances in Database Technology - EDBT'98, 6th International Conference
                  on Extending Database Technology, Valencia, Spain, March 23-27, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1377},
  pages        = {311--325},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0100993},
  doi          = {10.1007/BFB0100993},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/edbt/BenzakenS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BenzakenS97,
  author       = {V{\'{e}}ronique Benzaken and
                  Xavier Schaefer},
  editor       = {Mehmet Aksit and
                  Satoshi Matsuoka},
  title        = {Static Integrity Constraint Management in Object-Oriented Database
                  Programming Languages via Predicate Transformers},
  booktitle    = {ECOOP'97 - Object-Oriented Programming, 11th European Conference,
                  Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1241},
  pages        = {60--84},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0053374},
  doi          = {10.1007/BFB0053374},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/BenzakenS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BenzakenS96,
  author       = {V{\'{e}}ronique Benzaken and
                  Xavier Schaefer},
  editor       = {Patrick Bosc},
  title        = {Ensuring Efficiently the Integrity of Persistent Object Systems via
                  Abstract Interpretation},
  booktitle    = {12{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  27-30 Ao{\^{u}}t 1996, Cassis, France (Informal Proceedings)},
  pages        = {119--138},
  publisher    = {{INRIA}},
  year         = {1996},
  timestamp    = {Fri, 22 Jun 2018 07:11:37 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/BenzakenS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/BenzakenS96,
  author       = {V{\'{e}}ronique Benzaken and
                  Xavier Schaefer},
  editor       = {Richard Connor and
                  Scott Nettles},
  title        = {Ensuring Efficiently the Integrity of Persistent Object Systems via
                  Abstract Interpretation},
  booktitle    = {Proceedings of the 7th Workshop on Persistent Object Systems, Cape
                  May, New Jersey, USA, 1996},
  pages        = {72--87},
  publisher    = {Morgan Kaufmann},
  year         = {1996},
  timestamp    = {Wed, 07 Jul 2021 16:59:32 +0200},
  biburl       = {https://dblp.org/rec/conf/pos/BenzakenS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/BenzakenD95,
  author       = {V{\'{e}}ronique Benzaken and
                  Anne Doucet},
  title        = {Th{\'{e}}mis: {A} Database Programming Language Handling Integrity
                  Constraints},
  journal      = {{VLDB} J.},
  volume       = {4},
  number       = {3},
  pages        = {493--517},
  year         = {1995},
  url          = {http://www.vldb.org/journal/VLDBJ4/P493.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vldb/BenzakenD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pos/1994,
  editor       = {Malcolm P. Atkinson and
                  David Maier and
                  V{\'{e}}ronique Benzaken},
  title        = {Persistent Object Systems, Proceedings of the Sixth International
                  Workshop on Persistent Object Systems, Tarascon, Provence, France,
                  5-9 September 1994},
  series       = {Workshops in Computing},
  publisher    = {Springer and British Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-1-4471-2122-0},
  doi          = {10.1007/978-1-4471-2122-0},
  isbn         = {3-540-19912-8},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pos/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BenzakenDS94,
  author       = {V{\'{e}}ronique Benzaken and
                  Anne Doucet and
                  Xavier Schaefer},
  editor       = {Nicole Bidoit},
  title        = {Integrity constraint checking optimization based on abstract interpretation},
  booktitle    = {Dixi{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  30 Ao{\^{u}}t - 2 Septembre 1994, Clermont-Ferrand, France (Informal
                  Proceedings)},
  publisher    = {{INRIA}},
  year         = {1994},
  timestamp    = {Fri, 22 Jun 2018 07:11:17 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/BenzakenDS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/Benzaken94,
  author       = {V{\'{e}}ronique Benzaken},
  editor       = {Malcolm P. Atkinson and
                  David Maier and
                  V{\'{e}}ronique Benzaken},
  title        = {Object Store Engineering 2},
  booktitle    = {Persistent Object Systems, Proceedings of the Sixth International
                  Workshop on Persistent Object Systems, Tarascon, Provence, France,
                  5-9 September 1994},
  series       = {Workshops in Computing},
  pages        = {43--44},
  publisher    = {Springer and British Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1007/978-1-4471-2122-0\_4},
  doi          = {10.1007/978-1-4471-2122-0\_4},
  timestamp    = {Wed, 11 May 2022 08:53:26 +0200},
  biburl       = {https://dblp.org/rec/conf/pos/Benzaken94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BenzakenDP93,
  author       = {V{\'{e}}ronique Benzaken and
                  Anne Doucet and
                  P.{-}Y. Policella},
  editor       = {Fran{\c{c}}ois Bry},
  title        = {D{\'{e}}finition et Gestion de Constraintes d'Int{\'{e}}grit{\'{e}}
                  dans le Language Th{\'{e}}mis},
  booktitle    = {Neuvi{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  27-30 Septembre 1993, Toulouse, France (Informal Proceedings)},
  pages        = {425},
  publisher    = {{INRIA}},
  year         = {1993},
  timestamp    = {Fri, 22 Jun 2018 07:11:07 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/BenzakenDP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BenzakenD93,
  author       = {V{\'{e}}ronique Benzaken and
                  Anne Doucet},
  editor       = {Catriel Beeri and
                  Atsushi Ohori and
                  Dennis E. Shasha},
  title        = {Th{\'{e}}mis: a database programming language with integrity
                  constraints},
  booktitle    = {Database Programming Languages (DBPL-4), Proceedings of the Fourth
                  International Workshop on Database Programming Languages - Object
                  Models and Languages, Manhattan, New York City, USA, 30 August - 1
                  September 1993},
  series       = {Workshops in Computing},
  pages        = {243--262},
  publisher    = {Springer},
  year         = {1993},
  timestamp    = {Thu, 11 Aug 2016 11:10:45 +0200},
  biburl       = {https://dblp.org/rec/conf/dbpl/BenzakenD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BenzakenD92,
  author       = {V{\'{e}}ronique Benzaken and
                  Anne Doucet},
  editor       = {Eric Simon},
  title        = {Enforcement tests generation for integrity constraints cheching based
                  on simplification methods in object-oriented database systems},
  booktitle    = {VIII{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  15-18 Septembre 1992, Tr{\'{e}}gastel, France (Informal Proceedings)},
  pages        = {124},
  publisher    = {{INRIA}},
  year         = {1992},
  timestamp    = {Fri, 22 Jun 2018 07:10:56 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/BenzakenD92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/Benzaken92,
  author       = {V{\'{e}}ronique Benzaken},
  editor       = {Antonio Albano and
                  Ronald Morrison},
  title        = {Schema Manipulation and Optimisation},
  booktitle    = {Persistent Object Systems, Proceedings of the Fifth International
                  Workshop on Persistent Object Systems, San Miniato (Pisa), Italy,
                  1-4 September, 1992},
  series       = {Workshops in Computing},
  pages        = {222--223},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Mon, 10 Feb 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pos/Benzaken92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/BenzakenLR92,
  author       = {V{\'{e}}ronique Benzaken and
                  Christophe L{\'{e}}cluse and
                  Philippe Richard},
  editor       = {Antonio Albano and
                  Ronald Morrison},
  title        = {Enforcing Integrity Constraints in Database Programming Languages},
  booktitle    = {Persistent Object Systems, Proceedings of the Fifth International
                  Workshop on Persistent Object Systems, San Miniato (Pisa), Italy,
                  1-4 September, 1992},
  series       = {Workshops in Computing},
  pages        = {282--299},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Mon, 10 Feb 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pos/BenzakenLR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/bancilhonDK92/BenzakenDH92,
  author       = {V{\'{e}}ronique Benzaken and
                  Claude Delobel and
                  Gilbert Harrus},
  editor       = {Fran{\c{c}}ois Bancilhon and
                  Claude Delobel and
                  Paris C. Kanellakis},
  title        = {Clustering Strategies in {O2:} An Overview},
  booktitle    = {Building an Object-Oriented Database System, The Story of {O2}},
  pages        = {385--410},
  publisher    = {Morgan Kaufmann},
  year         = {1992},
  timestamp    = {Sun, 04 Aug 2019 17:55:10 +0200},
  biburl       = {https://dblp.org/rec/books/mk/bancilhonDK92/BenzakenDH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/Benzaken90,
  author       = {V{\'{e}}ronique Benzaken},
  editor       = {Patrick Valduriez},
  title        = {Un mod{\`{e}}le d'{\'{e}}valuation de strat{\'{e}}gies de
                  regroupement dans un {SGBDOO}},
  booktitle    = {Sixi{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  25-28 Septembre 1990, Montpellier, France (Informal Proceedings)},
  pages        = {397},
  publisher    = {{INRIA}},
  year         = {1990},
  timestamp    = {Fri, 22 Jun 2018 07:10:35 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/Benzaken90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Benzaken90,
  author       = {V{\'{e}}ronique Benzaken},
  editor       = {Serge Abiteboul and
                  Paris C. Kanellakis},
  title        = {An Evaluation Model for Clustering Strategies in the {O2} Object-Oriented
                  Database System},
  booktitle    = {ICDT'90, Third International Conference on Database Theory, Paris,
                  France, December 12-14, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {470},
  pages        = {126--140},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53507-1\_74},
  doi          = {10.1007/3-540-53507-1\_74},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icdt/Benzaken90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/BenzakenD90,
  author       = {V{\'{e}}ronique Benzaken and
                  Claude Delobel},
  editor       = {Alan Dearle and
                  Gail M. Shaw and
                  Stanley B. Zdonik},
  title        = {Enhancing Performance in a Persistent Object Store: Clustering Strategies
                  in O\({}_{\mbox{2}}\)},
  booktitle    = {Implementing Persistent Object Bases, Principles and Practice, Proceedings
                  of the Fourth International Workshop on Persistent Objects, 23-27
                  September 1990, Martha's Vineyard, MA, {USA}},
  pages        = {403--412},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 18 Sep 2012 19:50:15 +0200},
  biburl       = {https://dblp.org/rec/conf/pos/BenzakenD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BenzakenD89,
  author       = {V{\'{e}}ronique Benzaken and
                  Claude Delobel},
  title        = {Regroupement d'objets sur disque dans un syst{\`{e}}me de bases de
                  donn{\'{e}}es},
  booktitle    = {Cinqui{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  26-28 Septembre 1989, Gen{\`{e}}ve, Suisse (Informal Proceedings)},
  pages        = {309--330},
  publisher    = {{INRIA}},
  year         = {1989},
  timestamp    = {Tue, 31 Oct 2006 14:02:09 +0100},
  biburl       = {https://dblp.org/rec/conf/bda/BenzakenD89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BenzakenDN88,
  author       = {V{\'{e}}ronique Benzaken and
                  Claude Delobel and
                  J. B. Ndala},
  title        = {Gestionnaires de m{\'{e}}moires et d'objets},
  booktitle    = {Quatri{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  17-20 Mai 1988, B{\'{e}}nodet, France {(2} Volumes) (Informal
                  Proceedings)},
  pages        = {233--266},
  publisher    = {{INRIA}},
  year         = {1988},
  timestamp    = {Tue, 31 Oct 2006 14:02:03 +0100},
  biburl       = {https://dblp.org/rec/conf/bda/BenzakenDN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oodbs/BancilhonBBDGLPRV88,
  author       = {Fran{\c{c}}ois Bancilhon and
                  Gilles Barbedette and
                  V{\'{e}}ronique Benzaken and
                  Claude Delobel and
                  Sophie Gamerman and
                  Christophe L{\'{e}}cluse and
                  Patrick Pfeffer and
                  Philippe Richard and
                  Fernando V{\'{e}}lez},
  editor       = {Klaus R. Dittrich},
  title        = {The Design and Implementation of O\({}_{\mbox{2}}\), an Object-Oriented
                  Database Systems},
  booktitle    = {Advances in Object-Oriented Database Systems, 2nd International Workshop
                  on Object-Oriented Database Systems, Bad M{\"{u}}nster am Stein-Ebernburg,
                  FRG, September 27-30, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {334},
  pages        = {1--32},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50345-5\_1},
  doi          = {10.1007/3-540-50345-5\_1},
  timestamp    = {Sun, 13 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oodbs/BancilhonBBDGLPRV88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics