| 2026 | CSL | Compactness in Semiring Semantics. | Sophie Brinke, Anuj Dawar, Erich Grdel, Lovro Mrkonjic, Matthias Naaf |
| 2026 | ICALP | Preservation Theorems in Semiring Semantics. | Sophie Brinke, Anuj Dawar, Erich Grdel, Benedikt Pago |
| 2025 | MFCS | Symmetric Proofs in the Ideal Proof System. | Anuj Dawar, Erich Grdel, Leon Kullmann, Benedikt Pago |
| 2024 | CSL | Ehrenfeucht-Frass Games in Semiring Semantics. | Sophie Brinke, Erich Grdel, Lovro Mrkonjic |
| 2023 | MFCS | Locality Theorems in Semiring Semantics. | Clotilde Bizire, Erich Grdel, Matthias Naaf |
| 2022 | LICS | Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. | Erich Grdel, Hayyan Helal, Matthias Naaf, Richard Wilke |
| 2021 | CSL | Semiring Provenance for Fixed-Point Logic. | Katrin M. Dannert, Erich Grdel, Matthias Naaf, Val Tannen |
| 2021 | ICALP | Elementary Equivalence Versus Isomorphism in Semiring Semantics. | Erich Grdel, Lovro Mrkonjic |
| 2020 | CSL | Guarded Teams: The Horizontally Guarded Case. | Erich Grdel, Martin Otto |
| 2020 | LICS | Automatic Structures: Twenty Years Later. | Erich Grdel |
| 2019 | ICALP | Approximations of Isomorphism and Logics with Linear-Algebraic Operators. | Anuj Dawar, Erich Grdel, Wied Pakusa |
| 2019 | MFCS | Choiceless Logarithmic Space. | Erich Grdel, Svenja Schalthfer |
| 2018 | CSL | Dependency Concepts up to Equivalence. | Erich Grdel, Matthias Hoelzel |
| 2017 | CSL | The Model-Theoretic Expressiveness of Propositional Proof Systems. | Erich Grdel, Benedikt Pago, Wied Pakusa |
| 2017 | CSL | Advice Automatic Structures and Uniformly Automatic Classes. | Faried Abu Zaid, Erich Grdel, Frederic Reinhardt |
| 2017 | LICS | Definability of summation problems for Abelian groups and semigroups. | Faried Abu Zaid, Anuj Dawar, Erich Grdel, Wied Pakusa |
| 2016 | CSL | Counting in Team Semantics. | Erich Grdel, Stefan Hegselmann |
| 2015 | CSL | Rank Logic is Dead, Long Live Rank Logic!. | Erich Grdel, Wied Pakusa |
| 2015 | LICS | Defining Winning Strategies in Fixed-Point Logic. | Felix Canavoi, Erich Grdel, Simon Leenich, Wied Pakusa |
| 2015 | LICS | Characterising Choiceless Polynomial Time with First-Order Interpretations. | Erich Grdel, Wied Pakusa, Svenja Schalthfer, Lukasz Kaiser |
| 2014 | AiML | Bisimulation Safe Fixed Point Logic. | Faried Abu Zaid, Erich Grdel, Stephan Jaax |
| 2014 | MFCS | Choiceless Polynomial Time on Structures with Small Abelian Colour Classes. | Faried Abu Zaid, Erich Grdel, Martin Grohe, Wied Pakusa |
| 2012 | CSL | Definability of linear equation systems over groups and rings. | Anuj Dawar, Erich Grdel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa |
| 2012 | CSL | Banach-Mazur Games with Simple Winning Strategies. | Erich Grdel, Simon Leenich |
| 2012 | ICDT | Dynamic definability. | Erich Grdel, Sebastian Siebertz |
| 2012 | STACS | The Field of Reals is not omega-Automatic. | Faried Abu Zaid, Erich Grdel, Lukasz Kaiser |
| 2010 | CSL | Definability in Games. | Erich Grdel |
| 2009 | FCT | Directed Graphs of Entanglement Two. | Erich Grdel, Lukasz Kaiser, Roman Rabinovich |
| 2008 | CSL | The Descriptive Complexity of Parity Games. | Anuj Dawar, Erich Grdel |
| 2008 | STACS | Model Checking Games for the Quantitative -Calculus. | Diana Fischer, Erich Grdel, Lukasz Kaiser |
| 2006 | CSL | The Ackermann Award 2006. | Samson Abramsky, Erich Grdel, Johann A. Makowsky |
| 2005 | CSL | The Ackermann Award 2005. | Erich Grdel, Janos Makowsky, Alexander A. Razborov |
| 2004 | ICALP | Backtracking Games and Inflationary Fixed Points. | Anuj Dawar, Erich Grdel, Stephan Kreutzer |
| 2004 | LPAR | Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. | Dietmar Berwanger, Erich Grdel |
| 2004 | STACS | Positional Determinacy of Infinite Games. | Erich Grdel |
| 2003 | LICS | Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions. | Erich Grdel, Stephan Kreutzer |
| 2003 | LPAR | Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. | Dietmar Berwanger, Erich Grdel, Stephan Kreutzer |
| 2002 | CSL | On the Variable Hierarchy of the Modal µ-Calculus. | Dietmar Berwanger, Erich Grdel, Giacomo Lenzi |
| 2001 | CSL | Inflationary Fixed Points in Modal Logic. | Anuj Dawar, Erich Grdel, Stephan Kreutzer |
| 2001 | LPAR | Games and Model Checking for Guarded Logics. | Dietmar Berwanger, Erich Grdel |
| 2000 | LICS | Automatic Structures. | Achim Blumensath, Erich Grdel |
| 2000 | LICS | Back and Forth between Guarded and Modal Logics. | Erich Grdel, Colin Hirsch, Martin Otto |
| 2000 | LPAR | Efficient Evaluation Methods for Guarded Logics and Datalog LITE. | Erich Grdel |
| 1999 | CADE | Invited Talk: Decision procedures for guarded logics. | Erich Grdel |
| 1999 | CSL | Descriptive Complexity Theory for Constraint Databases. | Erich Grdel, Stephan Kreutzer |
| 1999 | FM | Logspace Reducibility via Abstract State Machines. | Erich Grdel, Marc Spielmann |
| 1999 | LICS | Two-Variable Descriptions of Regularity. | Erich Grdel, Eric Rosen |
| 1999 | LICS | Guarded Fixed Point Logic. | Erich Grdel, Igor Walukiewicz |
| 1998 | PODS | The Complexity of Query Reliability. | Erich Grdel, Yuri Gurevich, Colin Hirsch |
| 1997 | LICS | Two-Variable Logic with Counting is Decidable. | Erich Grdel, Martin Otto, Eric Rosen |
| 1997 | STACS | Undecidability Results on Two-Variable Logics. | Erich Grdel, Martin Otto, Eric Rosen |
| 1995 | LICS | Generalized Quantifiers and 0-1 Laws | Anuj Dawar, Erich Grdel |
| 1995 | STOC | Descriptive complexity theory over the real numbers. | Erich Grdel, Klaus Meer |
| 1994 | ICALP | Tailoring Recursing for Complexity. | Erich Grdel, Yuri Gurevich |
| 1993 | CSL | Approximable Minimization Problems and Optimal Solutions on Random Inputs. | Erich Grdel, Anders Malmstrm |
| 1992 | CSL | Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions. | Thomas Behrendt, Kevin J. Compton, Erich Grdel |
| 1992 | CSL | Inductive Definability with Counting on Finite Structures. | Erich Grdel, Martin Otto |
| 1992 | FOCS | Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic | Erich Grdel, Gregory L. McColm |
| 1992 | LICS | Deterministic vs. Nondeterministic Transitive Closure Logic | Erich Grdel, Gregory L. McColm |
| 1991 | CSL | On Transitive Closure Logic. | Erich Grdel |
| 1991 | STACS | The Expressive Power of Second Order Horn Logic. | Erich Grdel |
| 1989 | CSL | On Logical Descriptions of Some Concepts in Structural Complexity Theory. | Erich Grdel |
| 1989 | FCT | Complexity of Formula Classes in First Order Logic with Functions. | Erich Grdel |
| 1988 | CSL | Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes. | Erich Grdel |
| 1988 | STACS | Domino Games with an Application to the Complexity of Boolean Algebras with Bounded Quantifier Alternations. | Erich Grdel |