| 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 | Christian Urban | [4] |