| Publication | Date of Publication | Type |
|---|
| Canonisation and definability for graphs of bounded rank width | 2024-12-19 | Paper |
| Probabilistic query evaluation with bag semantics | 2024-10-08 | Paper |
| Graph similarity based on matrix norms | 2024-08-06 | Paper |
| Homomorphism tensors and linear equations | 2024-06-24 | Paper |
| Generative Datalog with continuous distributions | 2024-06-06 | Paper |
| Database repairing with soft functional dependencies | 2024-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6147412 | 2024-01-15 | Paper |
| A Faster Isomorphism Test for Graphs of Small Degree | 2023-12-19 | Paper |
| A Deep Dive into the Weisfeiler-Leman Algorithm (Invited Talk) | 2023-08-08 | Paper |
| Independence in Infinite Probabilistic Databases | 2023-04-27 | Paper |
| Simulating Logspace-Recursion with Logarithmic Quantifier Depth | 2023-04-25 | Paper |
| Isomorphism Testing for Graphs Excluding Small Minors | 2023-04-04 | Paper |
| Infinite Probabilistic Databases | 2023-02-07 | Paper |
| Weisfeiler and Leman's Unlikely Journey from Graph Isomorphism to Neural Networks (Invited Talk). | 2023-02-07 | Paper |
| Canonisation and Definability for Graphs of Bounded Rank Width | 2023-02-07 | Paper |
| Recent advances on the graph isomorphism problem | 2022-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094118 | 2022-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5091279 | 2022-07-21 | Paper |
| Symmetry and Similarity (Invited Talk) | 2022-07-21 | Paper |
| The Complexity of Homomorphism Indistinguishability | 2022-07-21 | Paper |
| Graph Similarity Based on Matrix Norms | 2022-06-30 | Paper |
| Graph similarity and approximate isomorphism | 2021-08-04 | Paper |
| Lov\'asz Meets Weisfeiler and Leman | 2021-07-28 | Paper |
| An improved isomorphism test for bounded-tree-width graphs | 2021-07-28 | Paper |
| Logarithmic Weisfeiler-Leman Identifies All Planar Graphs | 2021-06-30 | Paper |
| An improved isomorphism test for bounded-tree-width graphs | 2021-05-03 | Paper |
| Definable decompositions for graphs of bounded linear cliquewidth | 2021-03-26 | Paper |
| Counting bounded tree depth homomorphisms | 2021-01-21 | Paper |
| Definable decompositions for graphs of bounded linear cliquewidth | 2021-01-20 | Paper |
| Learning first-order definable concepts over structures of small degree | 2021-01-19 | Paper |
| Descriptive complexity of linear equation systems and applications to propositional proof complexity | 2021-01-19 | Paper |
| Automorphism groups of graphs of bounded Hadwiger number | 2020-12-28 | Paper |
| A Simple Algorithm for the Graph Minor Decomposition − Logic meets Structural Graph Theory– | 2019-05-15 | Paper |
| A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus | 2019-04-15 | Paper |
| A finite-model-theoretic view on propositional proof complexity | 2019-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4645660 | 2019-01-10 | Paper |
| Coloring and covering nowhere dense graphs | 2018-10-31 | Paper |
| Constraint solving via fractional edge covers | 2018-10-30 | Paper |
| Bounds and algorithms for joins via fractional edge covers | 2018-10-18 | Paper |
| Linear Diophantine Equations, Group CSPs, and Graph Isomorphism | 2018-07-16 | Paper |
| Deciding first-order properties of nowhere dense graphs | 2018-05-17 | Paper |
| Order invariance on decomposable structures | 2018-04-23 | Paper |
| The hardness of embedding grids and walls | 2018-01-04 | Paper |
| Quasi-4-Connected Components | 2017-12-19 | Paper |
| Tight lower and upper bounds for the complexity of canonical colour refinement | 2017-08-15 | Paper |
| Where first-order and monadic second-order logic coincide | 2017-07-13 | Paper |
| On first-order topological queries | 2017-06-13 | Paper |
| Locality of order-invariant first-order formulas | 2017-06-13 | Paper |
| Descriptive Complexity, Canonisation, and Definable Graph Structure Theory | 2017-05-22 | Paper |
| Where first-order and monadic second-order logic coincide | 2017-05-16 | Paper |
| Characterisations of nowhere dense graphs (invited talk) | 2017-02-21 | Paper |
| Colouring and covering nowhere dense graphs | 2016-10-21 | Paper |
| Computing with tangles | 2016-06-23 | Paper |
| Tangled up in Blue (A Survey on Connectivity, Decompositions, and Tangles) | 2016-05-21 | Paper |
| Tangles and connectivity in graphs | 2016-04-13 | Paper |
| Query evaluation via tree-decompositions | 2015-12-07 | Paper |
| Lower bounds for processing data with few random accesses to external memory | 2015-11-11 | Paper |
| PEBBLE GAMES AND LINEAR EQUATIONS | 2015-11-09 | Paper |
| Deciding first-order properties of locally tree-decomposable structures | 2015-10-30 | Paper |
| Limitations of algebraic approaches to graph isomorphism testing | 2015-10-27 | Paper |
| Is polynomial time choiceless? | 2015-09-22 | Paper |
| Computing with Tangles | 2015-08-21 | Paper |
| Deciding first-order properties of nowhere dense graphs | 2015-06-26 | Paper |
| Structure theorem and isomorphism test for graphs with excluded topological subgraphs | 2015-06-02 | Paper |
| Isomorphism Testing for Graphs of Bounded Rank Width | 2015-05-14 | Paper |
| When is the evaluation of conjunctive queries tractable? | 2015-02-27 | Paper |
| Computing crossing numbers in quadratic time | 2015-02-27 | Paper |
| Choiceless polynomial time on structures with small abelian colour classes | 2014-10-14 | Paper |
| Dimension reduction via colour refinement | 2014-10-08 | Paper |
| Isomorphism testing for embeddable graphs through definability | 2014-09-26 | Paper |
| Algorithmic meta theorems for sparse graph classes | 2014-06-24 | Paper |
| Finding topological subgraphs is fixed-parameter tractable | 2014-06-05 | Paper |
| Structure theorem and isomorphism test for graphs with excluded topological subgraphs | 2014-05-13 | Paper |
| Fixed-point definability and polynomial time on graphs with excluded minors | 2014-02-17 | Paper |
| Size bounds and query plans for relational joins | 2013-11-14 | Paper |
| Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement | 2013-09-17 | Paper |
| L-recursion and a new logic for logarithmic space | 2013-04-09 | Paper |
| Pebble games and linear equations | 2012-11-22 | Paper |
| L-recursion and a new logic for logarithmic space | 2012-09-18 | Paper |
| Enumerating homomorphisms | 2012-05-11 | Paper |
| Enumerating homomorphisms | 2012-04-24 | Paper |
| A complexity dichotomy for partition functions with mixed signs | 2012-04-24 | Paper |
| Randomisation and derandomisation in descriptive complexity theory | 2012-04-02 | Paper |
| Methods for algorithmic meta theorems | 2012-03-02 | Paper |
| Counting homomorphisms and partition functions | 2012-03-02 | Paper |
| A Complexity Dichotomy for Partition Functions with Mixed Signs | 2011-04-04 | Paper |
| Logic, graphs, and algorithms | 2011-03-30 | Paper |
| Constraint satisfaction with succinctly specified relations | 2010-10-07 | Paper |
| Fixed-point definability and polynomial time on chordal graphs and line graphs | 2010-09-03 | Paper |
| Randomisation and derandomisation in descriptive complexity theory | 2010-09-03 | Paper |
| Constraint solving via fractional edge covers | 2010-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3579375 | 2010-08-06 | Paper |
| Hypertree-width and related hypergraph invariants | 2010-07-30 | Paper |
| Fixed-Point Definability and Polynomial Time | 2009-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396009 | 2009-09-15 | Paper |
| Preservation under Extensions on Well-Behaved Finite Structures | 2009-08-20 | Paper |
| Database query processing using finite cursor machines | 2009-08-06 | Paper |
| The Complexity of Datalog on Linear Orders | 2009-04-29 | Paper |
| Testing Graph Isomorphism in Parallel by Playing a Game | 2009-03-12 | Paper |
| The Ackermann Award 2007 | 2009-03-05 | Paper |
| On tree width, bramble size, and expansion | 2009-01-21 | Paper |
| The complexity of homomorphism and constraint satisfaction problems seen from the other side | 2008-12-21 | Paper |
| Non-dichotomies in Constraint Satisfaction Complexity | 2008-08-19 | Paper |
| An Isomorphism Between Subexponential and Parameterized Complexity Theory | 2008-08-14 | Paper |
| On Parameterized Approximability | 2008-06-03 | Paper |
| Model Theory Makes Formulas Large | 2007-11-28 | Paper |
| Parameterized Approximability of the Disjoint Cycle Problem | 2007-11-28 | Paper |
| Hypertree width and related hypergraph invariants | 2007-11-21 | Paper |
| The succinctness of first-order logic on linear orders | 2007-10-11 | Paper |
| Model-Checking Problems as a Basis for Parameterized Intractability | 2007-10-11 | Paper |
| Bounded fixed-parameter tractability and reducibility | 2007-09-28 | Paper |
| The Structure of Tractable Constraint Satisfaction Problems | 2007-09-05 | Paper |
| Tight lower bounds for query processing on streaming and external memory data | 2007-07-16 | Paper |
| An analysis of the W*-hierarchy | 2007-07-09 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Graph-Theoretic Concepts in Computer Science | 2006-11-01 | Paper |
| Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
| Fundamentals of Computation Theory | 2006-10-20 | Paper |
| Large finite structures with few \(L^k\)-types | 2006-10-10 | Paper |
| Local tree-width, excluded minors, and approximation algorithms | 2006-06-27 | Paper |
| Parametrized complexity theory. | 2006-05-24 | Paper |
| Bounded fixed-parameter tractability and \(\log^{2}n\) nondeterministic bits | 2006-01-10 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| The complexity of partition functions | 2006-01-09 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| Machine-based methods in parameterized complexity theory | 2005-06-30 | Paper |
| Comparing the succinctness of monadic query languages over finite trees | 2005-03-21 | Paper |
| The Parameterized Complexity of Counting Problems | 2005-02-21 | Paper |
| Learnability and definability in trees and similar structures | 2005-01-25 | Paper |
| An existential locality theorem | 2004-11-22 | Paper |
| Computing crossing numbers in quadratic time | 2004-11-22 | Paper |
| The complexity of first-order and monadic second-order logic revisited | 2004-11-18 | Paper |
| Describing parameterized complexity classes | 2004-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736878 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736854 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473259 | 2004-08-04 | Paper |
| Reachability and connectivity queries in constraint databases | 2003-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783304 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762493 | 2002-01-09 | Paper |
| Fixed-parameter tractability, definability, and model-checking | 2001-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525283 | 2001-01-22 | Paper |
| On fixed-point logic with counting | 2001-01-14 | Paper |
| Equivalence in finite-variable logics is complete for polynomial time | 2000-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945215 | 2000-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938635 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936131 | 2000-01-24 | Paper |
| Finite Variable Logics in Descriptive Complexity Theory | 1999-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218934 | 1999-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218118 | 1998-11-11 | Paper |
| Existential least fixed-point logic and its relatives | 1997-06-10 | Paper |
| Arity hierarchies | 1997-04-21 | Paper |
| Some Remarks on Finite Löwenheim‐Skolem Theorems | 1997-03-19 | Paper |
| A double arity hierarchy theorem for transitive closure logic | 1996-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4866342 | 1996-03-04 | Paper |
| Complete problems for fixed-point logics | 1995-11-28 | Paper |
| Homomorphism Tensors and Linear Equations | N/A | Paper |
