| Publication | Date of Publication | Type |
|---|
| Model checking on interpretations of classes of bounded local cliquewidth | 2024-12-06 | Paper |
| Directed tangle tree-decompositions and applications | 2024-07-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6124954 | 2024-04-10 | Paper |
| Excluding a planar matching minor in bipartite graphs | 2024-01-29 | Paper |
| Packing even directed circuits quarter-integrally | 2023-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874333 | 2023-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090497 | 2022-07-18 | Paper |
| Model Checking on Interpretations of Classes of Bounded Local Cliquewidth | 2022-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5002812 | 2021-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5002801 | 2021-07-28 | Paper |
| The Directed Flat Wall Theorem | 2021-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144662 | 2021-01-19 | Paper |
| The canonical directed tree decomposition and its applications to the directed disjoint paths problem | 2020-09-28 | Paper |
| First-Order Interpretations of Bounded Expansion Classes | 2020-09-11 | Paper |
| Model-Checking on Ordered Structures | 2020-09-11 | Paper |
| A half-integral Erd\H{o}s-P\'osa theorem for directed odd cycles | 2020-07-23 | Paper |
| Neighborhood complexity and kernelization for nowhere dense classes of graphs | 2020-05-27 | Paper |
| Current Trends and New Perspectives for First-Order Model Checking (Invited Talk) | 2020-05-26 | Paper |
| Polynomial Planar Directed Grid Theorem | 2019-10-15 | Paper |
| Routing with congestion in acyclic digraphs | 2019-09-20 | Paper |
| An Excluded Grid Theorem for Digraphs with Forbidden Minors | 2019-06-20 | Paper |
| Packing directed cycles through a specified vertex set | 2019-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5743498 | 2019-05-10 | Paper |
| Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes | 2019-03-28 | Paper |
| Digraphs of Bounded Width | 2019-03-04 | Paper |
| Coloring and Covering Nowhere Dense Graphs | 2018-10-31 | Paper |
| Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes | 2018-07-16 | Paper |
| Deciding First-Order Properties of Nowhere Dense Graphs | 2018-05-17 | Paper |
| Decomposition theorems and model-checking for the modal μ -calculus | 2018-04-23 | Paper |
| On Hanf-equivalence and the number of embeddings of small induced subgraphs | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636649 | 2018-04-19 | Paper |
| The Generalised Colouring Numbers on Classes of Bounded Expansion | 2018-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4608564 | 2018-03-21 | Paper |
| Matching connectivity: on the structure of graphs with perfect matchings | 2018-01-18 | Paper |
| Inflationary fixed points in modal logic | 2017-07-12 | Paper |
| Quantitative Monadic Second-Order Logic | 2017-07-03 | Paper |
| Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes | 2017-07-03 | Paper |
| Majority colourings of digraphs | 2017-06-13 | Paper |
| First-Order and Monadic Second-Order Model-Checking on Ordered Structures | 2017-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2963895 | 2017-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2954982 | 2017-01-24 | Paper |
| DAG-width is PSPACE-complete | 2016-11-29 | Paper |
| Colouring and Covering Nowhere Dense Graphs | 2016-10-21 | Paper |
| Complexity and monotonicity results for domination games | 2016-04-13 | Paper |
| The Erdos-Posa Property for Directed Graphs | 2016-03-08 | Paper |
| Graph operations on parity games and polynomial-time algorithms | 2016-01-21 | Paper |
| Directed elimination games | 2015-12-10 | Paper |
| Towards the Graph Minor Theorems for Directed Graphs | 2015-11-04 | Paper |
| The Directed Grid Theorem | 2015-08-21 | Paper |
| Deciding First-Order Properties of Nowhere Dense Graphs | 2015-06-26 | Paper |
| An excluded half-integral grid theorem for digraphs and the directed disjoint paths problem | 2015-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2934648 | 2014-12-18 | Paper |
| Directed Width Measures and Monotonicity of Directed Graph Searching | 2014-08-20 | Paper |
| Vertex Disjoint Paths in Upward Planar Graphs | 2014-06-24 | Paper |
| Directed Nowhere Dense Classes of Graphs | 2014-05-22 | Paper |
| Linkless and flat embeddings in 3-space and the unknot problem | 2014-04-03 | Paper |
| Domination problems in nowhere-dense classes of graphs | 2012-10-24 | Paper |
| The dag-width of directed graphs | 2012-08-14 | Paper |
| Linkless and flat embeddings in 3-space | 2012-05-22 | Paper |
| On the parameterized intractability of monadic second-order logic | 2012-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118384 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172385 | 2011-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172533 | 2011-10-05 | Paper |
| Digraph decompositions and monotonicity in digraph searching | 2011-09-12 | Paper |
| Operational Semantics for Fixed-Point Logics on Constraint Databases | 2011-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086929 | 2011-03-30 | Paper |
| Extended Computation Tree Logic | 2010-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3579375 | 2010-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408141 | 2010-02-24 | Paper |
| Distance d-Domination Games | 2010-01-21 | Paper |
| On the Parameterised Intractability of Monadic Second-Order Logic | 2009-11-12 | Paper |
| Reachability in Succinct and Parametric One-Counter Automata | 2009-10-22 | Paper |
| Digraph Decompositions and Monotonicity in Digraph Searching | 2009-01-20 | Paper |
| On Datalog vs. LFP | 2008-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509072 | 2008-07-01 | Paper |
| Digraph measures: Kelly decompositions, games, and orderings | 2008-06-24 | Paper |
| Algorithmic Meta-theorems | 2008-06-05 | Paper |
| DAG-Width and Parity Games | 2008-03-19 | Paper |
| Model Theory Makes Formulas Large | 2007-11-28 | Paper |
| Boundedness of Monadic FO over Acyclic Structures | 2007-11-28 | Paper |
| Generalising automaticity to modal properties of finite structures | 2007-07-16 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
| Backtracking games and inflationary fixed points | 2006-03-20 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| An Extension of Muchnik's Theorem | 2005-04-29 | Paper |
| Expressive equivalence of least and inflationary fixed-point logic | 2004-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473275 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411833 | 2003-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783314 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945218 | 2000-03-23 | Paper |
| Cycles of Well-Linked Sets and an Elementary Bound for the Directed Grid Theorem | N/A | Paper |
