Publications

(My publication list is available in BibTeX format here.)

Conferences

• Fast In-Memory XPath Search using Compressed Indexes, D. Arroyuelo, F. Claude, S. Maneth, V. Mäkinen, G. Navarro, K. Nguyễn, J. Siren, N. Välimäki, ICDE 2010, 417 - 428, PDF
• Typed Iterators for XML, G. Castagna, K. Nguyễn, ICFP 2008, 15-26 PDF (slides)
• Type-Based XML Projection, V. Benzaken, G. Castagna, D. Colazzo, K. Nguyễn, VLDB 2006, 271-282 PDF (slides). An extended version (currently submitted) is available on arXiv.
• Computation of Chromatic Polynomials Using Triangulations and Clique Trees, P. Berthomé, S. Lebresne, K. Nguyễn, WG 2005, PDF

Journals

• XPath Whole Query Optimization, S. Maneth, K. Nguyễn, PVLDB 2010, PDF (slides)

Thesis dissertations

• Language of Combinators for XML: conception, typing, implementation , K. Nguyễn, Ph.D. thesis PDF
• Une algèbre de filtrage pour le langage ℂDuce , K. Nguyễn, Master's thesis PDF