Strategies for Combining On-line and Off-line Information in an On-line Handwriting Recognition System. - Nadji Gauthier; Thierry Artières; Patrick Gallinari; Bernadette Dorizzi (ICDAR, 2001)

A Hidden Markov Models combination framework for handwriting recognition. - Thierry Artières; Nadji Gauthier; Patrick Gallinari; Bernadette Dorizzi (Int. J. Document Anal. Recognit., 2003)

Numbering matters: first-order canonical forms for second-order recursive types. - Nadji Gauthier; François Pottier (ICFP, 2004)

Polymorphic typed defunctionalization. - François Pottier; Nadji Gauthier (POPL, 2004)

Polymorphic typed defunctionalization and concretization. - François Pottier; Nadji Gauthier (High. Order Symb. Comput., 2006)