default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVéronique Benzaken
Person information
- affiliation: University of Paris-Sud, Laboratory for Computer Science (LRI), France
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j4]Véronique Benzaken
, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. 6(OOPSLA1): 1-27 (2022)- [i3]Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Translating Canonical SQL to Imperative Code in Coq. CoRR abs/2203.08941 (2022) - 2021
- [c43]Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini:
A Coq formalization of data provenance. CPP 2021: 152-162
2010 – 2019
- 2019
- [c42]Véronique Benzaken, Evelyne Contejean:
A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra. CPP 2019: 249-261 - 2018
- [c41]Véronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins:
A Coq Formalisation of SQL's Execution Engines. ITP 2018: 88-107 - [c40]Véronique Benzaken, Giuseppe Castagna, Laurent Daynès, Julien Lopez, Kim Nguyen, Romain Vernoux:
Language-Integrated Queries: a BOLDR Approach. WWW (Companion Volume) 2018: 711-719 - [r2]Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren:
XML Typechecking. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [c39]Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava:
Certifying Standard and Stratified Datalog Inference Engines in SSReflect. ITP 2017: 171-188 - 2015
- [c38]Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken:
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. ESOP 2015: 232-256 - 2014
- [c37]Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava:
A Coq Formalization of the Relational Data Model. ESOP 2014: 189-208 - 2013
- [j3]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen:
Optimizing XML querying using type-based document projection. ACM Trans. Database Syst. 38(1): 4 (2013) - [c36]Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon:
Static and dynamic semantics of NoSQL languages. POPL 2013: 101-114 - [i2]Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon:
Static and dynamic semantics of NoSQL languages. CoRR abs/1303.1716 (2013) - 2011
- [c35]Véronique Benzaken, Jean-Daniel Fekete, Pierre-Luc Hemery, Wael Khemiri, Ioana Manolescu:
EdiFlow: Data-intensive interactive workflows for visual analytics. ICDE 2011: 780-791 - [i1]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen:
Optimizing XML querying using type-based document projection. CoRR abs/1104.2079 (2011)
2000 – 2009
- 2009
- [r1]Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren:
XML Typechecking. Encyclopedia of Database Systems 2009: 3646-3650 - 2008
- [j2]Alain Frisch, Giuseppe Castagna, Véronique Benzaken:
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55(4): 19:1-19:64 (2008) - [c34]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon:
Pattern by example: type-driven visual programming of XML queries. PPDP 2008: 131-142 - 2007
- [c33]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon:
Pattern by Example: type-driven visual programming of XML queries. BDA 2007 - [c32]Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou:
Structured Materialized Views for XML Queries. VLDB 2007: 87-98 - 2006
- [c31]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen:
Type-Based XML Projection. BDA 2006 - [c30]Ioana Manolescu, Véronique Benzaken, Andrei Arion, Yannis Papakonstantinou:
Structured Materialized Views for XML Queries. BDA 2006 - [c29]Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay:
Algebra-Based Identification of Tree Patterns in XQuery. FQAS 2006: 13-25 - [c28]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen:
Type-Based XML Projection. VLDB 2006: 271-282 - 2005
- [c27]Véronique Benzaken, Giuseppe Castagna, Cédric Miachon:
A Full Pattern-Based Paradigm for XML Query Processing. PADL 2005: 235-252 - [c26]Andrei Arion, Véronique Benzaken, Ioana Manolescu, Ravi Vijay:
ULoad: Choosing the Right Storage for Your XML Application. VLDB 2005: 1330-1333 - [c25]Andrei Arion, Véronique Benzaken, Ioana Manolescu:
XML Access Modules: Towards Physical Data Independence in XML Databases. XIME-P 2005 - [e2]Véronique Benzaken:
21èmes Journées Bases de Données Avancées, BDA 2005, Saint Malo, France, 17-20 octobre 2005, Actes (Informal Proceedings). 2005 [contents] - 2004
- [c24]Véronique Benzaken, Giuseppe Castagna, Cédric Miachon:
CQL: a pattern-based query language for XML. BDA 2004: 469-490 - 2003
- [c23]Véronique Benzaken, Marwan Burelle, Giuseppe Castagna:
Information Flow Security for XML Transformations. ASIAN 2003: 33-53 - [c22]Véronique Benzaken, Giuseppe Castagna, Alain Frisch:
CDuce: an XML-centric general-purpose language. ICFP 2003: 51-63 - 2002
- [c21]Alain Frisch, Giuseppe Castagna, Véronique Benzaken:
Semantic Subtyping. LICS 2002: 137-146 - 2000
- [c20]Fanny Wattez, Sophie Cluet, Véronique Benzaken, Guy Ferran, Christian Fiegel:
Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way. SIGMOD Conference 2000: 510-511
1990 – 1999
- 1999
- [c19]Véronique Benzaken, Serenella Cerrito, Sébastien Praud:
Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999: 283-301 - 1998
- [c18]Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann:
M-net Calculus Based Semantics for Triggers. ICATPN 1998: 306-325 - [c17]Véronique Benzaken, Xavier Schaefer:
Static Management of Integrity in Object-Oriented Databases: Design and Implementation. EDBT 1998: 311-325 - 1997
- [c16]Véronique Benzaken, Xavier Schaefer:
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. ECOOP 1997: 60-84 - 1996
- [c15]Véronique Benzaken, Xavier Schaefer:
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. BDA 1996: 119-138 - [c14]Véronique Benzaken, Xavier Schaefer:
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. POS 1996: 72-87 - 1995
- [j1]Véronique Benzaken, Anne Doucet:
Thémis: A Database Programming Language Handling Integrity Constraints. VLDB J. 4(3): 493-517 (1995) - [e1]Malcolm P. Atkinson, David Maier, Véronique Benzaken:
Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994. Workshops in Computing, Springer and British Computer Society 1995, ISBN 3-540-19912-8 [contents] - 1994
- [c13]Véronique Benzaken, Anne Doucet, Xavier Schaefer:
Integrity constraint checking optimization based on abstract interpretation. BDA 1994 - [c12]Véronique Benzaken:
Object Store Engineering 2. POS 1994: 43-44 - 1993
- [c11]Véronique Benzaken, Anne Doucet, P.-Y. Policella:
Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis. BDA 1993: 425- - [c10]Véronique Benzaken, Anne Doucet:
Thémis: a database programming language with integrity constraints. DBPL 1993: 243-262 - 1992
- [c9]Véronique Benzaken, Anne Doucet:
Enforcement tests generation for integrity constraints cheching based on simplification methods in object-oriented database systems. BDA 1992: 124- - [c8]Véronique Benzaken:
Schema Manipulation and Optimisation. POS 1992: 222-223 - [c7]Véronique Benzaken, Christophe Lécluse, Philippe Richard:
Enforcing Integrity Constraints in Database Programming Languages. POS 1992: 282-299 - [p1]Véronique Benzaken, Claude Delobel, Gilbert Harrus:
Clustering Strategies in O2: An Overview. Building an Object-Oriented Database System, The Story of O2 1992: 385-410 - 1990
- [c6]Véronique Benzaken:
Un modèle d'évaluation de stratégies de regroupement dans un SGBDOO. BDA 1990: 397- - [c5]Véronique Benzaken:
An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. ICDT 1990: 126-140 - [c4]Véronique Benzaken, Claude Delobel:
Enhancing Performance in a Persistent Object Store: Clustering Strategies in O2. POS 1990: 403-412
1980 – 1989
- 1989
- [c3]Véronique Benzaken, Claude Delobel:
Regroupement d'objets sur disque dans un système de bases de données. BDA 1989: 309-330 - 1988
- [c2]Véronique Benzaken, Claude Delobel, J. B. Ndala:
Gestionnaires de mémoires et d'objets. BDA 1988: 233-266 - [c1]François Bancilhon, Gilles Barbedette, Véronique Benzaken, Claude Delobel, Sophie Gamerman, Christophe Lécluse, Patrick Pfeffer, Philippe Richard, Fernando Vélez:
The Design and Implementation of O2, an Object-Oriented Database Systems. OODBS 1988: 1-32
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
