| 2023 | ITP | Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. | Ana de Almeida Borges, Annal Casanueva Arts, Jean-Rmy Falleri, Emilio Jess Gallego Arias, rik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Tho Zimmermann |
| 2023 | ITP | Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant. | Pierre Pomeret-Coquot, Hlne Fargier, rik Martin-Dorel |
| 2021 | ECSQARU | Games of Incomplete Information: A Framework Based on Belief Functions. | Hlne Fargier, rik Martin-Dorel, Pierre Pomeret-Coquot |
| 2019 | ITP | Primitive Floats in Coq. | Guillaume Bertholon, rik Martin-Dorel, Pierre Roux |
| 2017 | CPP | A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations. | rik Martin-Dorel, Pierre Roux |
| 2013 | SYNASC | Certified, Efficient and Sharp Univariate Taylor Models in COQ. | rik Martin-Dorel, Laurence Rideau, Laurent Thry, Micaela Mayero, Ioana Pasca |
| 2011 | ARITH | Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2). | Nicolas Brisebarre, Mioara Joldes, Peter Kornerup, rik Martin-Dorel, Jean-Michel Muller |
| 2009 | MDAI | A Formal Theory of Cooperative TU-Games. | Marc Daumas, rik Martin-Dorel, Annick Truffert, Michel Ventou |