Erich Grädel - RankMe

163 papers A* 21A 8B 35C 1Journal 71Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Compactness in Semiring Semantics. CSL Sophie Brinke, Anuj Dawar, Erich Grädel, Lovro Mrkonjic, Matthias Naaf
2025	B	`conf`	Symmetric Proofs in the Ideal Proof System. MFCS Anuj Dawar, Erich Grädel, Leon Kullmann, Benedikt Pago
2025	J	`jnl`	Symmetric Proofs in the Ideal Proof System. CoRR Anuj Dawar, Erich Grädel, Leon Kullmann, Benedikt Pago
2024	B	`conf`	Ehrenfeucht-Fraïssé Games in Semiring Semantics. CSL Sophie Brinke, Erich Grädel, Lovro Mrkonjic
2024	J	`jnl`	Provenance Analysis and Semiring Semantics for First-Order Logic. CoRR Erich Grädel, Val Tannen
2024	J	`jnl`	Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials. Log. Methods Comput. Sci. Erich Grädel, Niels Lücking, Matthias Naaf
2024	—	`conf`	Semiring Provenance in the Infinite. Tannen's Festschrift Sophie Brinke, Erich Grädel, Lovro Mrkonjic, Matthias Naaf
2023	J	`jnl`	Ehrenfeucht-Fraïssé Games in Semiring Semantics. CoRR Sophie Brinke, Erich Grädel, Lovro Mrkonjic
2023	J	`jnl`	Limitations of the invertible-map equivalences. J. Log. Comput. Anuj Dawar, Erich Grädel, Moritz Lichter
2023	B	`conf`	Locality Theorems in Semiring Semantics. MFCS Clotilde Bizière, Erich Grädel, Matthias Naaf
2023	J	`jnl`	Locality Theorems in Semiring Semantics. CoRR Clotilde Bizière, Erich Grädel, Matthias Naaf
2022	J	`jnl`	Logic and Random Discrete Structures (Dagstuhl Seminar 22061). Dagstuhl Reports Erich Grädel, Phokion G. Kolaitis, Marc Noy
2022	J	`jnl`	Logics with Multiteam Semantics. ACM Trans. Comput. Log. Erich Grädel, Richard Wilke
2022	J	`jnl`	Separation logic and logics with team semantics. Ann. Pure Appl. Log. Darion Haase, Erich Grädel, Richard Wilke
2022	J	`jnl`	Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence. Ann. Pure Appl. Log. Rafael Albert, Erich Grädel
2022	A*	`conf`	Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. LICS Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
2022	J	`jnl`	Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. CoRR Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
2021	A*	`conf`	Elementary Equivalence Versus Isomorphism in Semiring Semantics. ICALP Erich Grädel, Lovro Mrkonjic
2021	J	`jnl`	Elementary equivalence versus isomorphism in semiring semantics. CoRR Erich Grädel, Lovro Mrkonjic
2021	J	`jnl`	Limitations of the Invertible-Map Equivalences. CoRR Anuj Dawar, Erich Grädel, Moritz Lichter
2021	J	`jnl`	Logics of Dependence and Independence: The Local Variants. CoRR Erich Grädel, Phil Pützstück
2021	J	`jnl`	Logics of dependence and independence: The local variants. J. Log. Comput. Erich Grädel, Phil Pützstück
2021	J	`jnl`	Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. CoRR Erich Grädel, Niels Lücking, Matthias Naaf
2021	—	`conf`	Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. GandALF Erich Grädel, Niels Lücking, Matthias Naaf
2021	B	`conf`	Semiring Provenance for Fixed-Point Logic. CSL Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen
2021	J	`jnl`	Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence. CoRR Rafael Albert, Erich Grädel
2020	A*	`conf`	Automatic Structures: Twenty Years Later. LICS Erich Grädel
2020	—	`conf`	Convergence and Nonconvergence Laws for Random Expansions of Product Structures. Fields of Logic and Computation III Anuj Dawar, Erich Grädel, Matthias Hoelzel
2020	B	`conf`	Guarded Teams: The Horizontally Guarded Case. CSL Erich Grädel, Martin Otto
2020	J	`jnl`	Logics with Multiteam Semantics. CoRR Erich Grädel, Richard Wilke
2019	J	`jnl`	A Finite-Model-Theoretic View on Propositional Proof Complexity. Log. Methods Comput. Sci. Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa
2019	A*	`conf`	Approximations of Isomorphism and Logics with Linear-Algebraic Operators. ICALP Anuj Dawar, Erich Grädel, Wied Pakusa
2019	J	`jnl`	Approximations of Isomorphism and Logics with Linear-Algebraic Operators. CoRR Anuj Dawar, Erich Grädel, Wied Pakusa
2019	B	`conf`	Choiceless Logarithmic Space. MFCS Erich Grädel, Svenja Schalthöfer
2019	J	`jnl`	Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. CoRR Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen
2019	J	`jnl`	Logics for Dependence and Independence (Dagstuhl Seminar 19031). Dagstuhl Reports Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer
2019	J	`jnl`	Provenance Analysis for Logic and Games. CoRR Erich Grädel, Val Tannen
2019	—	`conf`	Provenance Analysis: A Perspective for Description Logics? Description Logic, Theory Combination, and All That Katrin M. Dannert, Erich Grädel
2019	J	`jnl`	Rank Logic is dead, Long Live Rank Logic! J. Symb. Log. Erich Grädel, Wied Pakusa
2018	J	`jnl`	A Finite-Model-Theoretic View on Propositional Proof Complexity. CoRR Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa
2018	B	`conf`	Dependency Concepts up to Equivalence. CSL Erich Grädel, Matthias Hoelzel
2018	A*	`ed.`	Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 LICS Anuj Dawar, Erich Grädel
2017	B	`conf`	Advice Automatic Structures and Uniformly Automatic Classes. CSL Faried Abu Zaid, Erich Grädel, Frederic Reinhardt
2017	A*	`conf`	Definability of summation problems for Abelian groups and semigroups. LICS Faried Abu Zaid, Anuj Dawar, Erich Grädel, Wied Pakusa
2017	J	`jnl`	Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361). Dagstuhl Reports Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick
2017	J	`jnl`	Semiring Provenance for First-Order Model Checking. CoRR Erich Grädel, Val Tannen
2017	B	`conf`	The Model-Theoretic Expressiveness of Propositional Proof Systems. CSL Erich Grädel, Benedikt Pago, Wied Pakusa
2016	B	`conf`	Counting in Team Semantics. CSL Erich Grädel, Stefan Hegselmann
2016	—	`ch.`	Games for Inclusion Logic and Fixed-Point Logic. Dependence Logic Erich Grädel
2015	A*	`conf`	Characterising Choiceless Polynomial Time with First-Order Interpretations. LICS Erich Grädel, Wied Pakusa, Svenja Schalthöfer, Lukasz Kaiser
2015	A*	`conf`	Defining Winning Strategies in Fixed-Point Logic. LICS Felix Canavoi, Erich Grädel, Simon Leßenich, Wied Pakusa
2015	—	`conf`	Is Polynomial Time Choiceless? Fields of Logic and Computation II Erich Grädel, Martin Grohe
2015	J	`jnl`	Logics for Dependence and Independence (Dagstuhl Seminar 15261). Dagstuhl Reports Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
2015	B	`conf`	Rank Logic is Dead, Long Live Rank Logic!. CSL Erich Grädel, Wied Pakusa
2015	J	`jnl`	Rank logic is dead, long live rank logic! CoRR Erich Grädel, Wied Pakusa
2014	B	`conf`	Bisimulation Safe Fixed Point Logic. Advances in Modal Logic Faried Abu Zaid, Erich Grädel, Stephan Jaax
2014	—	`conf`	Choiceless Polynomial Time on Structures with Small Abelian Colour Classes. MFCS (1) Faried Abu Zaid, Erich Grädel, Martin Grohe, Wied Pakusa
2014	J	`jnl`	Model-Theoretic Properties of ω-Automatic Structures. Theory Comput. Syst. Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa
2014	—	`ch.`	The Freedoms of (Guarded) Bisimulation. Johan van Benthem on Logic and Information Dynamics Erich Grädel, Martin Otto
2014	J	`jnl`	The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. Theor. Comput. Sci. Felix Canavoi, Erich Grädel, Roman Rabinovich
2013	J	`jnl`	Definability of linear equation systems over groups and rings Log. Methods Comput. Sci. Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa
2013	J	`jnl`	Dependence and Independence. Stud Logica Erich Grädel, Jouko A. Väänänen
2013	J	`jnl`	Model-checking games for logics of imperfect information. Theor. Comput. Sci. Erich Grädel
2012	B	`conf`	Banach-Mazur Games with Simple Winning Strategies. CSL Erich Grädel, Simon Leßenich
2012	B	`conf`	Definability of linear equation systems over groups and rings. CSL Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa
2012	J	`jnl`	Dependence and Independence CoRR Erich Grädel, Jouko A. Väänänen
2012	A	`conf`	Dynamic definability. ICDT Erich Grädel, Sebastian Siebertz
2012	J	`jnl`	Entanglement and the complexity of directed graphs. Theor. Comput. Sci. Dietmar Berwanger, Erich Grädel, Lukasz Kaiser, Roman Rabinovich
2012	A	`conf`	The Field of Reals is not omega-Automatic. STACS Faried Abu Zaid, Erich Grädel, Lukasz Kaiser
2012	—	`conf`	The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs GandALF Felix Canavoi, Erich Grädel, Roman Rabinovich
2011	—	`ch.`	Automata-based presentations of infinite structures. Finite and Algorithmic Model Theory Vince Bárány, Erich Grädel, Sasha Rubin
2011	—	`ch.`	Back and forth between logic and games. Lectures in Game Theory for Computer Scientists Erich Grädel
2011	—	`book`	Lectures in Game Theory for Computer Scientists. Krzysztof R. Apt, Erich Grädel
2010	B	`conf`	Definability in Games. CSL Erich Grädel
2010	J	`jnl`	Model Checking Games for the Quantitative Theory Comput. Syst. Diana Fischer, Erich Grädel, Lukasz Kaiser
2010	J	`jnl`	Properties of Almost All Graphs and Generalized Quantifiers. Fundam. Informaticae Anuj Dawar, Erich Grädel
2009	B	`ed.`	Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings CSL Erich Grädel, Reinhard Kahle
2009	B	`conf`	Directed Graphs of Entanglement Two. FCT Erich Grädel, Lukasz Kaiser, Roman Rabinovich
2008	—	`conf`	Banach-Mazur Games on Graphs. FSTTCS Erich Grädel
2008	—	`ed.`	Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. Logic and Automata Jörg Flum, Erich Grädel, Thomas Wilke
2008	J	`jnl`	Model Checking Games for the Quantitative mu-Calculus CoRR Diana Fischer, Erich Grädel, Lukasz Kaiser
2008	A	`conf`	Model Checking Games for the Quantitative µ-Calculus. STACS Diana Fischer, Erich Grädel, Lukasz Kaiser
2008	B	`conf`	The Descriptive Complexity of Parity Games. CSL Anuj Dawar, Erich Grädel
2007	—	`book`	Finite Model Theory and Its Applications Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
2007	J	`jnl`	The Variable Hierarchy of the µ-Calculus Is Strict. Theory Comput. Syst. Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
2006	J	`jnl`	Backtracking games and inflationary fixed points. Theor. Comput. Sci. Anuj Dawar, Erich Grädel, Stephan Kreutzer
2006	J	`jnl`	Positional Determinacy of Games with Infinitely Many Priorities CoRR Erich Grädel, Igor Walukiewicz
2006	J	`jnl`	Positional Determinacy of Games with Infinitely Many Priorities. Log. Methods Comput. Sci. Erich Grädel, Igor Walukiewicz
2006	B	`conf`	The Ackermann Award 2006. CSL Samson Abramsky, Erich Grädel, Johann A. Makowsky
2005	B	`conf`	The Ackermann Award 2005. CSL Erich Grädel, Janos Makowsky, Alexander A. Razborov
2004	A*	`conf`	Backtracking Games and Inflationary Fixed Points. ICALP Anuj Dawar, Erich Grädel, Stephan Kreutzer
2004	B	`conf`	Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. LPAR Dietmar Berwanger, Erich Grädel
2004	J	`jnl`	Finite Presentations of Infinite Structures: Automata and Interpretations. Theory Comput. Syst. Achim Blumensath, Erich Grädel
2004	J	`jnl`	Fixed-Point Logics and Solitaire Games. Theory Comput. Syst. Dietmar Berwanger, Erich Grädel
2004	J	`jnl`	Inflationary fixed points in modal logic. ACM Trans. Comput. Log. Anuj Dawar, Erich Grädel, Stephan Kreutzer
2004	A	`conf`	Positional Determinacy of Infinite Games. STACS Erich Grädel
2003	—	`conf`	Inflationary and Deflationary Fixed Points (Invited Talk). FICS Erich Grädel
2003	J	`jnl`	LICS 2001 special issue. ACM Trans. Comput. Log. Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno
2003	B	`conf`	Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. LPAR Dietmar Berwanger, Erich Grädel, Stephan Kreutzer
2003	—	`conf`	Quantum Computing and Abstract State Machines. Abstract State Machines Erich Grädel, Antje Nowack
2003	A*	`conf`	Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions. LICS Erich Grädel, Stephan Kreutzer
2002	—	`ed.`	Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001] Automata, Logics, and Infinite Games Erich Grädel, Wolfgang Thomas, Thomas Wilke
2002	J	`jnl`	Back and forth between guarded and modal logics. ACM Trans. Comput. Log. Erich Grädel, Colin Hirsch, Martin Otto
2002	J	`jnl`	Datalog LITE: a deductive query language with linear time model checking. ACM Trans. Comput. Log. Georg Gottlob, Erich Grädel, Helmut Veith
2002	J	`jnl`	Guarded fixed point logics and the monadic theory of countable trees. Theor. Comput. Sci. Erich Grädel
2002	C	`conf`	Model Checking Games. WoLLIC Erich Grädel
2002	B	`conf`	On the Variable Hierarchy of the Modal µ-Calculus. CSL Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
2001	B	`conf`	Games and Model Checking for Guarded Logics. LPAR Dietmar Berwanger, Erich Grädel
2001	B	`conf`	Inflationary Fixed Points in Modal Logic. CSL Anuj Dawar, Erich Grädel, Stephan Kreutzer
2001	—	`ch.`	Why are Modal Logics so Robustly Decidable? Current Trends in Theoretical Computer Science Erich Grädel
2000	A*	`conf`	Automatic Structures. LICS Achim Blumensath, Erich Grädel
2000	A*	`conf`	Back and Forth between Guarded and Modal Logics. LICS Erich Grädel, Colin Hirsch, Martin Otto
2000	—	`conf`	Decidability issues for action guarded logics. Description Logics M.-Elisabeth Goncalves, Erich Grädel
2000	B	`conf`	Efficient Evaluation Methods for Guarded Logics and Datalog LITE. LPAR Erich Grädel
1999	J	`jnl`	0-1 laws for recursive structures. Arch. Math. Log. Erich Grädel, Anders Malmström
1999	B	`conf`	Descriptive Complexity Theory for Constraint Databases. CSL Erich Grädel, Stephan Kreutzer
1999	A*	`conf`	Guarded Fixed Point Logic. LICS Erich Grädel, Igor Walukiewicz
1999	A	`conf`	Invited Talk: Decision procedures for guarded logics. CADE Erich Grädel
1999	—	`conf`	Logspace Reducibility via Abstract State Machines. World Congress on Formal Methods Erich Grädel, Marc Spielmann
1999	J	`jnl`	On Logics with Two Variables. Theor. Comput. Sci. Erich Grädel, Martin Otto
1999	J	`jnl`	On Preservation Theorems for Two-Variable Logic. Math. Log. Q. Erich Grädel, Eric Rosen
1999	J	`jnl`	On The Restraining Power of Guards. J. Symb. Log. Erich Grädel
1999	A*	`conf`	Two-Variable Descriptions of Regularity. LICS Erich Grädel, Eric Rosen
1999	J	`jnl`	Undecidability results on two-variable logics. Arch. Math. Log. Erich Grädel, Martin Otto, Eric Rosen
1999	J	`jnl`	Why are Modal Logics so Robustly Decidable? Bull. EATCS Erich Grädel
1998	—	`conf`	Description Logics and Guarded Fragments of First Order Logic. Description Logics Erich Grädel
1998	J	`jnl`	Metafinite Model Theory. Inf. Comput. Erich Grädel, Yuri Gurevich
1998	A*	`conf`	The Complexity of Query Reliability. PODS Erich Grädel, Yuri Gurevich, Colin Hirsch
1997	J	`jnl`	On the decision problem for two-variable first-order logic. Bull. Symb. Log. Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi
1997	—	`book`	The Classical Decision Problem Egon Börger, Erich Grädel, Yuri Gurevich
1997	A*	`conf`	Two-Variable Logic with Counting is Decidable. LICS Erich Grädel, Martin Otto, Eric Rosen
1997	A	`conf`	Undecidability Results on Two-Variable Logics. STACS Erich Grädel, Martin Otto, Eric Rosen
1996	J	`jnl`	Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic. Ann. Pure Appl. Log. Erich Grädel, Gregory L. McColm
1996	J	`jnl`	Logical Definability of Counting Functions. J. Comput. Syst. Sci. Kevin J. Compton, Erich Grädel
1995	A*	`conf`	Descriptive complexity theory over the real numbers. STOC Erich Grädel, Klaus Meer
1995	A*	`conf`	Generalized Quantifiers and 0-1 Laws LICS Anuj Dawar, Erich Grädel
1995	J	`jnl`	On the Power of Deterministic Transitive Closures Inf. Comput. Erich Grädel, Gregory L. McColm
1995	J	`jnl`	Tailoring Recursion for Complexity. J. Symb. Log. Erich Grädel, Yuri Gurevich
1994	J	`jnl`	Definability on finite structures and the existence of one-way functions. Methods Log. Comput. Sci. Erich Grädel
1994	—	`conf`	Logical Definability of Counting Functions. SCT Kevin J. Compton, Erich Grädel
1994	—	`conf`	Metafinite Model Theory. LCC Erich Grädel, Yuri Gurevich
1994	A*	`conf`	Tailoring Recursing for Complexity. ICALP Erich Grädel, Yuri Gurevich
1993	B	`conf`	Approximable Minimization Problems and Optimal Solutions on Random Inputs. CSL Erich Grädel, Anders Malmström
1992	J	`jnl`	Capturing Complexity Classes by Fragments of Second-Order Logic. Theor. Comput. Sci. Erich Grädel
1992	A*	`conf`	Deterministic vs. Nondeterministic Transitive Closure Logic LICS Erich Grädel, Gregory L. McColm
1992	A*	`conf`	Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic FOCS Erich Grädel, Gregory L. McColm
1992	B	`conf`	Inductive Definability with Counting on Finite Structures. CSL Erich Grädel, Martin Otto
1992	B	`conf`	Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions. CSL Thomas Behrendt, Kevin J. Compton, Erich Grädel
1991	—	`conf`	Capturing Complexity Classes by Fragments of Second Order Logic. SCT Erich Grädel
1991	B	`conf`	On Transitive Closure Logic. CSL Erich Grädel
1991	J	`jnl`	Simple Sentences That Are Hard to Decide Inf. Comput. Erich Grädel
1991	A	`conf`	The Expressive Power of Second Order Horn Logic. STACS Erich Grädel
1990	J	`jnl`	Domino Games and Complexity. SIAM J. Comput. Erich Grädel
1990	J	`jnl`	On the Notion of Linear Time Computability. Int. J. Found. Comput. Sci. Erich Grädel
1990	J	`jnl`	Satisfiability of formulae with one ∀ is decidable in exponential time. Arch. Math. Log. Erich Grädel
1990	J	`jnl`	Simple Interpretations Among Complicated Theories. Inf. Process. Lett. Erich Grädel
1989	B	`conf`	Complexity of Formula Classes in First Order Logic with Functions. FCT Erich Grädel
1989	J	`jnl`	Dominoes and the Complexity of Subclasses of Logical Theories. Ann. Pure Appl. Log. Erich Grädel
1989	B	`conf`	On Logical Descriptions of Some Concepts in Structural Complexity Theory. CSL Erich Grädel
1988	A	`conf`	Domino Games with an Application to the Complexity of Boolean Algebras with Bounded Quantifier Alternations. STACS Erich Grädel
1988	B	`conf`	Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes. CSL Erich Grädel
1988	J	`jnl`	Subclasses of Presburger Arithmetic and the Polynomial-Time Hierarchy. Theor. Comput. Sci. Erich Grädel
1987	—	`—`	The complexity of subclasses of logical theories. Erich Grädel