Sebastian Muskalla

Orcid: 0000-0001-9195-7323

According to our database1, Sebastian Muskalla authored at least 10 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Certificates for automata in a hostile environment.
PhD thesis, 2024

2018
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

Bounded Context Switching for Valence Systems.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

Regular Separability of Well-Structured Transition Systems.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017
Liveness Verification and Synthesis: New Algorithms for Recursive Programs.
CoRR, 2017

Domains for Higher-Order Games.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

On the Upward/Downward Closures of Petri Nets.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016
Munchausen Iteration.
CoRR, 2016

Antichains for Inclusion Games.
CoRR, 2016

Summaries for Context-Free Games.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016


  Loading...