Thesis or dissertation

• Faster approximation algorithms for partially dynamic shortest path problems. Sebastian Krinninger. University of Vienna, 2015.

• Improved algorithms and conditional lower bounds for problems in formal verification and reactive synthesis. Veronika Loitzenbauer. University of Vienna, 2017. Not yet available online.