The ProVal team was stopped at the end of August 2012, and reborn into a new team
These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.
Publications : Kim NguyenBack
|||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 ]|
|||Sebastian Maneth and Kim Nguyen. Xpath whole query optimization. In 36th International Conference on Very Large Data Bases (VLDB'2010), volume 3, pages 882-893, 2010. [ bib ]|
|||Giuseppe Castagna and Kim Nguyen. Typed iterators for XML. In James Hook and Peter Thiemann, editors, ICFP, pages 15-26, Victoria, BC, Canada, September 2008. ACM. [ bib ]|
This page was generated by bibtex2html.