Fabrice Rouillier

You will not find many versions of my publications on ArXiv since I am mostly using TeXmacs for writing and ArXiv does not support neither TeXmacs nor pdf files generated with TeXmacs.

Phd Students
  • Ranjan Jha. 2013-2016.
  • Cuong Tran. 2011-2015.
  • Rong Xiao. 2003-2009.
  • Guillaume Moroz. 2004-2008.
  • Solen Corvez. 2001-2005.
  • Luc Rolland. 1998-2003.
  • Mohab Safey El Din. 1997-2001.

Ongoing work

To appear