Simplification problems for automata and games.
PhD thesis, 2014
Decidability Results on the Existence of Lookahead Delegators for NFA.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
Regularity Problems for Weak Pushdown ω-Automata and Games.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012
First-Order Logic with Reachability Predicates on Infinite Systems.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010