Fabian Mitterwallner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCAI | Automated Strategy Invention for Confluence of Term Rewrite Systems. | Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk |
| 2024 | IJCAR | Confluence of Logically Constrained Rewrite Systems Revisited. | Jonas Schpf, Fabian Mitterwallner, Aart Middeldorp |
| 2024 | LICS | Linear Termination is Undecidable. | Fabian Mitterwallner, Aart Middeldorp, Ren Thiemann |
| 2022 | FSCD | Polynomial Termination Over ℕ Is Undecidable. | Fabian Mitterwallner, Aart Middeldorp |
| 2021 | CPP | 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 |
| 2021 | TACAS | Certifying Proofs in the First-Order Theory of Rewriting. | Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer |