| Publication | Date of Publication | Type |
|---|
| Weighted rewriting | 2026-02-26 | Paper |
| Certifying the weighted path order (invited talk) | 2026-02-24 | Paper |
| A verified algorithm for deciding pattern completeness | 2026-01-14 | Paper |
| Formalizing results on directed sets in isabelle/HOL (proof pearl) | 2024-11-26 | Paper |
Reachability Analysis for Termination and Confluence of Rewriting
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
| scientific article; zbMATH DE number 7649979 (Why is no real title available?) | 2023-02-03 | Paper |
Tuple interpretations for termination of term rewriting
Journal of Automated Reasoning | 2022-12-12 | Paper |
| Term orderings for non-reachability of (conditional) rewriting | 2022-12-07 | Paper |
Relational differential dynamic logic
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
Architecture-guided test resource allocation via logic
(available as arXiv preprint) | 2022-03-21 | Paper |
scientific article; zbMATH DE number 7471719 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471719 (Why is no real title available?) | 2022-02-09 | Paper |
| Multi-dimensional interpretations for termination of term rewriting | 2021-12-01 | Paper |
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL
Journal of Automated Reasoning | 2020-11-02 | Paper |
A verified implementation of the Berlekamp-Zassenhaus factorization algorithm
Journal of Automated Reasoning | 2020-04-07 | Paper |
A verified implementation of algebraic numbers in Isabelle/HOL
Journal of Automated Reasoning | 2020-03-03 | Paper |
Relational differential dynamic logic
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| A formalization of the LLL basis reduction algorithm | 2018-10-04 | Paper |
On probabilistic term rewriting
(available as arXiv preprint) | 2018-07-09 | Paper |
AC-KBO revisited
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Certifying safety and termination proofs for integer transition systems | 2017-09-22 | Paper |
| AC dependency pairs revisited | 2017-07-19 | Paper |
Relative termination via dependency pairs
Journal of Automated Reasoning | 2017-06-29 | Paper |
Algebraic numbers in Isabelle/HOL
Interactive Theorem Proving | 2016-10-27 | Paper |
Reducing relative termination to dependency pair problems
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Nagoya termination tool
Lecture Notes in Computer Science | 2014-07-24 | Paper |
AC-KBO revisited
Functional and Logic Programming | 2014-07-24 | Paper |
