Jan-Christoph Kassing

21 papers A 1B 1C 1Misc 1Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks.
CoRR
Jan-Christoph Kassing, Henri Nagel, Alexander Schlecht, Jürgen Giesl
2026 J jnl
The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting.
Sci. Comput. Program.
Jan-Christoph Kassing, Jürgen Giesl
2025 C conf
Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting.
PPDP
Jan-Christoph Kassing, Leon Valentin Spitzer, Jürgen Giesl
2025 J jnl
Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting.
CoRR
Jan-Christoph Kassing, Leon Spitzer, Jürgen Giesl
2025 J jnl
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity.
Log. Methods Comput. Sci.
Jan-Christoph Kassing, Jürgen Giesl
2025 J jnl
Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025).
ACM SIGLOG News
Emma Ahrens, Jan-Christoph Kassing
2025 B conf
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems.
FSCD
Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen
2025 J jnl
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems.
CoRR
Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen
2024 Misc conf
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.
FLOPS
Jan-Christoph Kassing, Stefan Dollase, Jürgen Giesl
2024 — conf
A Dependency Pair Framework for Relative Termination of Term Rewriting.
IJCAR (2)
Jan-Christoph Kassing, Grigory Vartanyan, Jürgen Giesl
2024 J jnl
A Dependency Pair Framework for Relative Termination of Term Rewriting.
CoRR
Jan-Christoph Kassing, Grigory Vartanyan, Jürgen Giesl
2024 — conf
Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting.
Principles of Verification (1)
Jan-Christoph Kassing, Jürgen Giesl
2024 J jnl
Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting.
CoRR
Jan-Christoph Kassing, Jürgen Giesl
2024 — conf
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.
FoSSaCS (2)
Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl
2024 J jnl
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity.
CoRR
Jan-Christoph Kassing, Jürgen Giesl
2024 J jnl
The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting.
CoRR
Jan-Christoph Kassing, Jürgen Giesl
2023 J jnl
Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version).
CoRR
Jan-Christoph Kassing, Jürgen Giesl
2023 J jnl
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.
CoRR
Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl
2023 J jnl
Improving Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.
CoRR
Jan-Christoph Kassing, Jürgen Giesl
2023 A conf
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.
CADE
Jan-Christoph Kassing, Jürgen Giesl
2023 J jnl
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.
CoRR
Jan-Christoph Kassing, Jürgen Giesl