Publications
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 [...] First-Order Transduction Quasiorder. 31:1-31:16 2021 Jaroslav Nesetril , Patrice Ossona de Mendez , Roman Rabinovich , Sebastian Siebertz : Classes of graphs with low complexity: The case of classes with