Skip to content
cs-conference-ranking.org

Jan-Christoph Kassing

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

6

Active years

2023–2026

Best venue rank

A

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2026IJCARDisproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks.Jan-Christoph Kassing, Henri Nagel, Alexander Schlecht, Jrgen Giesl
2025FSCDWeighted Rewriting: Semiring Semantics for Abstract Reduction Systems.Emma Ahrens, Jan-Christoph Kassing, Jrgen Giesl, Joost-Pieter Katoen
2025PPDPDependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting.Jan-Christoph Kassing, Leon Valentin Spitzer, Jrgen Giesl
2024FLOPSA Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.Jan-Christoph Kassing, Stefan Dollase, Jrgen Giesl
2024FOSSACSFrom Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.Jan-Christoph Kassing, Florian Frohn, Jrgen Giesl
2024IJCARA Dependency Pair Framework for Relative Termination of Term Rewriting.Jan-Christoph Kassing, Grigory Vartanyan, Jrgen Giesl
2023CADEProving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.Jan-Christoph Kassing, Jrgen Giesl