| Publication | Date of Publication | Type |
|---|
| On algorithms based on finitely many homomorphism counts | 2024-08-06 | Paper |
| Forbidden induced subgraphs and the Łoś-Tarski theorem | 2024-05-29 | Paper |
| A surprising relationship between descriptive complexity and proof complexity | 2023-06-26 | Paper |
| Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique | 2023-04-15 | Paper |
| FO-Definability of Shrub-Depth | 2023-02-07 | Paper |
| A parameterized halting problem, $\Delta_0$ truth and the MRDP theorem | 2022-11-11 | Paper |
| Parameterized Parallel Computing and First-Order Logic | 2022-11-09 | Paper |
| The Complexity of Homomorphism Indistinguishability | 2022-07-21 | Paper |
| Game-theoretic analysis of Guts Poker | 2021-08-14 | Paper |
| A parameterized halting problem, the linear time hierarchy, and the MRDP theorem | 2021-01-20 | Paper |
| Tree-depth, quantifier elimination, and quantifier rank | 2021-01-20 | Paper |
| Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. | 2020-05-26 | Paper |
| The parameterized space complexity of model-checking bounded variable first-order logic | 2019-11-26 | Paper |
| Some lower bounds in parameterized \(\mathrm{AC}^{0}\) | 2019-05-29 | Paper |
| The constant inapproximability of the parameterized dominating set problem | 2019-05-07 | Paper |
| Some lower bounds in parameterized \(\mathrm{AC}^0\) | 2018-03-21 | Paper |
| The hardness of embedding grids and walls | 2018-01-04 | Paper |
| On the ordered conjecture | 2017-05-16 | Paper |
| The parameterized complexity of \(k\)-edge induced subgraphs | 2016-12-22 | Paper |
| The Ehrenfeucht-Fraïssé method and the planted clique conjecture | 2015-09-22 | Paper |
| Hard Instances of Algorithms and Proof Systems | 2015-09-03 | Paper |
| Consistency, optimality, and incompleteness | 2015-08-27 | Paper |
| On optimal inverters | 2014-10-21 | Paper |
| Bounded variable logic, parameterized logarithmic space, and Savitch's theorem | 2014-10-14 | Paper |
| From almost optimal algorithms to logics for complexity classes via listings and a halting problem | 2014-02-17 | Paper |
| The Parameterized Complexity of k-Edge Induced Subgraphs | 2013-08-12 | Paper |
| The exponential time hypothesis and the parameterized clique problem | 2013-01-07 | Paper |
| A Parameterized Halting Problem | 2012-09-05 | Paper |
| Hard instances of algorithms and proof systems | 2012-08-14 | Paper |
| Strong isomorphism reductions in complexity theory | 2011-12-23 | Paper |
| Consistency and optimality | 2011-09-09 | Paper |
| Lower bounds for kernelizations and other preprocessing procedures | 2011-05-25 | Paper |
| On \(p\)-optimal proof systems and logics for PTIME | 2010-09-07 | Paper |
| On slicewise monotone parameterized problems and optimal proof systems for TAUT | 2010-09-03 | Paper |
| A logic for PTIME and a parameterized halting problem | 2010-09-03 | Paper |
| Lower bounds for kernelizations and other preprocessing procedures | 2010-07-28 | Paper |
| On the complexity of Gödel's proof predicate | 2010-03-15 | Paper |
| Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping | 2009-03-05 | Paper |
| Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping | 2009-03-02 | Paper |
| Understanding the Complexity of Induced Subgraph Isomorphisms | 2008-08-28 | Paper |
| An Isomorphism Between Subexponential and Parameterized Complexity Theory | 2008-08-14 | Paper |
| On Parameterized Approximability | 2008-06-03 | Paper |
| The Parameterized Complexity of Maximality and Minimality Problems | 2008-06-03 | Paper |
| The parameterized complexity of maximality and minimality problems | 2008-02-13 | Paper |
| An analysis of the W*-hierarchy | 2007-07-09 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| On miniaturized problems in parameterized complexity theory | 2006-04-06 | Paper |
| Parameterized and Exact Computation | 2005-08-23 | Paper |
| Machine-based methods in parameterized complexity theory | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681813 | 2005-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445690 | 2004-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783303 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4521123 | 2001-07-16 | Paper |
