Publications
Books and books chapters
V. Benzaken , G. Castagna , H. Hosoya , B-C Pierce and S. Vansummeren : XML Typechecking
(Invited chapter in) Encyclopedia of Database Systems, Springer Verlag 2009.
M.P. Atkinson , V. Benzaken and D. Maier. : Persistent Object Systems
Proceedings of the sixth International Workshop on Persistent Object Systems, Workshop in Computing Series, Springer Verlag 1994.
V.Benzaken and A. Doucet. : Bases de donnees orientees objets: origines et principes
Collection Acquis Avances de l'Informatique, Armand-Coname 1993
V.Benzaken , C. Delobel and G. Harrus. : Clustering Strategies in O2: an Overview
In Building an Object-Oriented Database System: the Story of O2, Morgan Kaufman 1992.
International Journals
V.Benzaken, G. Castagna, D. Colazzo and K. Nguyen: Optimizing XML querying using type-based document projection
In ACM Transactions on Database Systems (TODS) Volume 38, Number 1, April 2013
V. Benzaken , G. Castagna and A. Frisch : Semantic Subtyping: dealing set-theoretically with function, union, intersection and negation types
In Journal of the ACM (JACM) Volume 55 , Issue 4 (September 2008).
V. Benzaken , S. Cerrito and S. Praud.: Static Verification of dynamical constraints a semantics-based approach
In NIS Journal 2000. ( PS )
V.Benzaken and A. Doucet.: Themis: a Database Programming Language Handling Integrity Constraints
In VLDB Journal, Volume 4, Number 3, July-August 1995. ( PS )
National Journals
V. Benzaken , A. Doucet and X. Schaefer. : Integrity constraint checking optimization based on abstract databases generation and program analysis.
In Journal de l'Ingenierie des Systemes d'Information, Volume 1, Number 3, March 1995. ( PS)
International Conferences
V. Benzaken , E. Contejean , C. Keller and E. Martins : A Coq formalisation of SQL's execution engine
V. Benzaken , G. Castagna , L. Daynès, J. Lopez , K. Nguyen and R. Vernoux : Language-Integrated Queries: a BOLDR Approach
V. Benzaken , E. Contejean and S. Dumbrava : A Coq Formalization of the Relational Data Model
V. Benzaken, J-D Fekete, P-L Hemery , W. Khemiri and I. Manolescu: EdiFlow: data-intensive interactive workflows for visual analytics
I. Manolescu, W. Khemiri, V. Benzaken and J-D Fekete: ReaViz: Reactive workflows for visual analytics
in Data Management & Visual Analytics Workshop, Berlin, 2009
V.Benzaken, G. Castagna, D. Colazzo and C. Miachon: Pattern by Example: type-driven visual programming of XML queries
10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming PPDP 2008 [pdf]
A. Arion, V.Benzaken, I. Manolescu and Y. Papakonstantinu: Structured Materialized Views for XML Queries
33rd International Conference on Very Large Databases VLDB 2007 [pdf]
V.Benzaken, G. Castagna, D. Colazzo and K. Nguyen: Type-Based XML Projection
32nd International Conference on Very Large Databases VLDB 2006 [pdf]
A. Arion, V.Benzaken, I. Manolescu, Y. Papakonstantinou and R. Vijay: Algebra-based identication of tree patterns in XQuery
7th International Conference on Flexible Query Answering Systems FQAS 2006
A. Arion, V.Benzaken, I. Manolescu and R. Vijay: Uload: Choosing Right Storage for your XML Application
Demonstration at the 31st International Conference on Very Large Databases VLDB 2005
A. Arion, V.Benzaken and I. Manolescu: XML Access Modules: Towards Physical Data Independence in XML Databases
In the Second International Workshop on XQuery Implementation, Experience and Perspective XIME-P 2005 (PDF)
V.Benzaken, G.Castagna and C.Miachon: A Full Pattern-based Paradigm for XML Query Processing
In the Seventh International Symposium on Practical Aspects of Declarative Languages PADL 2005
V. Benzaken , M. Burelle and G. Castagna : Information Flow Security for XML Transformations
in Proc of the Eighth Asian Computing Science Conference (ASIAN'03) Collocated with ICLP'03 and FSTTCS'03, Lecture Notes in Computer Science, Springer-Verlag, Tata Institute of Fundamental Research, Mumbai, India, December 10-13, 2003. (PS )
V. Benzaken , G. Castagna and A. Frisch : CDuce: an XML-centric general purpose programming language
in Proc of the international conference on functional programming (ICFP'03), Upsala, Sweden, 25-29 august 2003. (PS )
V. Benzaken , G. Castagna and A. Frisch : CDuce: a white paper
in Proc of the international workshop on Programming Languages for XML (PLANX'02) Pittsburgh, USA, 4-6th October. (PS )
A. Frisch , G. Castagna and V. Benzaken : Semantic subtyping
in Proc of the Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS'2002), pages 137-146, Copenhagen, Denmark,22th-25th July. (PS )
F. Wattez , S. Cluet , V. Benzaken and C. Fiegel : Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way
In Proc of the 2000 ACM SIGMOD Intl. Conference on Management of Data, Dallas 14th-19th May 2000.
V. Benzaken and X. Schaefer : Static management of integrity constraint in object-oriented database systems: design and implementation.
In G. Alons and H-J Schek, editors, Proc. of the 6th International Conference on Extending Database Technology (EDBT'98), Lecture Notes in Computer Science, Valencia, Spain, March 1998. Springer-Verlag. (PS )
V. Benzaken , N. Hugon , H. Klaudel , R. Rieman and E. Pelz : A Mnet calculus-based semantics for triggers.
In Proc. of the International Conference on Theory and Applications of Petri Nets, Lecture Notes in Computer Science, Lisbon, Portugal 1998. Springer-Verlag.
V. Benzaken and X. Schaefer. : Static integrity constraint management in object-oriented database programming languages via predicate transformers.
In M. Aksit and B. Magnusson, editors, Proc. of the 11th European Conference on Object-Oriented Programming (ECOOP'97), Lecture Notes in Computer Science, Jyvaskyla Finland, June 1997. Springer-Verlag. (PS )
V. Benzaken and X. Schaefer. : Ensuring efficiently the integrity of a persistent object store via abstract interpretation.
In R. Connor and S. Nettles, editors, Proc. of the 7th International Workshop on Persistent Object Systems, Cape-May, USA, May 1996. Morgan Kaufmann. (PS )
V. Benzaken and A. Doucet. : Themis: a database programming language with integrity constraints.
In C. Beeri and A. Ohori and D. Shasha, editors, 4th International Workshop on Database Programming Languages, Workshops in Computing, pages 243-262, New York, USA, August 1993. Springer-Verlag. DBPL-4. (PS )
V. Benzaken , C. Lecluse and P. Richard. : Enforcing Integrity Constraints in Database Programming Languages.
In A. Albano and R. Morrison, editors, Proc. of the 5th International Workshop on Persistent Object Systems, Workshops in Computing, pages 289-299, San Miniato, Italy, September 1992. Springer-Verlag. POS'5. (PS)
V. Benzaken.: An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System.
In S. Abiteboul and P. Kanellakis editors, 3rd International Conference on Database Theory, Lecture Notes in Computer Science No 470, pages 126-140, Paris, France, December 1990. Springer Verlag. ICDT'90. (PS)
V. Benzaken and C. Delobel. : Enhancing Performance in a Persistent Object Store: Clustering Strategies in O2.
In A. Dearle and G. Shaw and S. Zdonick, editors, Fourth International Workshop on Persistent Object Systems, 1990. Morgan Kaufman. (PS)
F. Bancilhon , G. Barbedette , V. Benzaken , C. Delobel , S.Gamerman , C. Lecluse , P. Pfeffer , P. Richard and F. Velez. : The design and Implementation of O2 , an Object-Oriented Database System.
In K. Dittrich editor Advances in Object-Oriented Database Systems, Lecture Notes in Computer Science No 334, pages 1-22, 1988. Springer-Verlag

My DBLP Entry, H-number and Google Scholar Page

For an up to date version of my publication list you can consult: My DBLP entry

As far as this is significant my (google scholar) H-number is 17. For an accurate version consult my Google scholar page