| No. |
Title |
Author |
Year |
| 1 |
Regular Separability in Büchi VASS |
Baumann, Pascal et al. |
2023 |
| 2 |
On the Complexity of Multi-Pushdown Games |
Meyer, Roland et al. |
2020 |
| 3 |
Complexity of Liveness in Parameterized Systems |
Chini, Peter et al. |
2019 |
| 4 |
Bounded Context Switching for Valence Systems |
Meyer, Roland et al. |
2018 |
| 5 |
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems |
Hague, Matthew et al. |
2018 |
| 6 |
Regular Separability of Well-Structured Transition Systems |
Czerwinski, Wojciech et al. |
2018 |
| 7 |
Domains for Higher-Order Games |
Hague, Matthew et al. |
2017 |
| 8 |
Front Matter, Table of Contents, Preface, Conference Organization |
Meyer, Roland et al. |
2017 |
| 9 |
LIPIcs, Volume 85, CONCUR'17, Complete Volume |
Meyer, Roland et al. |
2017 |
| 10 |
On the Complexity of Bounded Context Switching |
Chini, Peter et al. |
2017 |
| 11 |
On the Upward/Downward Closures of Petri Nets |
Atig, Mohamed Faouzi et al. |
2017 |
| 12 |
Summaries for Context-Free Games |
Holík, Lukás et al. |
2016 |
| 13 |
What's Decidable about Availability Languages? |
Abdulla, Parosh Aziz et al. |
2015 |
| 14 |
A Theory of Partitioned Global Address Spaces |
Calin, Georgel et al. |
2013 |
| 15 |
Petri Net Reachability Graphs: Decidability Status of FO Properties |
Darondeau, Philippe et al. |
2011 |
