Julien Narboux

	2009
6		Nicolas Magaud, Julien Narboux, Pascal Schreck: Formalizing Desargues' theorem in Coq using ranks. SAC 2009: 1110-1115
5		Christian Urban, Julien Narboux: Formal SOS-Proofs for the Lambda-Calculus. Electr. Notes Theor. Comput. Sci. 247: 139-155 (2009)
	2008
4		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		Julien Narboux: A Graphical User Interface for Formal Proofs in Geometry. J. Autom. Reasoning 39(2): 161-180 (2007)
	2006
2		Julien Narboux: Mechanical Theorem Proving in Tarski's Geometry. Automated Deduction in Geometry 2006: 139-156
	2004
1		Julien Narboux: A Decision Procedure for Geometry in Coq. TPHOLs 2004: 225-240

Coauthor Index

1	Nicolas Magaud	[6]
2	Pascal Schreck	[6]
3	Christian Urban	[4] [5]

Colors in the list of coauthors