dblp.uni-trier.dewww.uni-trier.de

Stefan Göller

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Markus Lohrey [1] [2] [4] [6]
2Carsten Lutz [4] [6]
3Dirk Nowotka [3] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)