Nadji Gauthier

	2006
5		François Pottier, Nadji Gauthier: Polymorphic typed defunctionalization and concretization. Higher-Order and Symbolic Computation 19(1): 125-162 (2006)
	2004
4		Nadji Gauthier, François Pottier: Numbering matters: first-order canonical forms for second-order recursive types. ICFP 2004: 150-161
3		François Pottier, Nadji Gauthier: Polymorphic typed defunctionalization. POPL 2004: 89-98
	2003
2		Thierry Artières, Nadji Gauthier, Patrick Gallinari, Bernadette Dorizzi: A Hidden Markov Models combination framework for handwriting recognition. IJDAR 5(4): 233-243 (2003)
	2001
1		Nadji Gauthier, Thierry Artières, Patrick Gallinari, Bernadette Dorizzi: Strategies for Combining On-line and Off-line Information in an On-line Handwriting Recognition System. ICDAR 2001: 412-416

Coauthor Index

1	Thierry Artières	[1] [2]
2	Bernadette Dorizzi	[1] [2]
3	Patrick Gallinari	[1] [2]
4	François Pottier	[3] [4] [5]

Colors in the list of coauthors