8 citations · 13 across the 3 of their papers we have counts for
3 papers
cs.DS2018★ 5 cited
Multi-Modal Route Planning in Road and Transit Networks
Daniel Tischner
We present algorithms for multi-modal route planning in road and public transit networks, as well as in combined networks. Therefore, we explore the nearest neighbor and shortest p…
cs.FL2017★ 8 cited
Minimization of Visibly Pushdown Automata Using Partial Max-SAT
Matthias Heizmann, Christian Schilling, Daniel Tischner
We consider the problem of state-space reduction for nondeterministic weakly-hierarchical visibly pushdown automata (VPA). VPA recognize a robust and algorithmically tractable frag…
cs.FL2016
Minimization of Büchi Automata using Fair Simulation
Daniel Tischner
We present an algorithm, which reduces the size of Büchi automata using fair simulation. Its time complexity is , the space complexity is $\mathcal{…