Search the dblp DataBase

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]