Olivier Hermant

39 papers A* 1B 9C 2Journal 12Unranked 14

Year	Rank	Type	Title / 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