Véronique Benzaken
Véronique Benzaken
Professor of Computing Science Université Paris Saclay
Verified email at universite-paris-saclay.fr - Homepage
Title
Cited by
Cited by
Year
ℂDuce: an XML-centric general-purpose language
V Benzaken, G Castagna, A Frisch
ACM SIGPLAN Notices 38 (9), 51-63, 2003
4062003
The design and implementation of O 2, an object-oriented database system
F Bancilhon, G Barbedette, V Benzaken, C Delobel, S Gamerman, ...
International Workshop on Object-Oriented Database Systems, 1-22, 1988
2081988
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
1422008
Semantic subtyping
A Frisch, G Castagna, V Benzaken
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 137-146, 2002
1042002
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
992007
Enhancing Performance in a Persistent Object Store: Clustering Strategies in O_2
V Benzaken, C Delobel
861995
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
532013
Thémis: A database programming language handling integrity constraints
V Benzaken, A Doucet
The VLDB Journal 4 (3), 493-517, 1995
501995
Static integrity constraint management in object-oriented database programming languages via predicate transformers
V Benzaken, X Schaefer
European Conference on Object-Oriented Programming, 60-84, 1997
361997
A Coq Formalization of the Relational Data Model
V Benzaken, É Contejean, S Dumbrava
ESOP-23rd European Symposium on Programming, 2014
352014
An evaluation model for clustering strategies in the O2 object-oriented database system
V Benzaken
ICDT'90, 126-140, 1990
341990
XML Access Modules: Towards Physical Data Independence in XML Databases.
A Arion, V Benzaken, I Manolescu
XIME-P, 2005
292005
Algebra-based identification of tree patterns in XQuery
A Arion, V Benzaken, I Manolescu, Y Papakonstantinou, R Vijay
International Conference on Flexible Query Answering Systems, 13-25, 2006
272006
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
232011
A full pattern-based paradigm for XML query processing
V Benzaken, G Castagna, C Miachon
International Workshop on Practical Aspects of Declarative Languages, 235-252, 2005
23*2005
Static management of integrity in object-oriented databases: Design and implementation
V Benzaken, X Schaefer
International Conference on Extending Database Technology, 309-325, 1998
211998
Clustering strategies in o2: an overview
V Benzaken, C Delobel, G Harrus
211995
Dynamic clustering strategies in the O2 object-oriented database system
V Benzaken, C Delobel
4th International Workshop on Persistent Object Systems: Design …, 1990
191990
Information flow security for XML transformations
V Benzaken, M Burelle, G Castagna
Annual Asian Computing Science Conference, 33-53, 2003
162003
The system can't perform the operation now. Try again later.
Articles 1–20