Semantic Cut Elimination in the Intuitionistic Sequent Calculus. - Olivier Hermant (TLCA, 2005)

A Semantic Completeness Proof for TaMeD. - Richard Bonichon; Olivier Hermant (LPAR, 2006)

On Constructive Cut Admissibility in Deduction Modulo. - Richard Bonichon; Olivier Hermant (TYPES, 2006)

A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. - Olivier Hermant; James Lipton (CSL, 2008)

Resolution is Cut-Free. - Olivier Hermant (J. Autom. Reason., 2010)

Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2. - Olivier Hermant; James Lipton (J. Log. Comput., 2010)

Dynamic Adaptation through Event Reconfiguration. - Truong Giang Le; Olivier Hermant; Matthieu Manceny; Renaud Pawlak (OTM Workshops, 2011)

Orthogonality and Boolean Algebras for Deduction Modulo. - Aloïs Brunel; Olivier Hermant; Clément Houtmann (TLCA, 2011)

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 (ICSOFT, 2012)

The λΠ-calculus Modulo as a Universal Proof Language. - Mathieu Boespflug; Quentin Carbonneaux; Olivier Hermant (PxTP, 2012)

A Semantic Proof that Reducibility Candidates entail Cut Elimination. - Denis Cousineau 002; Olivier Hermant (RTA, 2012)

A Simple Proof that Super-Consistency Implies Cut Elimination. - Gilles Dowek; Olivier Hermant (Notre Dame J. Formal Log., 2012)

Using Event-Based Style for Developing M2M Applications. - Truong Giang Le; Olivier Hermant; Matthieu Manceny; Renaud Pawlak; Renaud Rioboo (GPC, 2013)

Programming Robots with Events. - Truong Giang Le; Dmitriy Fedosov; Olivier Hermant; Matthieu Manceny; Renaud Pawlak; Renaud Rioboo (IESS, 2013)

Semantic A-translations and Super-Consistency Entail Classical Cut Elimination. - Lisa Allali; Olivier Hermant (LPAR, 2013)

Polarizing Double-Negation Translations. - Mélanie Boudard; Olivier Hermant (LPAR, 2013)

Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. - David Delahaye; Damien Doligez; Frédéric Gilbert 002; Pierre Halmagrand; Olivier Hermant (LPAR, 2013)

Semantic A-translation and Super-consistency entail Classical Cut Elimination. - Lisa Allali; Olivier Hermant (CoRR, 2014)

Computing Invariants with Transformers: Experimental Scalability and Accuracy. - Vivien Maisonneuve; Olivier Hermant; François Irigoin (NSAD, 2014)

Managing Big Data with Information Flow Control. - Thomas F. J.-M. Pasquier; Jatinder Singh; Jean Bacon; Olivier Hermant (CLOUD, 2015)

Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. - Guillaume Bury; David Delahaye; Damien Doligez; Pierre Halmagrand; Olivier Hermant (LPAR (short papers), 2015)

Normalisation by Completeness with Heyting Algebras. - Gaëtan Gilbert; Olivier Hermant (LPAR, 2015)

A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization. - Richard Bonichon; Olivier Hermant (CoRR, 2015)

Consistency-Latency Trade-Off of the LibRe Protocol: A Detailed Study. - Sathiya Prabhu Kumar; Sylvain Lefebvre 002; Raja Chiky; Olivier Hermant (EGC (best of volume), 2016)

Complétude en Logiques. - Olivier Hermant (2017)

Runtime Analysis of Whole-System Provenance. - Thomas F. J.-M. Pasquier; Xueyuan Han; Thomas Moyer; Adam Bates 001; Olivier Hermant; David M. Eyers; Jean Bacon; Margo I. Seltzer (CCS, 2018)

Polarized Rewriting and Tableaux in B Set Theory. - Olivier Hermant (SETS@ABZ, 2018)

Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting. - Frédéric Blanqui; Guillaume Genestier; Olivier Hermant (FSCD, 2019)

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. - Guillaume Burel; Guillaume Bury; Raphaël Cauderlier; David Delahaye; Pierre Halmagrand; Olivier Hermant (J. Autom. Reason., 2020)

Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. - Ali Assaf 002; Guillaume Burel; Raphaël Cauderlier; David Delahaye; Gilles Dowek; Catherine Dubois; Frédéric Gilbert 002; Pierre Halmagrand; Olivier Hermant; Ronan Saillard (CoRR, 2023)

Optimizing the Impact of Upgrading Computer Equipment. - Gabriel Breuil; Olivier Hermant; Renaud Pawlak (ICT4S, 2024)

Numeric Base Conversion with Rewriting. - Olivier Hermant; Wojciech Loboda (LPAR Complementary Volume, 2024)

A Generic Deskolemization Strategy. - Johann Rosain; Richard Bonichon; Julie Cailler; Olivier Hermant (LPAR, 2024)