Computation of Chromatic Polynomials Using Triangulations and Clique Trees. - Pascal Berthomé; Sylvain Lebresne; Kim Nguyen 001 (WG, 2005)

Type-Based XML Projection. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Kim Nguyen 001 (VLDB, 2006)

Typed Iterators for XML. - Giuseppe Castagna; Kim Nguyen 001 (PLAN-X, 2008)

Fast In-Memory XPath Search over Compressed Text and Tree Indexes - Diego Arroyuelo; Francisco Claude; Sebastian Maneth; Veli Mäkinen; Gonzalo Navarro 001; Kim Nguyen 001; Jouni Sirén; Niko Välimäki (CoRR, 2009)

XPath Whole Query Optimization. - Sebastian Maneth; Kim Nguyen 001 (Proc. VLDB Endow., 2010)

Static and dynamic semantics of NoSQL languages. - Véronique Benzaken; Giuseppe Castagna; Kim Nguyen 001; Jérôme Siméon (POPL, 2013)

Optimizing XML querying using type-based document projection. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Kim Nguyen 001 (ACM Trans. Database Syst., 2013)

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. - Giuseppe Castagna; Kim Nguyen 001; Zhiwu Xu 001; Hyeonseung Im; Sergueï Lenglet; Luca Padovani (POPL, 2014)

A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. - Giuseppe Castagna; Hyeonseung Im; Kim Nguyen 001; Véronique Benzaken (ESOP, 2015)

Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. - Giuseppe Castagna; Kim Nguyen 001; Zhiwu Xu 001; Pietro Abate (POPL, 2015)

Fast in-memory XPath search using compressed indexes. - Diego Arroyuelo; Francisco Claude; Sebastian Maneth; Veli Mäkinen; Gonzalo Navarro 001; Kim Nguyen 001; Jouni Sirén; Niko Välimäki (Softw. Pract. Exp., 2015)

Set-theoretic types for polymorphic variants. - Giuseppe Castagna; Tommaso Petrucciani; Kim Nguyen 001 (ICFP, 2016)

Language-Integrated Queries: a BOLDR Approach. - Véronique Benzaken; Giuseppe Castagna; Laurent Daynès; Julien Lopez; Kim Nguyen 001; Romain Vernoux (WWW (Companion Volume), 2018)

On type-cases, union elimination, and occurrence typing. - Giuseppe Castagna; Mickaël Laurent; Kim Nguyen 001; Matthew Lutze (Proc. ACM Program. Lang., 2022)

Revisiting occurrence typing. - Giuseppe Castagna; Victor Lanvin; Mickaël Laurent; Kim Nguyen 001 (Sci. Comput. Program., 2022)

Polymorphic Type Inference for Dynamic Languages. - Giuseppe Castagna; Mickaël Laurent; Kim Nguyen 001 (Proc. ACM Program. Lang., 2024)