dblp.uni-trier.dewww.uni-trier.de

Erich Grädel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
82EEErich Grädel, Reinhard Kahle: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings Springer 2009
81EEErich Grädel, Lukasz Kaiser, Roman Rabinovich: Directed Graphs of Entanglement Two. FCT 2009: 169-180
2008
80EEAnuj Dawar, Erich Grädel: The Descriptive Complexity of Parity Games. CSL 2008: 354-368
79EEErich Grädel: Banach-Mazur Games on Graphs. FSTTCS 2008
78EEDiana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative µ-Calculus. STACS 2008: 301-312
77EEDiana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative mu-Calculus CoRR abs/0802.2871: (2008)
2007
76EEDietmar Berwanger, Erich Grädel, Giacomo Lenzi: The Variable Hierarchy of the µ-Calculus Is Strict. Theory Comput. Syst. 40(4): 437-466 (2007)
2006
75EESamson Abramsky, Erich Grädel, Johann A. Makowsky: The Ackermann Award 2006. CSL 2006: 622-626
74EEErich Grädel, Igor Walukiewicz: Postinal Determinacy of Games with Infinitely Many Priorities CoRR abs/cs/0610034: (2006)
73EEErich Grädel, Igor Walukiewicz: Positional Determinacy of Games with Infinitely Many Priorities CoRR abs/cs/0610035: (2006)
72EEErich Grädel, Igor Walukiewicz: Positional Determinacy of Games with Infinitely Many Priorities. Logical Methods in Computer Science 2(4): (2006)
71EEAnuj Dawar, Erich Grädel, Stephan Kreutzer: Backtracking games and inflationary fixed points. Theor. Comput. Sci. 350(2-3): 174-187 (2006)
2005
70EEErich Grädel, Janos Makowsky, Alexander A. Razborov: The Ackermann Award 2005. CSL 2005: 557-565
2004
69EEAnuj Dawar, Erich Grädel, Stephan Kreutzer: Backtracking Games and Inflationary Fixed Points. ICALP 2004: 420-432
68EEDietmar Berwanger, Erich Grädel: Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. LPAR 2004: 209-223
67EEErich Grädel: Positional Determinacy of Infinite Games. STACS 2004: 4-18
66EEAnuj Dawar, Erich Grädel, Stephan Kreutzer: Inflationary fixed points in modal logic. ACM Trans. Comput. Log. 5(2): 282-315 (2004)
65EEAchim Blumensath, Erich Grädel: Finite Presentations of Infinite Structures: Automata and Interpretations. Theory Comput. Syst. 37(6): 641-674 (2004)
64EEDietmar Berwanger, Erich Grädel: Fixed-Point Logics and Solitaire Games. Theory Comput. Syst. 37(6): 675-694 (2004)
2003
63EEErich Grädel, Antje Nowack: Quantum Computing and Abstract State Machines. Abstract State Machines 2003: 309-323
62EEErich Grädel, Stephan Kreutzer: Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions. LICS 2003: 158-
61EEDietmar Berwanger, Erich Grädel, Stephan Kreutzer: Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. LPAR 2003: 229-243
60EEErich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno: LICS 2001 special issue. ACM Trans. Comput. Log. 4(3): 295 (2003)
2002
59 Erich Grädel, Wolfgang Thomas, Thomas Wilke: Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001] Springer 2002
58EEDietmar Berwanger, Erich Grädel, Giacomo Lenzi: On the Variable Hierarchy of the Modal µ-Calculus. CSL 2002: 352-366
57EEGeorg Gottlob, Erich Grädel, Helmut Veith: Datalog LITE: a deductive query language with linear time model checking. ACM Trans. Comput. Log. 3(1): 42-79 (2002)
56EEErich Grädel, Colin Hirsch, Martin Otto: Back and forth between guarded and modal logics. ACM Trans. Comput. Log. 3(3): 418-463 (2002)
55EEErich Grädel: Model Checking Games. Electr. Notes Theor. Comput. Sci. 67: (2002)
54 Erich Grädel: Guarded fixed point logics and the monadic theory of countable trees. Theor. Comput. Sci. 288(1): 129-152 (2002)
2001
53EEAnuj Dawar, Erich Grädel, Stephan Kreutzer: Inflationary Fixed Points in Modal Logic. CSL 2001: 277-291
52EEDietmar Berwanger, Erich Grädel: Games and Model Checking for Guarded Logics. LPAR 2001: 70-84
51 Erich Grädel: Why are Modal Logics so Robustly Decidable? Current Trends in Theoretical Computer Science 2001: 393-408
2000
50EEM.-Elisabeth Goncalves, Erich Grädel: Decidability issues for action guarded logics. Description Logics 2000: 123-132
49EEErich Grädel, Colin Hirsch, Martin Otto: Back and Forth between Guarded and Modal Logics. LICS 2000: 217-228
48EEAchim Blumensath, Erich Grädel: Automatic Structures. LICS 2000: 51-62
47EEErich Grädel: Efficient Evaluation Methods for Guarded Logics and Datalog LITE. LPAR 2000: 417
1999
46EEErich Grädel: Invited Talk: Decision procedures for guarded logics. CADE 1999: 31-51
45EEErich Grädel, Stephan Kreutzer: Descriptive Complexity Theory for Constraint Databases. CSL 1999: 67-81
44EEErich Grädel, Eric Rosen: Two-Variable Descriptions of Regularity. LICS 1999: 14-23
43EEErich Grädel, Igor Walukiewicz: Guarded Fixed Point Logic. LICS 1999: 45-54
42EEErich Grädel, Marc Spielmann: Logspace Reducibility via Abstract State Machines. World Congress on Formal Methods 1999: 1738-1757
41EEErich Grädel, Anders Malmström: 0-1 laws for recursive structures. Arch. Math. Log. 38(4-5): 205-215 (1999)
40EEErich Grädel, Martin Otto, Eric Rosen: Undecidability results on two-variable logics. Arch. Math. Log. 38(4-5): 313-354 (1999)
39 Erich Grädel: Why are Modal Logics so Robustly Decidable? Bulletin of the EATCS 68: 90-103 (1999)
38 Erich Grädel: On The Restraining Power of Guards. J. Symb. Log. 64(4): 1719-1742 (1999)
37 Erich Grädel, Eric Rosen: On Preservation Theorems for Two-Variable Logic. Math. Log. Q. 45: 315-325 (1999)
36EEErich Grädel, Martin Otto: On Logics with Two Variables. Theor. Comput. Sci. 224(1-2): 73-113 (1999)
1998
35EEErich Grädel: Description Logics and Guarded Fragments of First Order Logic. Description Logics 1998
34EEErich Grädel, Yuri Gurevich, Colin Hirsch: The Complexity of Query Reliability. PODS 1998: 227-234
33 Erich Grädel, Yuri Gurevich: Metafinite Model Theory. Inf. Comput. 140(1): 26-81 (1998)
1997
32 Egon Börger, Erich Grädel, Yuri Gurevich: The Classical Decision Problem Springer 1997
31EEErich Grädel, Martin Otto, Eric Rosen: Two-Variable Logic with Counting is Decidable. LICS 1997: 306-317
30EEErich Grädel, Martin Otto, Eric Rosen: Undecidability Results on Two-Variable Logics. STACS 1997: 249-260
29EEErich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi: On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic 3(1): 53-69 (1997)
1996
28 Erich Grädel, Gregory L. McColm: Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic. Ann. Pure Appl. Logic 77(2): 169-199 (1996)
27 Kevin J. Compton, Erich Grädel: Logical Definability of Counting Functions. J. Comput. Syst. Sci. 53(2): 283-297 (1996)
1995
26 Anuj Dawar, Erich Grädel: Generalized Quantifiers and 0-1 Laws LICS 1995: 54-64
25EEErich Grädel, Klaus Meer: Descriptive complexity theory over the real numbers. STOC 1995: 315-324
24 Erich Grädel, Gregory L. McColm: On the Power of Deterministic Transitive Closures Inf. Comput. 119(1): 129-135 (1995)
23 Erich Grädel, Yuri Gurevich: Tailoring Recursion for Complexity. J. Symb. Log. 60(3): 952-969 (1995)
1994
22EEErich Grädel, Yuri Gurevich: Tailoring Recursing for Complexity. ICALP 1994: 118-129
21 Erich Grädel, Yuri Gurevich: Metafinite Model Theory. LCC 1994: 313-366
20 Kevin J. Compton, Erich Grädel: Logical Definability of Counting Functions. Structure in Complexity Theory Conference 1994: 255-266
1993
19EEErich Grädel, Anders Malmström: Approximable Minimization Problems and Optimal Solutions on Random Inputs. CSL 1993: 139-149
1992
18EEErich Grädel, Martin Otto: Inductive Definability with Counting on Finite Structures. CSL 1992: 231-247
17EEThomas Behrendt, Kevin J. Compton, Erich Grädel: Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions. CSL 1992: 43-60
16 Erich Grädel, Gregory L. McColm: Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic FOCS 1992: 167-176
15 Erich Grädel, Gregory L. McColm: Deterministic vs. Nondeterministic Transitive Closure Logic LICS 1992: 58-63
14 Erich Grädel: Capturing Complexity Classes by Fragments of Second-Order Logic. Theor. Comput. Sci. 101(1): 35-57 (1992)
1991
13EEErich Grädel: On Transitive Closure Logic. CSL 1991: 149-163
12EEErich Grädel: The Expressive Power of Second Order Horn Logic. STACS 1991: 466-477
11 Erich Grädel: Capturing Complexity Classes by Fragments of Second Order Logic. Structure in Complexity Theory Conference 1991: 341-352
10 Erich Grädel: Simple Sentences That Are Hard to Decide Inf. Comput. 94(1): 62-82 (1991)
1990
9 Erich Grädel: Simple Interpretations Among Complicated Theories. Inf. Process. Lett. 35(5): 235-238 (1990)
8 Erich Grädel: On the Notion of Linear Time Computability. Int. J. Found. Comput. Sci. 1(3): 295-308 (1990)
7 Erich Grädel: Domino Games and Complexity. SIAM J. Comput. 19(5): 787-804 (1990)
1989
6EEErich Grädel: On Logical Descriptions of Some Concepts in Structural Complexity Theory. CSL 1989: 163-175
5 Erich Grädel: Complexity of Formula Classes in First Order Logic with Functions. FCT 1989: 224-233
4 Erich Grädel: Dominoes and the Complexity of Subclasses of Logical Theories. Ann. Pure Appl. Logic 43(1): 1-30 (1989)
1988
3EEErich Grädel: Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes. CSL 1988: 118-137
2EEErich Grädel: Domino Games with an Application to the Complexity of Boolean Algebras with Bounded Quantifier Alternations. STACS 1988: 98-107
1 Erich Grädel: Subclasses of Presburger Arithmetic and the Polynomial-Time Hierarchy. Theor. Comput. Sci. 56: 289-301 (1988)

