Prof. Dr. Sebastian Siebertz
Digraphs. STACS 2019: 46:1-46:20 2018 Amer E. Mouawad, Naomi Nishimura, Venkatesh Raman, Sebastian Siebertz: Vertex Cover Reconfiguration and Beyond. Algorithms 11(2): 20 (2018) Sebastian Siebertz: Re [...] FSTTCS 2013: 21-40 2012 Erich Grädel, Sebastian Siebertz: Dynamic definability. ICDT 2012: 236-248 Viktor Engelmann, Stephan Kreutzer, Sebastian Siebertz: First-Order and Monadic Second-Order Model-Checking