Summaries for Context-Free Games. - Lukás Holík; Roland Meyer 001; Sebastian Muskalla (FSTTCS, 2016)

Antichains for Inclusion Games. - Lukás Holík; Roland Meyer 001; Sebastian Muskalla (CoRR, 2016)

Munchausen Iteration. - Roland Meyer 001; Sebastian Muskalla (CoRR, 2016)

On the Upward/Downward Closures of Petri Nets. - Mohamed Faouzi Atig; Roland Meyer 001; Sebastian Muskalla; Prakash Saivasan (MFCS, 2017)

Domains for Higher-Order Games. - Matthew Hague; Roland Meyer 001; Sebastian Muskalla (MFCS, 2017)

Liveness Verification and Synthesis: New Algorithms for Recursive Programs. - Roland Meyer 001; Sebastian Muskalla; Elisabeth Neumann (CoRR, 2017)

Regular Separability of Well-Structured Transition Systems. - Wojciech Czerwinski; Slawomir Lasota 001; Roland Meyer 001; Sebastian Muskalla; K. Narayan Kumar; Prakash Saivasan (CONCUR, 2018)

Bounded Context Switching for Valence Systems. - Roland Meyer 001; Sebastian Muskalla; Georg Zetzsche (CONCUR, 2018)

Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. - Matthew Hague; Roland Meyer 001; Sebastian Muskalla; Martin Zimmermann 002 (MFCS, 2018)

Certificates for automata in a hostile environment. - Sebastian Muskalla (2024)