| |
| 2006 | ||
|---|---|---|
| 5 | EE | François Pottier, Nadji Gauthier: Polymorphic typed defunctionalization and concretization. Higher-Order and Symbolic Computation 19(1): 125-162 (2006) |
| 2004 | ||
| 4 | EE | Nadji Gauthier, François Pottier: Numbering matters: first-order canonical forms for second-order recursive types. ICFP 2004: 150-161 |
| 3 | EE | François Pottier, Nadji Gauthier: Polymorphic typed defunctionalization. POPL 2004: 89-98 |
| 2003 | ||
| 2 | EE | 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 | EE | 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 |
| 1 | Thierry Artières | [1] [2] |
| 2 | Bernadette Dorizzi | [1] [2] |
| 3 | Patrick Gallinari | [1] [2] |
| 4 | François Pottier | [3] [4] [5] |