| 2009 | ||
|---|---|---|
| 2 | Nicolas Julien, Ioana Pasca: Formal Verification of Exact Computations Using Newton's Method. TPHOLs 2009: 408-423 | |
| 2008 | ||
| 1 | Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca: Canonical Big Operators. TPHOLs 2008: 86-101 | |
| 1 | Yves Bertot | [1] |
| 2 | Sidi Ould Biha | [1] |
| 3 | Georges Gonthier | [1] |
| 4 | Nicolas Julien | [2] |