Coauthor Index

1Samson Abramsky [75]
2Thomas Behrendt [17]
3Dietmar Berwanger [52] [58] [61] [64] [68] [76]
4Achim Blumensath [48] [65]
5Egon Börger [32]
6Kevin J. Compton [17] [20] [27]
7Anuj Dawar [26] [53] [66] [69] [71] [80]
8Diana Fischer [77] [78]
9M.-Elisabeth Goncalves [50]
10Georg Gottlob [57]
11Yuri Gurevich [21] [22] [23] [32] [33] [34]
12Joseph Y. Halpern [60]
13Colin Hirsch [34] [49] [56]
14Radha Jagadeesan [60]
15Reinhard Kahle [82]
16Lukasz Kaiser [77] [78] [81]
17Phokion G. Kolaitis [29]
18Stephan Kreutzer [45] [53] [61] [62] [66] [69] [71]
19Giacomo Lenzi [58] [76]
20Johann A. Makowsky (Janos Makowsky) [70] [75]
21Anders Malmström [19] [41]
22Gregory L. McColm [15] [16] [24] [28]
23Klaus Meer [25]
24Antje Nowack [63]
25Martin Otto [18] [30] [31] [36] [40] [49] [56]
26Adolfo Piperno [60]
27Roman Rabinovich [81]
28Alexander A. Razborov [70]
29Eric Rosen [30] [31] [37] [40] [44]
30Marc Spielmann [42]
31Wolfgang Thomas [59]
32Moshe Y. Vardi [29]
33Helmut Veith [57]
34Igor Walukiewicz [43] [72] [73] [74]
35Thomas Wilke [59]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)