Julien Narboux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2012
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICTAI | Geometric Construction Problem Solving in Computer-Aided Learning. | Pascal Schreck, Pascal Mathis, Julien Narboux |
| 2011 | CPP | Formalization of Wu's Simple Method in Coq. | Jean-David Gnevaux, Julien Narboux, Pascal Schreck |
| 2011 | ICCSA | A Coq-Based Library for Interactive and Automated Theorem Proving in Plane Geometry. | Tuan-Minh Pham, Yves Bertot, Julien Narboux |
| 2009 | SAC | Formalizing Desargues' theorem in Coq using ranks. | Nicolas Magaud, Julien Narboux, Pascal Schreck |