| |
| 2009 | ||
|---|---|---|
| 5 | EE | Nicolas Magaud, Julien Narboux, Pascal Schreck: Formalizing Desargues' theorem in Coq using ranks. SAC 2009: 1110-1115 |
| 2008 | ||
| 4 | EE | Julien Narboux, Christian Urban: Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking. Electr. Notes Theor. Comput. Sci. 196: 3-18 (2008) |
| 2007 | ||
| 3 | EE | Julien Narboux: A Graphical User Interface for Formal Proofs in Geometry. J. Autom. Reasoning 39(2): 161-180 (2007) |
| 2006 | ||
| 2 | EE | Julien Narboux: Mechanical Theorem Proving in Tarski's Geometry. Automated Deduction in Geometry 2006: 139-156 |
| 2004 | ||
| 1 | EE | Julien Narboux: A Decision Procedure for Geometry in Coq. TPHOLs 2004: 225-240 |
| 1 | Nicolas Magaud | [5] |
| 2 | Pascal Schreck | [5] |
| 3 | Christian Urban | [4] |