First-Order Logic with Reachability Predicates on Infinite Systems. - Stefan Schulz 002 (FSTTCS, 2010)

Regularity Problems for Weak Pushdown ω-Automata and Games. - Christof Löding; Stefan Repke (MFCS, 2012)

Decidability Results on the Existence of Lookahead Delegators for NFA. - Christof Löding; Stefan Repke (FSTTCS, 2013)

Simplification problems for automata and games. - Stefan Repke (2014)