Stephan Kreutzer

148 papers A* 35A 7B 17Misc 1Journal 69Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Cycles of Well-Linked Sets II: an Elementary Bound for the Directed Grid Theorem. CoRR Meike Hatzel, Stephan Kreutzer, Marcelo Garlet Milani, Irene Muzi
2026	A*	`conf`	The Directed Disjoint Paths Problem with Congestion. SODA Matthias Bentert, Dario Cavallaro, Amelie Heindl, Ken-ichi Kawarabayashi, Stephan Kreutzer, Johannes Schröder
2025	J	`jnl`	A half-integral Erdős-Pósa theorem for directed odd cycles. J. Comb. Theory B Ken-ichi Kawarabayashi, Stephan Kreutzer, O-joung Kwon, Qiqin Xie
2025	J	`jnl`	Directed treewidth is closed under taking butterfly minors. CoRR Gunwoo Kim, Meike Hatzel, Stephan Kreutzer
2025	J	`jnl`	The Directed Disjoint Paths Problem with Congestion. CoRR Matthias Bentert, Dario Cavallaro, Amelie Heindl, Ken-ichi Kawarabayashi, Stephan Kreutzer, Johannes Schröder
2025	J	`jnl`	Well-Quasi-Ordering Eulerian Digraphs Embeddable in Surfaces by Strong Immersion. CoRR Dario Cavallaro, Ken-ichi Kawarabayashi, Stephan Kreutzer
2024	A*	`conf`	Cycles of Well-Linked Sets and an Elementary Bound for the Directed Grid Theorem. FOCS Meike Hatzel, Stephan Kreutzer, Marcelo Garlet Milani, Irene Muzi
2024	J	`jnl`	Cycles of Well-Linked Sets and an Elementary Bound for the Directed Grid Theorem. CoRR Meike Hatzel, Stephan Kreutzer, Marcelo Garlet Milani, Irene Muzi
2024	A*	`conf`	Edge-Disjoint Paths in Eulerian Digraphs. STOC Dario Giuliano Cavallaro, Ken-ichi Kawarabayashi, Stephan Kreutzer
2024	J	`jnl`	Edge-Disjoint Paths in Eulerian Digraphs. CoRR Dario Cavallaro, Ken-ichi Kawarabayashi, Stephan Kreutzer
2024	J	`jnl`	Excluding a planar matching minor in bipartite graphs. J. Comb. Theory B Archontia C. Giannopoulou, Stephan Kreutzer, Sebastian Wiederrecht
2024	A*	`conf`	Packing Even Directed Circuits Quarter-Integrally. STOC Maximilian Gorsky, Ken-ichi Kawarabayashi, Stephan Kreutzer, Sebastian Wiederrecht
2023	A*	`conf`	A half-integral Erdős-Pósa theorem for directed odd cycles. SODA Ken-ichi Kawarabayashi, Stephan Kreutzer, O-joung Kwon, Qiqin Xie
2023	J	`jnl`	Packing even directed circuits quarter-integrally. CoRR Maximilian Gorsky, Ken-ichi Kawarabayashi, Stephan Kreutzer, Sebastian Wiederrecht
2022	B	`conf`	Differential Games, Locality, and Model Checking for FO Logic of Graphs. CSL Jakub Gajarský, Maximilian Gorsky, Stephan Kreutzer
2022	A*	`conf`	Directed Tangle Tree-Decompositions and Applications. SODA Archontia C. Giannopoulou, Ken-ichi Kawarabayashi, Stephan Kreutzer, O-joung Kwon
2022	A*	`conf`	Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. LICS Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk
2022	J	`jnl`	Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. CoRR Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk
2021	J	`jnl`	Excluding a Planar Matching Minor in Bipartite Graphs. CoRR Archontia C. Giannopoulou, Stephan Kreutzer, Sebastian Wiederrecht
2020	A	`conf`	Computing Shrub-Depth Decompositions. STACS Jakub Gajarský, Stephan Kreutzer
2020	J	`jnl`	Differential games, locality and model checking for FO logic of graphs. CoRR Jakub Gajarský, Maximilian Gorsky, Stephan Kreutzer
2020	J	`jnl`	First-Order Interpretations of Bounded Expansion Classes. ACM Trans. Comput. Log. Jakub Gajarský, Stephan Kreutzer, Jaroslav Nesetril, Patrice Ossona de Mendez, Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk
2020	J	`jnl`	Model-Checking on Ordered Structures. ACM Trans. Comput. Log. Kord Eickmeyer, Jan van den Heuvel, Ken-ichi Kawarabayashi, Stephan Kreutzer, Patrice Ossona de Mendez, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
2020	A*	`conf`	The Directed Flat Wall Theorem. SODA Archontia C. Giannopoulou, Ken-ichi Kawarabayashi, Stephan Kreutzer, O-joung Kwon
2020	J	`jnl`	The canonical directed tree decomposition and its applications to the directed disjoint paths problem. CoRR Archontia C. Giannopoulou, Ken-ichi Kawarabayashi, Stephan Kreutzer, O-joung Kwon
2019	A	`conf`	Algorithmic Properties of Sparse Digraphs. STACS Stephan Kreutzer, Irene Muzi, Patrice Ossona de Mendez, Roman Rabinovich, Sebastian Siebertz
2019	J	`jnl`	Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes. ACM Trans. Algorithms Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
2019	A*	`conf`	Polynomial Planar Directed Grid Theorem. SODA Meike Hatzel, Ken-ichi Kawarabayashi, Stephan Kreutzer
2019	J	`jnl`	Routing with congestion in acyclic digraphs. Inf. Process. Lett. Saeed Akhoondian Amiri, Stephan Kreutzer, Dániel Marx, Roman Rabinovich
2018	J	`jnl`	Coloring and Covering Nowhere Dense Graphs. SIAM J. Discret. Math. Martin Grohe, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz, Konstantinos S. Stavropoulos
2018	—	`ch.`	Digraphs of Bounded Width. Classes of Directed Graphs Stephan Kreutzer, O-joung Kwon
2018	A*	`conf`	First-Order Interpretations of Bounded Expansion Classes. ICALP Jakub Gajarský, Stephan Kreutzer, Jaroslav Nesetril, Patrice Ossona de Mendez, Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk
2018	J	`jnl`	First-order interpretations of bounded expansion classes. CoRR Jakub Gajarský, Stephan Kreutzer, Jaroslav Nesetril, Patrice Ossona de Mendez, Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk
2018	J	`jnl`	Model-Checking on Ordered Structures. CoRR Kord Eickmeyer, Jan van den Heuvel, Ken-ichi Kawarabayashi, Stephan Kreutzer, Patrice Ossona de Mendez, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
2018	A*	`conf`	On Zero-One and Convergence Laws for Graphs Embeddable on a Fixed Surface. ICALP Albert Atserias, Stephan Kreutzer, Marc Noy
2018	J	`jnl`	The Presburger Award 2018 - Laudatio for Aleksander Madry. Bull. EATCS Stephan Kreutzer
2017	J	`jnl`	Algorithmic Properties of Sparse Digraphs. CoRR Stephan Kreutzer, Patrice Ossona de Mendez, Roman Rabinovich, Sebastian Siebertz
2017	B	`conf`	Current Trends and New Perspectives for First-Order Model Checking (Invited Talk). CSL Stephan Kreutzer
2017	J	`jnl`	Deciding First-Order Properties of Nowhere Dense Graphs. J. ACM Martin Grohe, Stephan Kreutzer, Sebastian Siebertz
2017	J	`jnl`	Majority Colourings of Digraphs. Electron. J. Comb. Stephan Kreutzer, Sang-il Oum, Paul D. Seymour, Dominic van der Zypen, David R. Wood
2017	J	`jnl`	Matching Connectivity: On the Structure of Graphs with Perfect Matchings. Electron. Notes Discret. Math. Archontia C. Giannopoulou, Stephan Kreutzer, Sebastian Wiederrecht
2017	J	`jnl`	Model-Checking for Successor-Invariant First-Order Formulas on Graph Classes of Bounded Expansion. CoRR Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
2017	A*	`conf`	Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. LICS Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
2017	A*	`conf`	Neighborhood Complexity and Kernelization for Nowhere Dense Classes of Graphs. ICALP Kord Eickmeyer, Archontia C. Giannopoulou, Stephan Kreutzer, O-joung Kwon, Michal Pilipczuk, Roman Rabinovich, Sebastian Siebertz
2017	A*	`conf`	Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes. SODA Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
2017	A	`conf`	Structural Properties and Constant Factor-Approximation of Strong Distance-r Dominating Sets in Sparse Directed Graphs. STACS Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz, Grischa Weberstädt
2017	J	`jnl`	The Presburger Award for Young Scientists 2018 - Call for Nominations. Bull. EATCS Stephan Kreutzer
2016	J	`jnl`	Complexity and monotonicity results for domination games. Theor. Comput. Sci. Stephan Kreutzer, Sebastian Ordyniak
2016	J	`jnl`	DAG-width is PSPACE-complete. Theor. Comput. Sci. Saeed Akhoondian Amiri, Stephan Kreutzer, Roman Rabinovich
2016	J	`jnl`	Directed elimination games. Discret. Appl. Math. Viktor Engelmann, Sebastian Ordyniak, Stephan Kreutzer
2016	J	`jnl`	Graph operations on parity games and polynomial-time algorithms. Theor. Comput. Sci. Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
2016	A	`conf`	Kernelization and Sparseness: the Case of Dominating Set. STACS 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
2016	J	`jnl`	Neighborhood complexity and kernelization for nowhere dense classes of graphs. CoRR Kord Eickmeyer, Archontia C. Giannopoulou, Stephan Kreutzer, O-joung Kwon, Michal Pilipczuk, Roman Rabinovich, Sebastian Siebertz
2016	—	`ch.`	Nowhere Crownful Classes of Directed Graphs. Encyclopedia of Algorithms Stephan Kreutzer
2016	J	`jnl`	Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes. CoRR Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
2016	J	`jnl`	Preface. Theory Comput. Syst. Andrei Bulatov, Stephan Kreutzer
2016	B	`conf`	Routing with Congestion in Acyclic Digraphs. MFCS Saeed Akhoondian Amiri, Stephan Kreutzer, Dániel Marx, Roman Rabinovich
2016	J	`jnl`	Routing with Congestion in Acyclic Digraphs. CoRR Saeed Akhoondian Amiri, Stephan Kreutzer, Dániel Marx, Roman Rabinovich
2016	J	`jnl`	The Erdos-Posa Property for Directed Graphs. CoRR Saeed Akhoondian Amiri, Ken-ichi Kawarabayashi, Stephan Kreutzer, Paul Wollan
2016	B	`conf`	The Generalised Colouring Numbers on Classes of Bounded Expansion. MFCS Stephan Kreutzer, Michal Pilipczuk, Roman Rabinovich, Sebastian Siebertz
2016	J	`jnl`	The Generalised Colouring Numbers on Classes of Bounded Expansion. CoRR Stephan Kreutzer, Michal Pilipczuk, Roman Rabinovich, Sebastian Siebertz
2015	B	`ed.`	24th EACSL Annual Conference on Computer Science Logic, CSL 2015, Berlin, Germany, September 7-10, 2015 CSL Stephan Kreutzer
2015	B	`conf`	Colouring and Covering Nowhere Dense Graphs. WG Martin Grohe, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz, Konstantinos S. Stavropoulos
2015	A	`conf`	Graph Searching Games and Width Measures for Directed Graphs. STACS Saeed Akhoondian Amiri, Lukasz Kaiser, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
2015	A*	`conf`	The Directed Grid Theorem. STOC Ken-ichi Kawarabayashi, Stephan Kreutzer
2015	—	`conf`	Towards the Graph Minor Theorems for Directed Graphs. ICALP (2) Ken-ichi Kawarabayashi, Stephan Kreutzer
2014	A*	`conf`	An Excluded Grid Theorem for Digraphs with Forbidden Minors. SODA Ken-ichi Kawarabayashi, Stephan Kreutzer
2014	A*	`conf`	An excluded half-integral grid theorem for digraphs and the directed disjoint paths problem. STOC Ken-ichi Kawarabayashi, Yusuke Kobayashi, Stephan Kreutzer
2014	J	`jnl`	DAG-width is PSPACE-complete. CoRR Saeed Akhoondian Amiri, Stephan Kreutzer, Roman Rabinovich
2014	A*	`conf`	Deciding first-order properties of nowhere dense graphs. STOC Martin Grohe, Stephan Kreutzer, Sebastian Siebertz
2014	J	`jnl`	Decomposition Theorems and Model-Checking for the Modal $μ$-Calculus. CoRR Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer
2014	—	`conf`	Decomposition theorems and model-checking for the modal CSL-LICS Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer
2014	J	`jnl`	Directed Width Measures and Monotonicity of Directed Graph Searching. CoRR Lukasz Kaiser, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
2014	J	`jnl`	Kernelization and Sparseness: the case of Dominating Set. CoRR 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
2014	—	`conf`	On Hanf-equivalence and the number of embeddings of small induced subgraphs. CSL-LICS Stephan Kreutzer, Nicole Schweikardt
2014	J	`jnl`	The Directed Grid Theorem. CoRR Ken-ichi Kawarabayashi, Stephan Kreutzer
2014	Misc	`conf`	Vertex Disjoint Paths in Upward Planar Graphs. CSR Saeed Akhoondian Amiri, Ali Golshani, Stephan Kreutzer, Sebastian Siebertz
2013	—	`conf`	Characterisations of Nowhere Dense Graphs (Invited Talk). FSTTCS Martin Grohe, Stephan Kreutzer, Sebastian Siebertz
2013	J	`jnl`	Deciding first-order properties of nowhere dense graphs. CoRR Martin Grohe, Stephan Kreutzer, Sebastian Siebertz
2013	A*	`conf`	Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes. LICS Kord Eickmeyer, Ken-ichi Kawarabayashi, Stephan Kreutzer
2013	A*	`conf`	Packing directed cycles through a specified vertex set. SODA Ken-ichi Kawarabayashi, Daniel Král', Marek Krcál, Stephan Kreutzer
2013	A*	`conf`	Quantitative Monadic Second-Order Logic. LICS Stephan Kreutzer, Cristian Riveros
2013	J	`jnl`	Vertex Disjoint Path in Upward Planar Graphs. CoRR Saeed Akhoondian Amiri, Ali Golshani, Stephan Kreutzer, Sebastian Siebertz
2012	A*	`conf`	Directed nowhere dense classes of graphs. SODA Stephan Kreutzer, Siamak Tazari
2012	A*	`conf`	First-Order and Monadic Second-Order Model-Checking on Ordered Structures. LICS Viktor Engelmann, Stephan Kreutzer, Sebastian Siebertz
2012	J	`jnl`	Foreword: Special Issue on Theory and Applications of Graph Searching Problems. Theor. Comput. Sci. Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, Dimitrios M. Thilikos
2012	J	`jnl`	Graph Operations on Parity Games and Polynomial-Time Algorithms CoRR Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
2012	J	`jnl`	Linkless and Flat Embeddings in 3-Space. Discret. Comput. Geom. Ken-ichi Kawarabayashi, Stephan Kreutzer, Bojan Mohar
2012	J	`jnl`	On the Parameterized Intractability of Monadic Second-Order Logic Log. Methods Comput. Sci. Stephan Kreutzer
2012	J	`jnl`	The dag-width of directed graphs. J. Comb. Theory B Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, Jan Obdrzálek
2011	—	`ch.`	Algorithmic meta-theorems. Finite and Algorithmic Model Theory Stephan Kreutzer
2011	J	`jnl`	Digraph decompositions and monotonicity in digraph searching. Theor. Comput. Sci. Stephan Kreutzer, Sebastian Ordyniak
2011	J	`jnl`	Directed Nowhere Dense Classes of Graphs CoRR Stephan Kreutzer, Siamak Tazari
2011	—	`ch.`	Graph searching games. Lectures in Game Theory for Computer Scientists Stephan Kreutzer
2011	J	`jnl`	Special Issue on "Theory and Applications of Graph Searching Problems". Theor. Comput. Sci. Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, Dimitrios M. Thilikos
2011	J	`jnl`	Theory and Applications of Graph Searching Problems (GRASTA 2011) (Dagstuhl Seminar 11071). Dagstuhl Reports Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, Dimitrios M. Thilikos
2010	J	`jnl`	Extended Computation Tree Logic CoRR Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
2010	—	`conf`	Extended Computation Tree Logic. LPAR (Yogyakarta) Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
2010	—	`conf`	Linkless and flat embeddings in 3-space and the unknot problem. SCG Ken-ichi Kawarabayashi, Stephan Kreutzer, Bojan Mohar
2010	J	`jnl`	Lower Bounds for the Complexity of Monadic Second-Order Logic CoRR Stephan Kreutzer, Siamak Tazari
2010	A*	`conf`	Lower Bounds for the Complexity of Monadic Second-Order Logic. LICS Stephan Kreutzer, Siamak Tazari
2010	A*	`conf`	On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic. SODA Stephan Kreutzer, Siamak Tazari
2009	—	`conf`	A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher Order. FICS Stephan Kreutzer, Martin Lange
2009	J	`jnl`	Algorithmic Meta-Theorems CoRR Stephan Kreutzer
2009	J	`jnl`	Algorithmic Meta-Theorems. Electron. Colloquium Comput. Complex. Stephan Kreutzer
2009	B	`conf`	Distance WG Stephan Kreutzer, Sebastian Ordyniak
2009	J	`jnl`	Domination Problems in Nowhere-Dense Classes of Graphs CoRR Anuj Dawar, Stephan Kreutzer
2009	—	`conf`	Domination Problems in Nowhere-Dense Classes. FSTTCS Anuj Dawar, Stephan Kreutzer
2009	—	`conf`	Methods for Algorithmic Meta Theorems. AMS-ASL Joint Special Session Martin Grohe, Stephan Kreutzer
2009	J	`jnl`	On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic CoRR Stephan Kreutzer, Siamak Tazari
2009	J	`jnl`	On the Parameterised Intractability of Monadic Second-Order Logic CoRR Stephan Kreutzer
2009	B	`conf`	On the Parameterised Intractability of Monadic Second-Order Logic. CSL Stephan Kreutzer
2009	J	`jnl`	Parameterized Complexity of First-Order Logic. Electron. Colloquium Comput. Complex. Stephan Kreutzer, Anuj Dawar
2009	B	`conf`	Reachability in Succinct and Parametric One-Counter Automata. CONCUR Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell
2008	—	`conf`	Algorithmic Meta-theorems. IWPEC Stephan Kreutzer
2008	A*	`conf`	Computing excluded minors. SODA Isolde Adler, Martin Grohe, Stephan Kreutzer
2008	J	`jnl`	Digraph Decompositions and Monotonicity in Digraph Searching CoRR Stephan Kreutzer, Sebastian Ordyniak
2008	B	`conf`	Digraph Decompositions and Monotonicity in Digraph Searching. WG Stephan Kreutzer, Sebastian Ordyniak
2008	J	`jnl`	Digraph measures: Kelly decompositions, games, and orderings. Theor. Comput. Sci. Paul Hunter, Stephan Kreutzer
2008	—	`conf`	Non-regular fixed-point logics and games. Logic and Automata Stephan Kreutzer, Martin Lange
2008	—	`conf`	On Datalog vs. LFP. ICALP (2) Anuj Dawar, Stephan Kreutzer
2007	A*	`conf`	Boundedness of Monadic FO over Acyclic Structures. ICALP Stephan Kreutzer, Martin Otto, Nicole Schweikardt
2007	A*	`conf`	Digraph measures: Kelly decompositions, games, and orderings. SODA Paul Hunter, Stephan Kreutzer
2007	J	`jnl`	Generalising automaticity to modal properties of finite structures. Theor. Comput. Sci. Anuj Dawar, Stephan Kreutzer
2007	A*	`conf`	Locally Excluding a Minor. LICS Anuj Dawar, Martin Grohe, Stephan Kreutzer
2007	A*	`conf`	Model Theory Makes Formulas Large. ICALP Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
2006	A*	`conf`	Approximation Schemes for First-Order Definable Optimisation Problems. LICS Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
2006	J	`jnl`	Backtracking games and inflationary fixed points. Theor. Comput. Sci. Anuj Dawar, Erich Grädel, Stephan Kreutzer
2006	A	`conf`	DAG-Width and Parity Games. STACS Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer
2005	J	`jnl`	An Extension of Muchnik's Theorem. J. Log. Comput. Achim Blumensath, Stephan Kreutzer
2005	B	`conf`	The Complexity of Independence-Friendly Fixpoint Logic. CSL Julian C. Bradfield, Stephan Kreutzer
2005	B	`conf`	The Expressive Power of Two-Variable Least Fixed-Point Logics. MFCS Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
2004	A*	`conf`	Backtracking Games and Inflationary Fixed Points. ICALP Anuj Dawar, Erich Grädel, Stephan Kreutzer
2004	J	`jnl`	Expressive equivalence of least and inflationary fixed-point logic. Ann. Pure Appl. Log. Stephan Kreutzer
2004	J	`jnl`	Inflationary fixed points in modal logic. ACM Trans. Comput. Log. Anuj Dawar, Erich Grädel, Stephan Kreutzer
2004	J	`jnl`	Logik und Informatik. it Inf. Technol. Stephan Kreutzer, Nicole Schweikardt
2003	B	`conf`	Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. LPAR Dietmar Berwanger, Erich Grädel, Stephan Kreutzer
2003	A*	`conf`	Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions. LICS Erich Grädel, Stephan Kreutzer
2002	A*	`conf`	Expressive Equivalence of Least and Inflationary Fixed-Point Logic. LICS Stephan Kreutzer
2002	—	`conf`	Generalising Automaticity to Modal Properties of Finite Structures. FSTTCS Anuj Dawar, Stephan Kreutzer
2002	B	`conf`	Partial Fixed-Point Logic on Infinite Structures. CSL Stephan Kreutzer
2002	—	`—`	Pure and applied fixed-point logics. Stephan Kreutzer
2002	—	`ch.`	Pure and applied fixed-point logics. Ausgezeichnete Informatikdissertationen Stephan Kreutzer
2001	B	`conf`	Inflationary Fixed Points in Modal Logic. CSL Anuj Dawar, Erich Grädel, Stephan Kreutzer
2001	B	`conf`	Operational Semantics for Fixed-Point Logics on Constraint Databases. LPAR Stephan Kreutzer
2001	A	`conf`	Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls. ICDT Stephan Kreutzer
2000	A*	`conf`	Fixed-Point Query Languages for Linear Constraint Databases. PODS Stephan Kreutzer
1999	B	`conf`	Descriptive Complexity Theory for Constraint Databases. CSL Erich Grädel, Stephan Kreutzer