Prof. Dr. Sebastian Siebertz
Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz: Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. LICS 2017: 1-11 Stephan Kreutzer, Roman Rabinovich, [...] Kaiser, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz: Graph Searching Games and Width Measures for Directed Graphs. STACS 2015: 34-47 Martin Grohe, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz [...] classical model theory (stability theory). Publications 2021 Jaroslav Nesetril, Patrice Ossona de Mendez, Roman Rabinovich, Sebastian Siebertz: Classes of graphs with low complexity: The case of classes with bounded