| 2026 | FSCD | Investigations on Higher-Order Infinitary Logic. | Thomas Traversi, Olivier Hermant, Marc Aiguier |
| 2024 | LPAR | Numeric Base Conversion with Rewriting. | Olivier Hermant, Wojciech Loboda |
| 2024 | LPAR | A Generic Deskolemization Strategy. | Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant |
| 2018 | CCS | Runtime Analysis of Whole-System Provenance. | Thomas F. J.-M. Pasquier, Xueyuan Han, Thomas Moyer, Adam Bates, Olivier Hermant, David M. Eyers, Jean Bacon, Margo I. Seltzer |
| 2015 | LPAR | Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. | Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant |
| 2015 | LPAR | Normalisation by Completeness with Heyting Algebras. | Gatan Gilbert, Olivier Hermant |
| 2013 | GPC | Using Event-Based Style for Developing M2M Applications. | Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo |
| 2013 | LPAR | Semantic A-translations and Super-Consistency Entail Classical Cut Elimination. | Lisa Allali, Olivier Hermant |
| 2013 | LPAR | Polarizing Double-Negation Translations. | Mlanie Boudard, Olivier Hermant |
| 2013 | LPAR | Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. | David Delahaye, Damien Doligez, Frdric Gilbert, Pierre Halmagrand, Olivier Hermant |
| 2012 | ICSoft | Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming. | Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo |
| 2008 | CSL | A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. | Olivier Hermant, James Lipton |
| 2006 | LPAR | A Semantic Completeness Proof for TaMeD. | Richard Bonichon, Olivier Hermant |