| |
| 2008 | ||
|---|---|---|
| 8 | EE | Stefan Göller: Reachability on prefix-recognizable graphs. Inf. Process. Lett. 108(2): 71-74 (2008) |
| 7 | EE | Stefan Göller, Dirk Nowotka: A note on an extension of PDL. J. Applied Logic 6(4): 606-608 (2008) |
| 2007 | ||
| 6 | EE | Stefan Göller, Markus Lohrey, Carsten Lutz: PDL with Intersection and Converse is 2EXP-complete. Algorithmic-Logical Theory of Infinite Structures 2007 |
| 5 | EE | Stefan Göller: On the Complexity of Reasoning About Dynamic Policies. CSL 2007: 358-373 |
| 4 | EE | Stefan Göller, Markus Lohrey, Carsten Lutz: PDL with Intersection and Converse Is 2 EXP-Complete. FoSSaCS 2007: 198-212 |
| 3 | EE | Stefan Göller, Dirk Nowotka: On a Non-Context-Free Extension of PDL CoRR abs/0707.0562: (2007) |
| 2006 | ||
| 2 | EE | Stefan Göller, Markus Lohrey: Infinite State Model-Checking of Propositional Dynamic Logics. CSL 2006: 349-364 |
| 2005 | ||
| 1 | EE | Stefan Göller, Markus Lohrey: Fixpoint Logics on Hierarchical Structures. FSTTCS 2005: 483-494 |
| 1 | Markus Lohrey | [1] [2] [4] [6] |
| 2 | Carsten Lutz | [4] [6] |
| 3 | Dirk Nowotka | [3] [7] |