Erich Grädel

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 47

Top Venues

Univ. Basel (PHD)

Education History

Univ. Basel

PHD

Publications

Sophie Brinke, Erich Grädel, Lovro Mrkonjic
Ehrenfeucht-Fraïssé Games in Semiring Semantics. CSL (2024)
Sophie Brinke, Erich Grädel, Lovro Mrkonjic
Ehrenfeucht-Fraïssé Games in Semiring Semantics. CoRR (2023)
Clotilde Bizière, Erich Grädel, Matthias Naaf
Locality Theorems in Semiring Semantics. CoRR (2023)
Clotilde Bizière, Erich Grädel, Matthias Naaf
Locality Theorems in Semiring Semantics. MFCS (2023)
Anuj Dawar, Erich Grädel, Moritz Lichter
Limitations of the invertible-map equivalences. J. Log. Comput. 33 (5) (2023)
Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. LICS (2022)
Darion Haase, Erich Grädel, Richard Wilke
Separation logic and logics with team semantics. Ann. Pure Appl. Log. 173 (10) (2022)
Erich Grädel, Phokion G. Kolaitis, Marc Noy
Logic and Random Discrete Structures (Dagstuhl Seminar 22061). Dagstuhl Reports 12 (2) (2022)
Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. CoRR (2022)
Rafael Albert, Erich Grädel
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence. Ann. Pure Appl. Log. 173 (10) (2022)
Erich Grädel, Richard Wilke
Logics with Multiteam Semantics. ACM Trans. Comput. Log. 23 (2) (2022)
Erich Grädel, Niels Lücking, Matthias Naaf
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. GandALF (2021)
Erich Grädel, Niels Lücking, Matthias Naaf
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. CoRR (2021)
Erich Grädel, Phil Pützstück
Logics of Dependence and Independence: The Local Variants. CoRR (2021)
Erich Grädel, Phil Pützstück
Logics of dependence and independence: The local variants. J. Log. Comput. 31 (7) (2021)
Erich Grädel, Lovro Mrkonjic
Elementary Equivalence Versus Isomorphism in Semiring Semantics. ICALP (2021)
Anuj Dawar, Erich Grädel, Moritz Lichter
Limitations of the Invertible-Map Equivalences. CoRR (2021)
Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen
Semiring Provenance for Fixed-Point Logic. CSL (2021)
Erich Grädel, Lovro Mrkonjic
Elementary equivalence versus isomorphism in semiring semantics. CoRR (2021)
Rafael Albert, Erich Grädel
Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence. CoRR (2021)
Erich Grädel, Richard Wilke
Logics with Multiteam Semantics. CoRR (2020)
Erich Grädel, Martin Otto
Guarded Teams: The Horizontally Guarded Case. CSL (2020)
Erich Grädel
Automatic Structures: Twenty Years Later. LICS (2020)
Anuj Dawar, Erich Grädel, Matthias Hoelzel
Convergence and Nonconvergence Laws for Random Expansions of Product Structures. Fields of Logic and Computation III (2020)
Katrin M. Dannert, Erich Grädel
Provenance Analysis: A Perspective for Description Logics? Description Logic, Theory Combination, and All That (2019)
Erich Grädel, Wied Pakusa
Rank Logic is dead, Long Live Rank Logic! J. Symb. Log. 84 (1) (2019)
Anuj Dawar, Erich Grädel, Wied Pakusa
Approximations of Isomorphism and Logics with Linear-Algebraic Operators. CoRR (2019)
Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer
Logics for Dependence and Independence (Dagstuhl Seminar 19031). Dagstuhl Reports 9 (1) (2019)
Erich Grädel, Val Tannen
Provenance Analysis for Logic and Games. CoRR (2019)
Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. CoRR (2019)
Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa
A Finite-Model-Theoretic View on Propositional Proof Complexity. Log. Methods Comput. Sci. 15 (1) (2019)
Anuj Dawar, Erich Grädel, Wied Pakusa
Approximations of Isomorphism and Logics with Linear-Algebraic Operators. ICALP (2019)
Erich Grädel, Svenja Schalthöfer
Choiceless Logarithmic Space. MFCS (2019)
Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa
A Finite-Model-Theoretic View on Propositional Proof Complexity. CoRR (2018)
Erich Grädel, Matthias Hoelzel
Dependency Concepts up to Equivalence. CSL (2018)
Erich Grädel, Benedikt Pago, Wied Pakusa
The Model-Theoretic Expressiveness of Propositional Proof Systems. CSL (2017)
Erich Grädel, Val Tannen
Semiring Provenance for First-Order Model Checking. CoRR (2017)
Faried Abu Zaid, Anuj Dawar, Erich Grädel, Wied Pakusa
Definability of summation problems for Abelian groups and semigroups. LICS (2017)
Faried Abu Zaid, Erich Grädel, Frederic Reinhardt
Advice Automatic Structures and Uniformly Automatic Classes. CSL (2017)
Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick
Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361). Dagstuhl Reports 7 (9) (2017)
Erich Grädel, Stefan Hegselmann
Counting in Team Semantics. CSL (2016)
Erich Grädel, Wied Pakusa
Rank logic is dead, long live rank logic! CoRR (2015)
Felix Canavoi, Erich Grädel, Simon Leßenich, Wied Pakusa
Defining Winning Strategies in Fixed-Point Logic. LICS (2015)
Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
Logics for Dependence and Independence (Dagstuhl Seminar 15261). Dagstuhl Reports 5 (6) (2015)
Erich Grädel, Wied Pakusa, Svenja Schalthöfer, Lukasz Kaiser
Characterising Choiceless Polynomial Time with First-Order Interpretations. LICS (2015)
Erich Grädel, Martin Grohe
Is Polynomial Time Choiceless? Fields of Logic and Computation II (2015)
Erich Grädel, Wied Pakusa
Rank Logic is Dead, Long Live Rank Logic!. CSL (2015)
Faried Abu Zaid, Erich Grädel, Martin Grohe, Wied Pakusa
Choiceless Polynomial Time on Structures with Small Abelian Colour Classes. MFCS (1) (2014)
Felix Canavoi, Erich Grädel, Roman Rabinovich
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. Theor. Comput. Sci. 560 (2014)
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa
Model-Theoretic Properties of ω-Automatic Structures. Theory Comput. Syst. 55 (4) (2014)
Faried Abu Zaid, Erich Grädel, Stephan Jaax
Bisimulation Safe Fixed Point Logic. Advances in Modal Logic (2014)
Erich Grädel, Jouko A. Väänänen
Dependence and Independence. Stud Logica 101 (2) (2013)
Erich Grädel
Model-checking games for logics of imperfect information. Theor. Comput. Sci. 493 (2013)
Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa
Definability of linear equation systems over groups and rings Log. Methods Comput. Sci. 9 (4) (2013)
Erich Grädel, Sebastian Siebertz
Dynamic definability. ICDT (2012)
Erich Grädel, Simon Leßenich
Banach-Mazur Games with Simple Winning Strategies. CSL (2012)
Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa
Definability of linear equation systems over groups and rings. CSL (2012)
Dietmar Berwanger, Erich Grädel, Lukasz Kaiser, Roman Rabinovich
Entanglement and the complexity of directed graphs. Theor. Comput. Sci. 463 (2012)
Erich Grädel, Jouko A. Väänänen
Dependence and Independence CoRR (2012)
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser
The Field of Reals is not omega-Automatic. STACS (2012)
Felix Canavoi, Erich Grädel, Roman Rabinovich
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs GandALF (2012)
Anuj Dawar, Erich Grädel
Properties of Almost All Graphs and Generalized Quantifiers. Fundam. Informaticae 98 (4) (2010)
Erich Grädel
Definability in Games. CSL (2010)
Diana Fischer, Erich Grädel, Lukasz Kaiser
-Calculus. Theory Comput. Syst. 47 (3) (2010)
Erich Grädel, Lukasz Kaiser, Roman Rabinovich
Directed Graphs of Entanglement Two. FCT (2009)
Diana Fischer, Erich Grädel, Lukasz Kaiser
Model Checking Games for the Quantitative mu-Calculus CoRR (2008)
Diana Fischer, Erich Grädel, Lukasz Kaiser
Model Checking Games for the Quantitative µ-Calculus. STACS (2008)
Anuj Dawar, Erich Grädel
The Descriptive Complexity of Parity Games. CSL (2008)
Erich Grädel
Banach-Mazur Games on Graphs. FSTTCS (2008)
Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
The Variable Hierarchy of the µ-Calculus Is Strict. Theory Comput. Syst. 40 (4) (2007)
Erich Grädel, Igor Walukiewicz
Positional Determinacy of Games with Infinitely Many Priorities CoRR (2006)
Anuj Dawar, Erich Grädel, Stephan Kreutzer
Backtracking games and inflationary fixed points. Theor. Comput. Sci. 350 (2-3) (2006)
Erich Grädel, Igor Walukiewicz
Positional Determinacy of Games with Infinitely Many Priorities. Log. Methods Comput. Sci. 2 (4) (2006)
Samson Abramsky, Erich Grädel, Johann A. Makowsky
The Ackermann Award 2006. CSL (2006)
Erich Grädel, Janos Makowsky, Alexander A. Razborov
The Ackermann Award 2005. CSL (2005)
Anuj Dawar, Erich Grädel, Stephan Kreutzer
Inflationary fixed points in modal logic. ACM Trans. Comput. Log. 5 (2) (2004)
Achim Blumensath, Erich Grädel
Finite Presentations of Infinite Structures: Automata and Interpretations. Theory Comput. Syst. 37 (6) (2004)
Erich Grädel
Positional Determinacy of Infinite Games. STACS (2004)
Dietmar Berwanger, Erich Grädel
Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. LPAR (2004)
Anuj Dawar, Erich Grädel, Stephan Kreutzer
Backtracking Games and Inflationary Fixed Points. ICALP (2004)
Dietmar Berwanger, Erich Grädel
Fixed-Point Logics and Solitaire Games. Theory Comput. Syst. 37 (6) (2004)
Erich Grädel, Antje Nowack
Quantum Computing and Abstract State Machines. Abstract State Machines (2003)
Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno
LICS 2001 special issue. ACM Trans. Comput. Log. 4 (3) (2003)
Erich Grädel
Inflationary and Deflationary Fixed Points (Invited Talk). FICS (2003)
Erich Grädel, Stephan Kreutzer
Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions. LICS (2003)
Dietmar Berwanger, Erich Grädel, Stephan Kreutzer
Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. LPAR (2003)
Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
On the Variable Hierarchy of the Modal µ-Calculus. CSL (2002)
Georg Gottlob, Erich Grädel, Helmut Veith
Datalog LITE: a deductive query language with linear time model checking. ACM Trans. Comput. Log. 3 (1) (2002)
Erich Grädel
Model Checking Games. Electron. Notes Theor. Comput. Sci. 67 (2002)
Erich Grädel
Guarded fixed point logics and the monadic theory of countable trees. Theor. Comput. Sci. 288 (1) (2002)
Erich Grädel, Colin Hirsch, Martin Otto
Back and forth between guarded and modal logics. ACM Trans. Comput. Log. 3 (3) (2002)
Dietmar Berwanger, Erich Grädel
Games and Model Checking for Guarded Logics. LPAR (2001)
Anuj Dawar, Erich Grädel, Stephan Kreutzer
Inflationary Fixed Points in Modal Logic. CSL (2001)
Achim Blumensath, Erich Grädel
Automatic Structures. LICS (2000)
Erich Grädel, Colin Hirsch, Martin Otto
Back and Forth between Guarded and Modal Logics. LICS (2000)
M.-Elisabeth Goncalves, Erich Grädel
Decidability issues for action guarded logics. Description Logics (2000)
Erich Grädel
Efficient Evaluation Methods for Guarded Logics and Datalog LITE. LPAR (2000)
Erich Grädel, Stephan Kreutzer
Descriptive Complexity Theory for Constraint Databases. CSL (1999)
Erich Grädel, Eric Rosen
Two-Variable Descriptions of Regularity. LICS (1999)
Erich Grädel
Why are Modal Logics so Robustly Decidable? Bull. EATCS 68 (1999)

Erich Grädel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Erich Grädel