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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI