List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Parity to safety in polynomial time for pushdown and collapsible pushdown systems (available as arXiv preprint) | 2021-08-04 | Paper |
| Bounded context switching for valence systems (available as arXiv preprint) | 2021-08-04 | Paper |
| Regular separability of well-structured transition systems (available as arXiv preprint) | 2021-08-04 | Paper |
| scientific article; zbMATH DE number 7204383 (Why is no real title available?) (available as arXiv preprint) | 2020-05-26 | Paper |
| Domains for Higher-Order Games (available as arXiv preprint) | 2020-05-26 | Paper |
| Summaries for context-free games (available as arXiv preprint) | 2018-04-19 | Paper |
Research outcomes over time
This page was built for person: Sebastian Muskalla
