| 2026 | CSL | Classifying Covering Types in Homotopy Type Theory. | Samuel Mimram, mile Oleon |
| 2026 | FOSSACS | Realization of Relational Presheaves. | Yorgo Chamoun, Samuel Mimram |
| 2025 | FSCD | ∞-Categorical Models of Linear Logic. | Elis Harington, Samuel Mimram |
| 2025 | FSCD | Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory. | Samuel Mimram, mile Oleon |
| 2024 | FSCD | Delooping Generated Groups in Homotopy Type Theory. | Camil Champin, Samuel Mimram, mile Oleon |
| 2024 | LICS | Delooping cyclic groups with lens spaces in homotopy type theory. | Samuel Mimram, mile Oleon |
| 2023 | FSCD | Categorical Coherence from Term Rewriting Systems. | Samuel Mimram |
| 2022 | FSCD | Division by Two, in Homotopy Type Theory. | Samuel Mimram, mile Oleon |
| 2019 | CONCUR | A Sound Foundation for the Topological Approach to Task Solvability. | Jrmy Ledent, Samuel Mimram |
| 2019 | LICS | Describing free $\omega$ -categories. | Simon Forest, Samuel Mimram |
| 2019 | LICS | A Sequent Calculus for Opetopes. | Cdric Ho Thanh, Pierre-Louis Curien, Samuel Mimram |
| 2018 | OPODIS | Concurrent Specifications Beyond Linearizability. | ric Goubault, Jrmy Ledent, Samuel Mimram |
| 2017 | LICS | A type-theoretical definition of weak ω-categories. | Eric Finster, Samuel Mimram |
| 2012 | ESOP | Trace Spaces: An Efficient New Technique for State-Space Reduction. | Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Rauen |
| 2012 | RSP | HySon: Set-based simulation of hybrid systems. | Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot |
| 2011 | CSL | A Non-Standard Semantics for Kahn Networks in Continuous Time. | Romain Beauxis, Samuel Mimram |
| 2011 | SAFECOMP | Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. | Richard Bonichon, Graud Canet, Loc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sbastien Labb, Samuel Mimram |
| 2011 | SOFSEM | Liquidsoap: A High-Level Programming Language for Multimedia Streaming. | David Baelde, Romain Beauxis, Samuel Mimram |
| 2010 | CiE | Focusing in Asynchronous Games. | Samuel Mimram |
| 2009 | LICS | The Structure of First-Order Causality. | Samuel Mimram |
| 2007 | CONCUR | Asynchronous Games: Innocence Without Alternation. | Paul-Andr Mellis, Samuel Mimram |