Publications : Kim Nguyen
Retour| [11] | Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen, and Laurent Sartre. Informatique - MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés. Ellipses, 2022. [ bib | full text on HAL ] |
| [10] | Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, and Kim Nguyen. Numérique et Sciences Informatiques, 24 leçons avec exercices corrigés. Terminale. Ellipses, 2020. [ bib | full text on HAL ] |
| [9] | Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, and Kim Nguyen. Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Ellipses, August 2019. [ bib | http ] |
| [8] | Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, and Kim Nguyen. Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première. Ellipses, 2019. [ bib | full text on HAL ] |
| [7] | Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, and Pietro Abate. Polymorphic functions with set-theoretic types. part 2: Local type inference and type reconstruction. In Proceedings of the 42st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, January 2015. ACM Press. [ bib | full text on HAL ] |
| [6] | Giuseppe Castagna, Hyeonseung Im, Sergeï Lenglet, Kim Nguyen, Luca Padovani, and Zhiwu Xu. Polymorphic functions with set-theoretic types. part 1: Syntax, semantics, and evaluation. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, USA, January 2014. ACM Press. [ bib | full text on HAL ] |
| [5] | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, and Kim Nguyen. Optimizing XML querying using type-based document projection. ACM Transactions on Database Systems (TODS), 2013. [ bib | full text on HAL ] |
| [4] | 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 | full text on HAL ] |
| [3] |
Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo
Navarro, Kim Nguyen, Jouni Sirén, and Niko Välimäki.
Fast in-memory XPath search using compressed indexes.
Software: Practice and Experience, pages n/a--n/a, 2013.
[ bib |
DOI ]
Keywords: XML, succinct data structures, XPath, tree automata |
| [2] | 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 ] |
| [1] | 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 ] |
Retour
This page was generated by bibtex2html.