| 2009 | ||
|---|---|---|
| 2 | Sidi Ould Biha: Finite Groups Representation Theory with Coq. Calculemus/MKM 2009: 438-452 | |
| 2008 | ||
| 1 | Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca: Canonical Big Operators. TPHOLs 2008: 86-101 | |
| 1 | Yves Bertot | [1] |
| 2 | Georges Gonthier | [1] |
| 3 | Ioana Pasca | [1] |