Julien Narboux
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 12
Publications (10 Years): 12
University of Paris-Sud, Orsay, France (PHD)
Education History
University of Paris-Sud, Orsay, France
PHD
Publications
- Predrag Janicic, Julien Narboux
- Predrag Janicic, Julien Narboux
- Predrag Janicic, Julien Narboux
- Michael Beeson, Julien Narboux, Freek Wiedijk
- Gabriel Braun, Julien Narboux
- Michael Beeson, Julien Narboux, Freek WiedijkProof-checking Euclid. CoRR (2017)
- Julien Narboux, David Braun
- Michael Beeson, Pierre Boutry, Julien Narboux
- Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
- Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
- Nicolas Magaud, Julien Narboux, Pascal Schreck
- Gabriel Braun, Julien Narboux
- Pascal Schreck, Pascal Mathis, Julien Narboux
- Predrag Janicic, Julien Narboux, Pedro Quaresma
- Jean-David Génevaux, Julien Narboux, Pascal Schreck
- Nicolas Magaud, Julien Narboux, Pascal Schreck
- Nicolas Magaud, Julien Narboux, Pascal Schreck
- Christian Urban, Julien Narboux
- Julien Narboux
- Julien Narboux
- Julien Narboux