Bertram Felgenhauer

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 17

Top Topics

Rewrite Systems

Redundant Rules

Termination Analysis

Top Venues

Arch. Formal Proofs

Publications

Alexander Lochmann, Bertram Felgenhauer
First-Order Theory of Rewriting. Arch. Formal Proofs 2022 (2022)
Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer
Certifying Proofs in the First-Order Theory of Rewriting. TACAS (2) (2021)
Alexander Lochmann, Aart Middeldorp, Fabian Mitterwallner, Bertram Felgenhauer
A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems. CPP (2021)
Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel
Regular Tree Relations. Arch. Formal Proofs 2021 (2021)
Bertram Felgenhauer
Implementing the Goodstein Function in λ-Calculus. Arch. Formal Proofs 2020 (2020)
Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp
A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. CPP (2019)
Bertram Felgenhauer
Minsky Machines. Arch. Formal Proofs 2018 (2018)
Bertram Felgenhauer
Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently. Log. Methods Comput. Sci. 14 (4) (2018)
Bertram Felgenhauer, Franziska Rapp
Layer Systems for Confluence - Formalized. ICTAC (2018)
Bertram Felgenhauer, René Thiemann
Reachability, confluence, and termination analysis with state-compatible automata. Inf. Comput. 253 (2017)
Julian Nagele, Bertram Felgenhauer, Harald Zankl
Certifying Confluence Proofs via Relative Termination and Rule Labeling. Log. Methods Comput. Sci. 13 (2) (2017)
Bertram Felgenhauer
Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently. CoRR (2017)
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
CSI: New Evidence - A Progress Report. CADE (2017)
Bertram Felgenhauer
Beyond DRAT: Challenges in Certifying UNSAT. ARCADE@CADE (2017)
Bertram Felgenhauer, Aart Middeldorp
Constructing Cycles in the Simplex Method for DPLL(T). ICTAC (2017)
Julian Nagele, Bertram Felgenhauer, Harald Zankl
Certifying Confluence Proofs via Relative Termination and Rule Labeling. CoRR (2016)
Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom, Christian Sternagel
The Z Property. Arch. Formal Proofs 2016 (2016)
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp
Labelings for Decreasing Diagrams. J. Autom. Reason. 54 (2) (2015)
Bertram Felgenhauer
Decreasing Diagrams II. Arch. Formal Proofs 2015 (2015)
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom
Layer Systems for Proving Confluence. ACM Trans. Comput. Log. 16 (2) (2015)
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. RTA (2015)
Bertram Felgenhauer, René Thiemann
Reachability Analysis with State-Compatible Automata. LATA (2014)
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom
Layer Systems for Proving Confluence. CoRR (2014)
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp
Labelings for Decreasing Diagrams. CoRR (2014)
Bertram Felgenhauer, Vincent van Oostrom
Proof Orders for Decreasing Diagrams. RTA (2013)
Bertram Felgenhauer, Martin Avanzini, Christian Sternagel
A Haskell Library for Term Rewriting. CoRR (2013)
Bertram Felgenhauer
Deciding Confluence of Ground Term Rewrite Systems in Cubic Time. RTA (2012)
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp
CSI - A Confluence Tool. CADE (2011)
Bertram Felgenhauer, Harald Zankl, Aart Middeldorp
Layer Systems for Proving Confluence. FSTTCS (2011)
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp
Labelings for Decreasing Diagrams. RTA (2011)