PhD thesis
- Computational Complexity of Propositional
Dynamic Logics
(University of Leipzig 2008)
[PS][PDF]
Publications
in journals
- Fixpoint logics on hierarchical structures
(with Markus Lohrey)
[PS][PDF]
to appear in Theory of Computing Systems
- PDL with Intersection and Converse: Satisfiability and
Infinite-State Model Checking
(with Markus Lohrey and Carsten Lutz)
[PS][PDF]
Journal of Symbolic Logic, Volume 74, Issue 1 (2009), pp. 279-314
- Reachability on prefix-recognizable graphs
[PS][PDF]
Information Processing Letters, Volume 108, Issue 2, 30 September 2008, pp. 71-74
in conference proceedings
back