Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Véronique Benzaken
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.