The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Erich Grädel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  72. Definability in Games. [Citation Graph (, )][DBLP]


  73. The Descriptive Complexity of Parity Games. [Citation Graph (, )][DBLP]


  74. Directed Graphs of Entanglement Two. [Citation Graph (, )][DBLP]


  75. Banach-Mazur Games on Graphs. [Citation Graph (, )][DBLP]


  76. Model Checking Games for the Quantitative µ-Calculus. [Citation Graph (, )][DBLP]


  77. Undecidability results on two-variable logics. [Citation Graph (, )][DBLP]


  78. 0-1 laws for recursive structures. [Citation Graph (, )][DBLP]


  79. Model Checking Games for the Quantitative mu-Calculus [Citation Graph (, )][DBLP]


Search in 0.132secs, Finished in 0.135secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002