Publications (par ordre chronologique/by chronological order)

  1. Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg: Good Friends are Hard to Find! TIME 2008: 32-40
  2. Lionel Rieg: Extracting Herbrand trees from Coq. CoRR abs/1304.4557 (2013)
  3. Lionel Rieg: Extracting Herbrand trees in classical realizability using forcing. CSL 2013: 597-614
  4. Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil: Impossibility of Gathering, a Certification. IPL 115 (3):447-452
  5. Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil: Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots. PODC 2016
  6. Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil: Certified Universal Gathering in R2 for Oblivious Mobile Robots. DISC 2016