Multiset rewriting : a formal language theoretic perspective on concurrent systems

von Totzke, Patrick
Veröffentlicht 2009

Parity Games on Temporal Graphs

von Austin, Pete
Veröffentlicht in International Conference on Foundations of Software Science and Computation Structures (27. : 2024 : Luxemburg Stadt) Foundations of software science and computation structures ; Part 1 (2024)

Are there universal finite or pushdown automata?

von Kudlek, Manfred
Veröffentlicht 2010

Simple Stochastic Games with Almost-Sure Energy-Parity Objectives arein NPand coNP ’5 + + +

von Mayr, Richard
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)

Reachability Problems : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, proceedings

Veröffentlicht 2021

History-Deterministic Timed Automata Are Not Determinizable

von Bose, Sougata
Veröffentlicht in RP (16. : 2022 : Kaiserslautern) Reachability problems (2022)