The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Otto: [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. Martin Otto, Jan Van den Bussche
    First-Order Queries on Databases Embedded in an Infinite Structure. [Citation Graph (3, 0)][DBLP]
    Inf. Process. Lett., 1996, v:60, n:1, pp:37-41 [Journal]
  3. Erich Grädel, Martin Otto, Eric Rosen
    Undecidability Results on Two-Variable Logics. [Citation Graph (1, 0)][DBLP]
    STACS, 1997, pp:249-260 [Conf]
  4. Martin Otto
    The Expressive Power of Fixed-Point Logic with Counting. [Citation Graph (1, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:1, pp:147-176 [Journal]
  5. Martin Otto
    The Logic of Explicitly Presentation-Invariant Circuits. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:369-384 [Conf]
  6. Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
    Adding For-Loops to First-Order Logic. [Citation Graph (0, 7)][DBLP]
    ICDT, 1999, pp:58-69 [Conf]
  7. Martin Otto
    Capturing Bisimulation-Invariant Ptime. [Citation Graph (0, 0)][DBLP]
    LFCS, 1997, pp:294-305 [Conf]
  8. Anuj Dawar, Martin Otto
    Modal Characterisation Theorems over Special Classes of Frames. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:21-30 [Conf]
  9. 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]
  10. 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]
  11. Emanuel Kieronski, Martin Otto
    Small Substructures and Decidability Issues for First-Order Logic with Two Variables. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:448-457 [Conf]
  12. Phokion G. Kolaitis, Martin Otto
    On the Boundedness Problem for Two-Variable First-Order Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:513-524 [Conf]
  13. Martin Otto
    Modal and Guarded Characterisation Theorems over Finite Transition Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:371-0 [Conf]
  14. Martin Otto
    The Boundedness Problem for Monadic Universal First-Order Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:37-48 [Conf]
  15. Martin Otto
    Generalized Quantifiers for Simple Properties [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:30-39 [Conf]
  16. Martin Otto
    Ptime Canonization for Two Variables with Counting [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:342-352 [Conf]
  17. Eva Hoogland, Maarten Marx, Martin Otto
    Beth Definability for the Guarded Fragment. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:273-285 [Conf]
  18. Martin Otto
    Eliminating Recursion in the µ-Calculus. [Citation Graph (0, 0)][DBLP]
    STACS, 1999, pp:531-540 [Conf]
  19. Martin Otto
    Modal and guarded characterisation theorems over finite transition systems. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:130, n:1-3, pp:173-205 [Journal]
  20. Martin Otto
    Canonization for Two Variables and Puzzles on the Square. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1997, v:85, n:3, pp:243-282 [Journal]
  21. Martin Otto
    An interpolation theorem. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2000, v:6, n:4, pp:447-462 [Journal]
  22. Ian M. Hodkinson, Martin Otto
    Finite conformal hypergraph covers and Gaifman cliques in finite structures. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2003, v:9, n:3, pp:387-407 [Journal]
  23. Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
    Adding For-Loops to First-Order Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:168, n:2, pp:156-186 [Journal]
  24. Martin Otto
    An Note on the Number of Monadic Quantifiers in Monadic Sigma^1_1. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:6, pp:337-339 [Journal]
  25. Martin Otto
    Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:4, pp:1749-1757 [Journal]
  26. Martin Otto
    Two Variable First-Order Logic over Ordered Domains. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:685-702 [Journal]
  27. Martin Otto
    Automorphism Properties of Stationary Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:1, pp:231-237 [Journal]
  28. 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]
  29. Martin Otto
    Bisimulation-invariant PTIME and higher-dimensional µ-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:224, n:1-2, pp:237-265 [Journal]
  30. 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]
  31. Stephan Kreutzer, Martin Otto, Nicole Schweikardt
    Boundedness of Monadic FO over Acyclic Structures. [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:571-582 [Conf]

  32. A Lindström characterisation of the guarded fragment and of modal logic with a global modality. [Citation Graph (, )][DBLP]


  33. Boundedness of Monadic Second-Order Formulae over Finite Words. [Citation Graph (, )][DBLP]


  34. Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. [Citation Graph (, )][DBLP]


  35. Querying the Guarded Fragment. [Citation Graph (, )][DBLP]


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


  37. Bounded variable logics: two, three, and more. [Citation Graph (, )][DBLP]


  38. Modal characterisation theorems over special classes of frames. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
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