Jan-Christoph Kassing

According to our database, Jan-Christoph Kassing authored at least 17 papers between 2023 and 2026.

Collaborative distances:

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

2026

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks.

Jan-Christoph Kassing, Henri Nagel, Alexander Schlecht, Jürgen Giesl

CoRR, February, 2026

The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting.

Jan-Christoph Kassing, Jürgen Giesl

Sci. Comput. Program., 2026

2025

Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025).

Emma Ahrens, Jan-Christoph Kassing

ACM SIGLOG News, October, 2025

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity.

Jan-Christoph Kassing, Jürgen Giesl

Log. Methods Comput. Sci., 2025

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing, Leon Valentin Spitzer, Jürgen Giesl

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems.

Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting - AProVE Artifact.

Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl

Dataset, March, 2024

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting - AProVE Artifact.

Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl

Dataset, January, 2024

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting - AProVE Artifact.

Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl

Dataset, January, 2024

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting - AProVE Artifact.

Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl

Dataset, January, 2024

A Dependency Pair Framework for Relative Termination of Term Rewriting.

Jan-Christoph Kassing, Grigory Vartanyan, Jürgen Giesl

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl

Proceedings of the Foundations of Software Science and Computation Structures, 2024

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing, Stefan Dollase, Jürgen Giesl

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing, Jürgen Giesl

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Improving Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing, Jürgen Giesl

CoRR, 2023

Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version).

Jan-Christoph Kassing, Jürgen Giesl

CoRR, 2023

Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.

Jan-Christoph Kassing, Jürgen Giesl

Proceedings of the Automated Deduction - CADE 29, 2023