| 2009 | ||
|---|---|---|
| 3 | Lionel Elie Mamane, Herman Geuvers, James McKinna: A Logically Saturated Extension of . Calculemus/MKM 2009: 405-421 | |
| 2005 | ||
| 2 | Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen: An Interactive Algebra Course with Formalised Proofs and Definitions. MKM 2005: 315-329 | |
| 2004 | ||
| 1 | Lionel Elie Mamane: Surreal Numbers in Coq. TYPES 2004: 170-185 | |
| 1 | Andrea Asperti | [2] |
| 2 | Claudio Sacerdoti Coen | [2] |
| 3 | Herman Geuvers | [2] [3] |
| 4 | Iris Loeb | [2] |
| 5 | James McKinna | [3] |