Olivier Hermant

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 12

Top Topics

Logical Framework

Information Flow Control

Term Rewrite Systems

Top Venues

LPAR Complementary Volume

Publications

Olivier Hermant, Wojciech Loboda
Numeric Base Conversion with Rewriting. LPAR Complementary Volume (2024)
Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant
A Generic Deskolemization Strategy. LPAR (2024)
Gilles Dowek, Olivier Hermant
A Simple Proof That Super-Consistency Implies Cut Elimination. CoRR (2023)
Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. CoRR (2023)
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant
First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. J. Autom. Reason. 64 (6) (2020)
Frédéric Blanqui, Guillaume Genestier, Olivier Hermant
Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting. FSCD (2019)
Frédéric Blanqui, Guillaume Genestier, Olivier Hermant
Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting. CoRR (2019)
Olivier Hermant
Polarized Rewriting and Tableaux in B Set Theory. SETS@ABZ (2018)
Olivier Hermant
Polarized Rewriting and Tableaux in B Set Theory. CoRR (2018)
Thomas F. J.-M. Pasquier, Xueyuan Han, Thomas Moyer, Adam Bates, Olivier Hermant, David M. Eyers, Jean Bacon, Margo I. Seltzer
Runtime Analysis of Whole-System Provenance. CoRR (2018)
Thomas F. J.-M. Pasquier, Xueyuan Han, Thomas Moyer, Adam Bates, Olivier Hermant, David M. Eyers, Jean Bacon, Margo I. Seltzer
Runtime Analysis of Whole-System Provenance. CCS (2018)
Sathiya Prabhu Kumar, Sylvain Lefebvre, Raja Chiky, Olivier Hermant
Consistency-Latency Trade-Off of the LibRe Protocol: A Detailed Study. EGC (best of volume) (2016)
Thomas F. J.-M. Pasquier, Jatinder Singh, Jean Bacon, Olivier Hermant
Managing Big Data with Information Flow Control. CLOUD (2015)
Richard Bonichon, Olivier Hermant
A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization. CoRR (2015)
Gaëtan Gilbert, Olivier Hermant
Normalisation by Completeness with Heyting Algebras. LPAR (2015)
Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. LPAR (short papers) (2015)
Lisa Allali, Olivier Hermant
Semantic A-translation and Super-consistency entail Classical Cut Elimination. CoRR (2014)
Vivien Maisonneuve, Olivier Hermant, François Irigoin
Computing Invariants with Transformers: Experimental Scalability and Accuracy. Electron. Notes Theor. Comput. Sci. 307 (2014)
David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. LPAR (2013)
Mélanie Boudard, Olivier Hermant
Polarizing Double-Negation Translations. LPAR (2013)
Lisa Allali, Olivier Hermant
Semantic A-translations and Super-Consistency Entail Classical Cut Elimination. LPAR (2013)
Mélanie Boudard, Olivier Hermant
Polarizing Double Negation Translations. CoRR (2013)
Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
Using Event-Based Style for Developing M2M Applications. GPC (2013)
Truong Giang Le, Dmitriy Fedosov, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
Programming Robots with Events. IESS (2013)
Gilles Dowek, Olivier Hermant
A Simple Proof that Super-Consistency Implies Cut Elimination. Notre Dame J. Formal Log. 53 (4) (2012)
Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant
The λΠ-calculus Modulo as a Universal Proof Language. PxTP (2012)
Denis Cousineau, Olivier Hermant
A Semantic Proof that Reducibility Candidates entail Cut Elimination. RTA (2012)
Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming. ICSOFT (2012)
Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak
Dynamic Adaptation through Event Reconfiguration. OTM Workshops (2011)
Aloïs Brunel, Olivier Hermant, Clément Houtmann
Orthogonality and Boolean Algebras for Deduction Modulo. TLCA (2011)
Olivier Hermant
Resolution is Cut-Free. J. Autom. Reason. 44 (3) (2010)
Olivier Hermant, James Lipton
Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2. J. Log. Comput. 20 (2) (2010)
Olivier Hermant, James Lipton
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. CSL (2008)
Gilles Dowek, Olivier Hermant
A Simple Proof That Super-Consistency Implies Cut Elimination. RTA (2007)
Richard Bonichon, Olivier Hermant
On Constructive Cut Admissibility in Deduction Modulo. TYPES (2006)
Richard Bonichon, Olivier Hermant
A Semantic Completeness Proof for TaMeD. LPAR (2006)
Olivier Hermant
Semantic Cut Elimination in the Intuitionistic Sequent Calculus. TLCA (2005)