Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs. - Jan-Christoph Kassing; Jürgen Giesl (CADE, 2023)

Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version). - Jan-Christoph Kassing; Jürgen Giesl (CoRR, 2023)

Improving Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. - Jan-Christoph Kassing; Jürgen Giesl (CoRR, 2023)

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting. - Jan-Christoph Kassing; Jürgen Giesl (Principles of Verification (1), 2024)

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. - Jan-Christoph Kassing; Stefan Dollase; Jürgen Giesl (FLOPS, 2024)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting. - Jan-Christoph Kassing; Florian Frohn; Jürgen Giesl (FoSSaCS (2), 2024)

A Dependency Pair Framework for Relative Termination of Term Rewriting. - Jan-Christoph Kassing; Grigory Vartanyan; Jürgen Giesl (IJCAR (2), 2024)

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity. - Jan-Christoph Kassing; Jürgen Giesl (CoRR, 2024)

The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting. - Jan-Christoph Kassing; Jürgen Giesl (CoRR, 2024)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting - AProVE Artifact. - Jan-Christoph Kassing; Florian Frohn; Jürgen Giesl (Zenodo, 2024)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting - AProVE Artifact. - Jan-Christoph Kassing; Florian Frohn; Jürgen Giesl (Zenodo, 2024)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting - AProVE Artifact. - Jan-Christoph Kassing; Florian Frohn; Jürgen Giesl (Zenodo, 2024)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting - AProVE Artifact. - Jan-Christoph Kassing; Florian Frohn; Jürgen Giesl (Zenodo, 2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems. - Emma Ahrens; Jan-Christoph Kassing; Jürgen Giesl; Joost-Pieter Katoen (FSCD, 2025)

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting. - Jan-Christoph Kassing; Leon Spitzer; Jürgen Giesl (CoRR, 2025)