Publications

2017

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

The Computational Complexity of Finding Separators in Temporal Graphs Journal Article

arXiv preprint arXiv:1711.00963, 2017.

Links | BibTeX

Zschoche, Philipp

On Finding Separators in Temporal Graphs Masters 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 Inproceedings

Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 348–361, Springer International Publishing, 2017.

Abstract | Links | BibTeX

2015

Zschoche, Philipp

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

2015.

BibTeX