Olivier Hermant

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