Publications

2017

Zschoche, Philipp; Fluschnik, Till; Molter, Hendrik; Niedermeier, Rolf

The Computational Complexity of Finding Separators in Temporal Graphs Preprint

2017.

Links | BibTeX

Zschoche, Philipp

On Finding Separators in Temporal Graphs Master's Thesis

TU Berlin, 2017, (Master thesis).

Links | BibTeX

Kellerhals, Leon; Korenwein, Viatcheslav; Zschoche, Philipp; Bredereck, Robert; Chen, Jiehua

On the Computational Complexity of Variants of Combinatorial Voter Control in Elections Conference

Proceedings of the 14th International Conference on Theory and Applications of Models of Computation (TAMC '17), pp. 348–361, Springer International Publishing, 2017.

Links | BibTeX

2015

Zschoche, Philipp

Automatisierte Erkennung und Eliminierung impliziter Äquivalenzen in quantifizierten nicht-linearen Ungleichungssystemen zur Stabilitätsverifikation hybrider Systeme mittels Lyapunov-Theorie Bachelor's Thesis

2015.

BibTeX