Paper by Chris Köcher and Dietrich Kuske published at Journal of Theoretical Computer Science

TU Ilmenau

The paper “Reachability in Trace-Pushdown Systems” by Chris Köcher and Dietrich Kuske is published in the Journal of Theoretical Computer Science, 2026.

The work addresses fundamental questions of reachability in extended pushdown systems under trace-based semantics, contributing to research in theoretical computer science, particularly in formal models and verification.

The article is available via DOI: https://doi.org/10.1016/j.tcs.2026.115971