Bertram Felgenhauer

According to our database, Bertram Felgenhauer authored at least 25 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

First-Order Theory of Rewriting.

Alexander Lochmann, Bertram Felgenhauer

Arch. Formal Proofs, 2022

2021

Regular Tree Relations.

Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel

Arch. Formal Proofs, 2021

Certifying Proofs in the First-Order Theory of Rewriting.

Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems.

Alexander Lochmann, Aart Middeldorp, Fabian Mitterwallner, Bertram Felgenhauer

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Implementing the Goodstein Function in λ-Calculus.

Bertram Felgenhauer

Arch. Formal Proofs, 2020

2019

A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL.

Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently.

Bertram Felgenhauer

Log. Methods Comput. Sci., 2018

Minsky Machines.

Bertram Felgenhauer

Arch. Formal Proofs, 2018

Layer Systems for Confluence - Formalized.

Bertram Felgenhauer, Franziska Rapp

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

Certifying Confluence Proofs via Relative Termination and Rule Labeling.

Julian Nagele, Bertram Felgenhauer, Harald Zankl

Log. Methods Comput. Sci., 2017

Reachability, confluence, and termination analysis with state-compatible automata.

Bertram Felgenhauer, René Thiemann

Inf. Comput., 2017

Constructing Cycles in the Simplex Method for DPLL(T).

Bertram Felgenhauer, Aart Middeldorp

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

CSI: New Evidence - A Progress Report.

Julian Nagele, Bertram Felgenhauer, Aart Middeldorp

Proceedings of the Automated Deduction - CADE 26, 2017

Beyond DRAT: Challenges in Certifying UNSAT.

Bertram Felgenhauer

Proceedings of the ARCADE 2017, 2017

2016

The Z Property.

Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom, Christian Sternagel

Arch. Formal Proofs, 2016

2015

Layer Systems for Proving Confluence.

Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom

ACM Trans. Comput. Log., 2015

Labelings for Decreasing Diagrams.

Harald Zankl, Bertram Felgenhauer, Aart Middeldorp

J. Autom. Reason., 2015

Decreasing Diagrams II.

Bertram Felgenhauer

Arch. Formal Proofs, 2015

Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules.

Julian Nagele, Bertram Felgenhauer, Aart Middeldorp

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

2014

Reachability Analysis with State-Compatible Automata.

Bertram Felgenhauer, René Thiemann

Proceedings of the Language and Automata Theory and Applications, 2014

2013

A Haskell Library for Term Rewriting.

Bertram Felgenhauer, Martin Avanzini, Christian Sternagel

CoRR, 2013

Proof Orders for Decreasing Diagrams.

Bertram Felgenhauer, Vincent van Oostrom

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.

Bertram Felgenhauer

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2011

Layer Systems for Proving Confluence.

Bertram Felgenhauer, Harald Zankl, Aart Middeldorp

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

CSI - A Confluence Tool.

Harald Zankl, Bertram Felgenhauer, Aart Middeldorp

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011