No. Title Author Year
1 On Büchi One-Counter Automata Böhm, Stanislav et al. 2017
2 On Long Words Avoiding Zimin Patterns Carayol, Arnaud et al. 2017
3 A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One Göller, Stefan et al. 2016
4 On the Parallel Complexity of Bisimulation on Finite Systems Ganardi, Moses et al. 2016
5 The Fixed-Parameter Tractability of Model Checking Concurrent Systems Göller, Stefan 2013
6 Concurrency Makes Simple Theories Hard Göller, Stefan et al. 2012
7 On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two Broadbent, Christopher et al. 2012
8 The First-Order Theory of Ground Tree Rewrite Graphs Göller, Stefan et al. 2011
9 Branching-time Model Checking of One-counter Processes Göller, Stefan et al. 2010
10 PDL with Intersection and Converse is 2EXP-complete Göller, Stefan et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 10


DROPS-Home | Fulltext Search | Imprint Published by LZI