On this page:
- Books and books chapters
- International Journals
- National Journals
- International Conferences
- My DBLP Entry, H-number and Google Scholar Page
Other pages
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
in 9th International Conference on Interactive Theorem Proving ITP Oxford, UK 2018
V. Benzaken , G. Castagna , L. Daynès, J. Lopez , K. Nguyen and R. Vernoux : Language-Integrated Queries: a BOLDR Approach
in International World Wide Web Conference WWW - Lyon, France 2018
V. Benzaken , E. Contejean and S. Dumbrava : Certifying Standard and Stratified Datalog Inference Engines in SSReflect
in 8th International Conference on Interactive Theorem Proving ITP Brasilia 2017
G. Castagna , H. Im , K. Nguyen and V. Benzaken : A Core Calculus for XQuery 3.0: Combining Navigational and
Pattern Matching Approaches
in 24th European Symposium on Programming ESOP London 2015
V. Benzaken , E. Contejean and S. Dumbrava : A Coq Formalization of the Relational Data Model
in 23rd European Symposium on Programming ESOP Grenoble 2014
V. Benzaken , G. Castagna , K. Nguyen and J. Simeon : Static and dynamic semantics for NoSQL Languages
in ACM International Conference on Principles of Programming Languages POPL Roma 2013
V. Benzaken, J-D Fekete, P-L Hemery , W. Khemiri and I. Manolescu: EdiFlow: data-intensive interactive workflows for visual analytics
in International Conference on Data Engineering ICDE Hannover 2011
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
A. Arion, V.Benzaken, I. Manolescu and Y. Papakonstantinu: Structured Materialized Views for XML Queries
V.Benzaken, G. Castagna, D. Colazzo and K. Nguyen: Type-Based XML Projection
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
Research
Teaching