Contact Version française

The ProVal team was stopped at the end of August 2012, and reborn into a new team Toccata
These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.

Publications 2013

Back

Books / Journals / Conferences / PhD theses / Misc. / Reports

Books and book chapters

Journals

[1] V. Benzaken, G. Castagna, D. Colazzo, and K. Nguyen. Optimizing XML querying using type-based document projection. ACM Transactions on Database Systems (TODS), 2013. To appear. [ bib ]

Conferences

[1] Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, and Jérôme Siméon. Static and dynamic semantics of NoSQL languages. In R. Cousot, editor, Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Roma, Italy, January 2013. ACM Press. [ bib ]

PhD theses

Misc.

Reports


Back

Books / Journals / Conferences / PhD theses / Misc. / Reports


This page was generated by bibtex2html.