Stephan Kreutzer

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 52

Top Venues

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Meike Hatzel, Stephan Kreutzer, Marcelo Garlet Milani, Irene Muzi
Cycles of Well-Linked Sets and an Elementary Bound for the Directed Grid Theorem. CoRR (2024)
Maximilian Gorsky, Ken-ichi Kawarabayashi, Stephan Kreutzer, Sebastian Wiederrecht
Packing Even Directed Circuits Quarter-Integrally. STOC (2024)
Dario Cavallaro, Ken-ichi Kawarabayashi, Stephan Kreutzer
Edge-Disjoint Paths in Eulerian Digraphs. CoRR (2024)
Archontia C. Giannopoulou, Stephan Kreutzer, Sebastian Wiederrecht
Excluding a planar matching minor in bipartite graphs. J. Comb. Theory, Ser. B 164 (2024)
Dario Giuliano Cavallaro, Ken-ichi Kawarabayashi, Stephan Kreutzer
Edge-Disjoint Paths in Eulerian Digraphs. STOC (2024)
Ken-ichi Kawarabayashi, Stephan Kreutzer, O-joung Kwon, Qiqin Xie
A half-integral Erdős-Pósa theorem for directed odd cycles. SODA (2023)
Maximilian Gorsky, Ken-ichi Kawarabayashi, Stephan Kreutzer, Sebastian Wiederrecht
Packing even directed circuits quarter-integrally. CoRR (2023)
Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. LICS (2022)
Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. CoRR (2022)
Jakub Gajarský, Maximilian Gorsky, Stephan Kreutzer
Differential Games, Locality, and Model Checking for FO Logic of Graphs. CSL (2022)
Archontia C. Giannopoulou, Ken-ichi Kawarabayashi, Stephan Kreutzer, O-joung Kwon
Directed Tangle Tree-Decompositions and Applications. SODA (2022)
Archontia C. Giannopoulou, Stephan Kreutzer, Sebastian Wiederrecht
Excluding a Planar Matching Minor in Bipartite Graphs. CoRR (2021)
Kord Eickmeyer, Jan van den Heuvel, Ken-ichi Kawarabayashi, Stephan Kreutzer, Patrice Ossona de Mendez, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
Model-Checking on Ordered Structures. ACM Trans. Comput. Log. 21 (2) (2020)
Jakub Gajarský, Maximilian Gorsky, Stephan Kreutzer
Differential games, locality and model checking for FO logic of graphs. CoRR (2020)
Jakub Gajarský, Stephan Kreutzer
Computing Shrub-Depth Decompositions. STACS (2020)
Jakub Gajarský, Stephan Kreutzer, Jaroslav Nesetril, Patrice Ossona de Mendez, Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk
First-Order Interpretations of Bounded Expansion Classes. ACM Trans. Comput. Log. 21 (4) (2020)
Archontia C. Giannopoulou, Ken-ichi Kawarabayashi, Stephan Kreutzer, O-joung Kwon
The canonical directed tree decomposition and its applications to the directed disjoint paths problem. CoRR (2020)
Archontia C. Giannopoulou, Ken-ichi Kawarabayashi, Stephan Kreutzer, O-joung Kwon
The Directed Flat Wall Theorem. SODA (2020)
Meike Hatzel, Ken-ichi Kawarabayashi, Stephan Kreutzer
Polynomial Planar Directed Grid Theorem. SODA (2019)
Saeed Akhoondian Amiri, Stephan Kreutzer, Dániel Marx, Roman Rabinovich
Routing with congestion in acyclic digraphs. Inf. Process. Lett. 151 (2019)
Stephan Kreutzer, Irene Muzi, Patrice Ossona de Mendez, Roman Rabinovich, Sebastian Siebertz
Algorithmic Properties of Sparse Digraphs. STACS (2019)
Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes. ACM Trans. Algorithms 15 (2) (2019)
Jakub Gajarský, Stephan Kreutzer, Jaroslav Nesetril, Patrice Ossona de Mendez, Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk
First-Order Interpretations of Bounded Expansion Classes. ICALP (2018)
Jakub Gajarský, Stephan Kreutzer, Jaroslav Nesetril, Patrice Ossona de Mendez, Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk
First-order interpretations of bounded expansion classes. CoRR (2018)
Albert Atserias, Stephan Kreutzer, Marc Noy
On Zero-One and Convergence Laws for Graphs Embeddable on a Fixed Surface. ICALP (2018)
Stephan Kreutzer
The Presburger Award 2018 - Laudatio for Aleksander Madry. Bull. EATCS 125 (2018)
Kord Eickmeyer, Jan van den Heuvel, Ken-ichi Kawarabayashi, Stephan Kreutzer, Patrice Ossona de Mendez, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
Model-Checking on Ordered Structures. CoRR (2018)
Martin Grohe, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz, Konstantinos S. Stavropoulos
Coloring and Covering Nowhere Dense Graphs. SIAM J. Discret. Math. 32 (4) (2018)
Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. LICS (2017)
Stephan Kreutzer, Patrice Ossona de Mendez, Roman Rabinovich, Sebastian Siebertz
Algorithmic Properties of Sparse Digraphs. CoRR (2017)
Stephan Kreutzer
Current Trends and New Perspectives for First-Order Model Checking (Invited Talk). CSL (2017)
Stephan Kreutzer
The Presburger Award for Young Scientists 2018 - Call for Nominations. Bull. EATCS 123 (2017)
Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes. SODA (2017)
Martin Grohe, Stephan Kreutzer, Sebastian Siebertz
Deciding First-Order Properties of Nowhere Dense Graphs. J. ACM 64 (3) (2017)
Archontia C. Giannopoulou, Stephan Kreutzer, Sebastian Wiederrecht
Matching Connectivity: On the Structure of Graphs with Perfect Matchings. Electron. Notes Discret. Math. 61 (2017)
Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
Model-Checking for Successor-Invariant First-Order Formulas on Graph Classes of Bounded Expansion. CoRR (2017)
Kord Eickmeyer, Archontia C. Giannopoulou, Stephan Kreutzer, O-joung Kwon, Michal Pilipczuk, Roman Rabinovich, Sebastian Siebertz
Neighborhood Complexity and Kernelization for Nowhere Dense Classes of Graphs. ICALP (2017)
Stephan Kreutzer, Sang-il Oum, Paul D. Seymour, Dominic van der Zypen, David R. Wood
Majority Colourings of Digraphs. Electron. J. Comb. 24 (2) (2017)
Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz, Grischa Weberstädt
Structural Properties and Constant Factor-Approximation of Strong Distance-r Dominating Sets in Sparse Directed Graphs. STACS (2017)
Viktor Engelmann, Sebastian Ordyniak, Stephan Kreutzer
Directed elimination games. Discret. Appl. Math. 199 (2016)
Stephan Kreutzer, Michal Pilipczuk, Roman Rabinovich, Sebastian Siebertz
The Generalised Colouring Numbers on Classes of Bounded Expansion. MFCS (2016)
Saeed Akhoondian Amiri, Stephan Kreutzer, Dániel Marx, Roman Rabinovich
Routing with Congestion in Acyclic Digraphs. MFCS (2016)
Kord Eickmeyer, Archontia C. Giannopoulou, Stephan Kreutzer, O-joung Kwon, Michal Pilipczuk, Roman Rabinovich, Sebastian Siebertz
Neighborhood complexity and kernelization for nowhere dense classes of graphs. CoRR (2016)
Pål Grønås Drange, Markus Sortland Dregi, Fedor V. Fomin, Stephan Kreutzer, Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Felix Reidl, Fernando Sánchez Villaamil, Saket Saurabh, Sebastian Siebertz, Somnath Sikdar
Kernelization and Sparseness: the Case of Dominating Set. STACS (2016)
Saeed Akhoondian Amiri, Ken-ichi Kawarabayashi, Stephan Kreutzer, Paul Wollan
The Erdos-Posa Property for Directed Graphs. CoRR (2016)
Andrei Bulatov, Stephan Kreutzer
Preface. Theory Comput. Syst. 59 (2) (2016)
Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
Graph operations on parity games and polynomial-time algorithms. Theor. Comput. Sci. 614 (2016)
Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes. CoRR (2016)
Stephan Kreutzer, Michal Pilipczuk, Roman Rabinovich, Sebastian Siebertz
The Generalised Colouring Numbers on Classes of Bounded Expansion. CoRR (2016)
Saeed Akhoondian Amiri, Stephan Kreutzer, Dániel Marx, Roman Rabinovich
Routing with Congestion in Acyclic Digraphs. CoRR (2016)
Saeed Akhoondian Amiri, Stephan Kreutzer, Roman Rabinovich
DAG-width is PSPACE-complete. Theor. Comput. Sci. 655 (2016)
Stephan Kreutzer, Sebastian Ordyniak
Complexity and monotonicity results for domination games. Theor. Comput. Sci. 628 (2016)
Ken-ichi Kawarabayashi, Stephan Kreutzer
The Directed Grid Theorem. STOC (2015)
Saeed Akhoondian Amiri, Lukasz Kaiser, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
Graph Searching Games and Width Measures for Directed Graphs. STACS (2015)
Ken-ichi Kawarabayashi, Stephan Kreutzer
Towards the Graph Minor Theorems for Directed Graphs. ICALP (2) (2015)
Martin Grohe, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz, Konstantinos S. Stavropoulos
Colouring and Covering Nowhere Dense Graphs. WG (2015)
Saeed Akhoondian Amiri, Ali Golshani, Stephan Kreutzer, Sebastian Siebertz
Vertex Disjoint Paths in Upward Planar Graphs. CSR (2014)
Ken-ichi Kawarabayashi, Yusuke Kobayashi, Stephan Kreutzer
An excluded half-integral grid theorem for digraphs and the directed disjoint paths problem. STOC (2014)
Saeed Akhoondian Amiri, Stephan Kreutzer, Roman Rabinovich
DAG-width is PSPACE-complete. CoRR (2014)
Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer
Decomposition Theorems and Model-Checking for the Modal $μ$-Calculus. CoRR (2014)
Pål Grønås Drange, Markus S. Dregi, Fedor V. Fomin, Stephan Kreutzer, Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Felix Reidl, Saket Saurabh, Fernando Sánchez Villaamil, Somnath Sikdar
Kernelization and Sparseness: the case of Dominating Set. CoRR (2014)
Lukasz Kaiser, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
Directed Width Measures and Monotonicity of Directed Graph Searching. CoRR (2014)
Martin Grohe, Stephan Kreutzer, Sebastian Siebertz
Deciding first-order properties of nowhere dense graphs. STOC (2014)
Ken-ichi Kawarabayashi, Stephan Kreutzer
The Directed Grid Theorem. CoRR (2014)
Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer
-calculus. CSL-LICS (2014)
Ken-ichi Kawarabayashi, Stephan Kreutzer
An Excluded Grid Theorem for Digraphs with Forbidden Minors. SODA (2014)
Stephan Kreutzer, Nicole Schweikardt
On Hanf-equivalence and the number of embeddings of small induced subgraphs. CSL-LICS (2014)
Martin Grohe, Stephan Kreutzer, Sebastian Siebertz
Deciding first-order properties of nowhere dense graphs. CoRR (2013)
Martin Grohe, Stephan Kreutzer, Sebastian Siebertz
Characterisations of Nowhere Dense Graphs (Invited Talk). FSTTCS (2013)
Stephan Kreutzer, Cristian Riveros
Quantitative Monadic Second-Order Logic. LICS (2013)
Kord Eickmeyer, Ken-ichi Kawarabayashi, Stephan Kreutzer
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes. LICS (2013)
Ken-ichi Kawarabayashi, Daniel Král', Marek Krcál, Stephan Kreutzer
Packing directed cycles through a specified vertex set. SODA (2013)
Saeed Akhoondian Amiri, Ali Golshani, Stephan Kreutzer, Sebastian Siebertz
Vertex Disjoint Path in Upward Planar Graphs. CoRR (2013)
Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
Graph Operations on Parity Games and Polynomial-Time Algorithms CoRR (2012)
Ken-ichi Kawarabayashi, Stephan Kreutzer, Bojan Mohar
Linkless and Flat Embeddings in 3-Space. Discret. Comput. Geom. 47 (4) (2012)
Stephan Kreutzer
On the Parameterized Intractability of Monadic Second-Order Logic Log. Methods Comput. Sci. 8 (1) (2012)
Viktor Engelmann, Stephan Kreutzer, Sebastian Siebertz
First-Order and Monadic Second-Order Model-Checking on Ordered Structures. LICS (2012)
Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, Jan Obdrzálek
The dag-width of directed graphs. J. Comb. Theory, Ser. B 102 (4) (2012)
Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, Dimitrios M. Thilikos
Foreword: Special Issue on Theory and Applications of Graph Searching Problems. Theor. Comput. Sci. 463 (2012)
Stephan Kreutzer, Siamak Tazari
Directed nowhere dense classes of graphs. SODA (2012)
Stephan Kreutzer, Siamak Tazari
Directed Nowhere Dense Classes of Graphs CoRR (2011)
Stephan Kreutzer, Sebastian Ordyniak
Digraph decompositions and monotonicity in digraph searching. Theor. Comput. Sci. 412 (35) (2011)
Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, Dimitrios M. Thilikos
Special Issue on "Theory and Applications of Graph Searching Problems". Theor. Comput. Sci. 412 (24) (2011)
Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, Dimitrios M. Thilikos
Theory and Applications of Graph Searching Problems (GRASTA 2011) (Dagstuhl Seminar 11071). Dagstuhl Reports 1 (2) (2011)
Stephan Kreutzer, Siamak Tazari
Lower Bounds for the Complexity of Monadic Second-Order Logic. LICS (2010)
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
Extended Computation Tree Logic. LPAR (Yogyakarta) (2010)
Stephan Kreutzer, Siamak Tazari
On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic. SODA (2010)
Ken-ichi Kawarabayashi, Stephan Kreutzer, Bojan Mohar
Linkless and flat embeddings in 3-space and the unknot problem. SCG (2010)
Stephan Kreutzer, Siamak Tazari
Lower Bounds for the Complexity of Monadic Second-Order Logic CoRR (2010)
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
Extended Computation Tree Logic CoRR (2010)
Stephan Kreutzer, Martin Lange
A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher Order. FICS (2009)
Stephan Kreutzer
Algorithmic Meta-Theorems CoRR (2009)
Stephan Kreutzer, Anuj Dawar
Parameterized Complexity of First-Order Logic. Electron. Colloquium Comput. Complex. 16 (2009)
Stephan Kreutzer, Siamak Tazari
On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic CoRR (2009)
Stephan Kreutzer
On the Parameterised Intractability of Monadic Second-Order Logic CoRR (2009)
Stephan Kreutzer, Sebastian Ordyniak
-Domination Games. WG (2009)
Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell
Reachability in Succinct and Parametric One-Counter Automata. CONCUR (2009)
Stephan Kreutzer
On the Parameterised Intractability of Monadic Second-Order Logic. CSL (2009)
Stephan Kreutzer
Algorithmic Meta-Theorems. Electron. Colloquium Comput. Complex. 16 (2009)
Anuj Dawar, Stephan Kreutzer
Domination Problems in Nowhere-Dense Classes of Graphs CoRR (2009)

Stephan Kreutzer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephan Kreutzer