Seuraa
Véronique Benzaken
Véronique Benzaken
Professor of Computing Science L|-M:F Lab Université Paris Saclay - ENS Paris-Saclay- CNRS
Vahvistettu sähköpostiosoite verkkotunnuksessa universite-paris-saclay.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
ℂDuce: an XML-centric general-purpose language
V Benzaken, G Castagna, A Frisch
ACM SIGPLAN Notices 38 (9), 51-63, 2003
4362003
The design and implementation of O2, an object-oriented database system
F Bancilhon, G Barbedette, V Benzaken, C Delobel, S Gamerman, ...
Advances in Object-Oriented Database Systems: 2nd International Workshop on …, 2005
2352005
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
A Frisch, G Castagna, V Benzaken
Journal of the ACM (JACM) 55 (4), 1-64, 2008
1712008
Semantic subtyping
A Frisch, G Castagna, V Benzaken
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 137-146, 2002
1162002
Structured materialized views for XML queries
A Arion, V Benzaken, I Manolescu, Y Papakonstantinou
Proceedings of the 33rd international conference on Very large data bases, 87-98, 2007
1022007
Enhancing Performance in a Persistent Object Store: Clustering Strategies in O2.
V Benzaken, C Delobel
POS, 403-412, 1990
861990
Type-Based XML Projection.
V Benzaken, G Castagna, D Colazzo, K Nguyen
VLDB 6, 271-282, 2006
672006
Static and dynamic semantics for NoSQL languages
V Benzaken, G Castagna, K Nguyên, J Siméon
Proceedings of the 40th annual ACM SIGPLAN International Symposium on …, 2013
572013
Thémis: A database programming language handling integrity constraints
V Benzaken, A Doucet
The VLDB Journal 4, 493-517, 1995
491995
Static integrity constraint management in object-oriented database programming languages via predicate transformers
V Benzaken, X Schaefer
ECOOP 97, 60-84, 1997
401997
A Coq Formalization of the Relational Data Model
V Benzaken, É Contejean, S Dumbrava
ESOP-23rd European Symposium on Programming, 2014
392014
An evaluation model for clustering strategies in the O2 object-oriented database system
V Benzaken
ICDT'90, 126-140, 1990
35*1990
XML Access Modules: Towards Physical Data Independence in XML Databases.
A Arion, V Benzaken, I Manolescu
XIME-P, 2005
342005
Algebra-based identification of tree patterns in XQuery
A Arion, V Benzaken, I Manolescu, Y Papakonstantinou, R Vijay
Flexible Query Answering Systems: 7th International Conference, FQAS 2006 …, 2006
282006
EdiFlow: data-intensive interactive workflows for visual analytics
V Benzaken, JD Fekete, PL Hémery, W Khemiri, I Manolescu
2011 IEEE 27th International Conference on Data Engineering, 780-791, 2011
272011
A full pattern-based paradigm for XML query processing
V Benzaken, G Castagna, C Miachon
Practical Aspects of Declarative Languages: 7th International Symposium …, 2005
27*2005
A Coq formalisation of SQL’s execution engines
V Benzaken, E Contejean, C Keller, E Martins
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
232018
Clustering strategies in O2 an overview
V Benzaken, C Delobel, G Harrus
Building an object-oriented database system: the story of 02, 385-410, 1992
231992
A Coq Mechanised Formal Semantics for Realistic SQL Queries
V Benzaken, É Contejean
CPP 19, 2019
22*2019
Static management of integrity in object-oriented databases: Design and implementation
V Benzaken, X Schaefer
Lecture notes in computer science, 311-325, 1998
211998
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20