Minimization of Büchi Automata using Fair Simulation. - Daniel Tischner (CoRR, 2016)

Minimization of Visibly Pushdown Automata Using Partial Max-SAT. - Matthias Heizmann; Christian Schilling 001; Daniel Tischner (TACAS (1), 2017)

Multi-Modal Route Planning in Road and Transit Networks. - Daniel Tischner (CoRR, 2018)