| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6161059 | 2023-06-26 | Paper |
| FO-Definability of Shrub-Depth | 2023-02-07 | Paper |
| Parameterized Parallel Computing and First-Order Logic | 2022-11-09 | Paper |
| Mathematical Logic | 2021-06-08 | 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 |
| Some lower bounds in parameterized \(\mathrm{AC}^{0}\) | 2019-05-29 | Paper |
| Einführung in die mathematische Logik | 2018-10-01 | Paper |
| Some Lower Bounds in Parameterized AC^0. | 2018-03-21 | Paper |
| On the Ordered Conjecture | 2017-05-16 | Paper |
| Query evaluation via tree-decompositions | 2015-12-07 | 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 |
| From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem | 2014-02-17 | Paper |
| The Exponential Time Hypothesis and the Parameterized Clique Problem | 2013-01-07 | Paper |
| Some Definitorial Suggestions for Parameterized Proof Complexity | 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 |
| A Logic for PTIME and a Parameterized Halting Problem | 2010-09-03 | Paper |
| On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT | 2010-09-03 | Paper |
| Lower Bounds for Kernelizations and Other Preprocessing Procedures | 2010-07-28 | Paper |
| W-hierarchies defined by symmetric gates | 2010-05-10 | Paper |
| On the complexity of Gödel's proof predicate | 2010-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396009 | 2009-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3625829 | 2009-05-22 | 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 |
| The Parameterized Complexity of Maximality and Minimality Problems | 2008-06-03 | Paper |
| The parameterized complexity of maximality and minimality problems | 2008-02-13 | Paper |
| Parameterized Complexity and Logic | 2007-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422334 | 2007-10-18 | Paper |
| Model-Checking Problems as a Basis for Parameterized Intractability | 2007-10-11 | Paper |
| Bounded fixed-parameter tractability and reducibility | 2007-09-28 | Paper |
| An analysis of the W*-hierarchy | 2007-07-09 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Parametrized complexity theory. | 2006-05-24 | Paper |
| On miniaturized problems in parameterized complexity theory | 2006-04-06 | Paper |
| Bounded fixed-parameter tractability and \(\log^{2}n\) nondeterministic bits | 2006-01-10 | Paper |
| Finite Model Theory | 2005-11-17 | Paper |
| Automata, Languages and Programming | 2005-08-24 | 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/Q4665730 | 2005-04-11 | Paper |
| The Parameterized Complexity of Counting Problems | 2005-02-21 | Paper |
| Describing parameterized complexity classes | 2004-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736854 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473259 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789462 | 2003-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434355 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729237 | 2001-07-18 | Paper |
| Fixed-Parameter Tractability, Definability, and Model-Checking | 2001-06-21 | Paper |
| On fixed-point logic with counting | 2001-01-14 | Paper |
| Games, kernels, and antitone operations | 2000-10-30 | Paper |
| Quantifiers and congruence closure | 2000-10-25 | Paper |
| Games and total Datalog\(^{\lnot}\) queries | 2000-08-21 | Paper |
| Pseudo-finite homogeneity and saturation | 2000-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249222 | 2000-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247808 | 1999-11-23 | Paper |
| An Extension of the Lemma of Rasiowa and Sikorski | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255575 | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395561 | 1998-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4894127 | 1996-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4850061 | 1995-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4298571 | 1994-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202936 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023926 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4731174 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787989 | 1988-01-01 | Paper |
| On topological spaces equivalent to ordinals | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805452 | 1988-01-01 | Paper |
| χ‐Local Operations for Topological Structures | 1985-01-01 | Paper |
| Maximale monadische Logiken | 1985-01-01 | Paper |
| Modelltheorie - topologische Modelltheorie | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220545 | 1984-01-01 | Paper |
| Topological model theory | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182465 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128559 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128562 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135486 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109641 | 1975-01-01 | Paper |
| L(Q)-preservation theorems | 1975-01-01 | Paper |
| On Horn theories | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071225 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773697 | 1974-01-01 | Paper |
| Bemerkungen über minimale Modelle | 1972-01-01 | Paper |
| Die Automorphismenmengen der Modelle einerL Q x -Theorie | 1972-01-01 | Paper |
| Hanf numbers and well-ordering numbers | 1972-01-01 | Paper |
| Ganzgeschlossene und prädikatengeschlossene Logiken I | 1971-01-01 | Paper |
| Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen | 1971-01-01 | Paper |
| A remark on infinitary languages | 1971-01-01 | Paper |
| Ganzgeschlossene und Prädikatengeschlossene Logiken. II | 1971-01-01 | Paper |
