2008 |
35 | EE | Jens-Uwe Bußer,
Steffen Fries,
Martin Otto,
Peter Hartmann:
Navigating in Webs of Trust: Finding Short Trust Chains in Unstructured Networks without Global Knowledge.
ARES 2008: 335-343 |
34 | EE | Martin Otto,
Robert Piro:
A Lindström characterisation of the guarded fragment and of modal logic with a global modality.
Advances in Modal Logic 2008: 273-287 |
2007 |
33 | EE | Stephan Kreutzer,
Martin Otto,
Nicole Schweikardt:
Boundedness of Monadic FO over Acyclic Structures.
ICALP 2007: 571-582 |
2006 |
32 | EE | Martin Otto:
The Boundedness Problem for Monadic Universal First-Order Logic.
LICS 2006: 37-48 |
2005 |
31 | EE | Anuj Dawar,
Martin Otto:
Modal Characterisation Theorems over Special Classes of Frames.
LICS 2005: 21-30 |
30 | EE | Emanuel Kieronski,
Martin Otto:
Small Substructures and Decidability Issues for First-Order Logic with Two Variables.
LICS 2005: 448-457 |
2004 |
29 | EE | Martin Otto:
Modal and guarded characterisation theorems over finite transition systems.
Ann. Pure Appl. Logic 130(1-3): 173-205 (2004) |
2003 |
28 | EE | Ian M. Hodkinson,
Martin Otto:
Finite conformal hypergraph covers and Gaifman cliques in finite structures.
Bulletin of Symbolic Logic 9(3): 387-407 (2003) |
2002 |
27 | EE | Martin Otto:
Modal and Guarded Characterisation Theorems over Finite Transition Systems.
LICS 2002: 371- |
26 | EE | Erich Grädel,
Colin Hirsch,
Martin Otto:
Back and forth between guarded and modal logics.
ACM Trans. Comput. Log. 3(3): 418-463 (2002) |
2001 |
25 | | Frank Neven,
Martin Otto,
Jerzy Tyszkiewicz,
Jan Van den Bussche:
Adding For-Loops to First-Order Logic.
Inf. Comput. 168(2): 156-186 (2001) |
24 | | Martin Otto:
Two Variable First-Order Logic over Ordered Domains.
J. Symb. Log. 66(2): 685-702 (2001) |
2000 |
23 | EE | Erich Grädel,
Colin Hirsch,
Martin Otto:
Back and Forth between Guarded and Modal Logics.
LICS 2000: 217-228 |
22 | EE | Martin Otto:
An interpolation theorem.
Bulletin of Symbolic Logic 6(4): 447-462 (2000) |
21 | | Martin Otto:
Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures.
J. Symb. Log. 65(4): 1749-1757 (2000) |
1999 |
20 | EE | Frank Neven,
Martin Otto,
Jerzy Tyszkiewicz,
Jan Van den Bussche:
Adding For-Loops to First-Order Logic.
ICDT 1999: 58-69 |
19 | | Eva Hoogland,
Maarten Marx,
Martin Otto:
Beth Definability for the Guarded Fragment.
LPAR 1999: 273-285 |
18 | EE | Martin Otto:
Eliminating Recursion in the µ-Calculus.
STACS 1999: 531-540 |
17 | EE | Martin Otto:
Bounded variable logics: two, three, and more.
Arch. Math. Log. 38(4-5): 235-256 (1999) |
16 | EE | Erich Grädel,
Martin Otto,
Eric Rosen:
Undecidability results on two-variable logics.
Arch. Math. Log. 38(4-5): 313-354 (1999) |
15 | EE | Martin Otto:
Bisimulation-invariant PTIME and higher-dimensional µ-calculus.
Theor. Comput. Sci. 224(1-2): 237-265 (1999) |
14 | EE | Erich Grädel,
Martin Otto:
On Logics with Two Variables.
Theor. Comput. Sci. 224(1-2): 73-113 (1999) |
1998 |
13 | | Phokion G. Kolaitis,
Martin Otto:
On the Boundedness Problem for Two-Variable First-Order Logic.
LICS 1998: 513-524 |
1997 |
12 | | Martin Otto:
Capturing Bisimulation-Invariant Ptime.
LFCS 1997: 294-305 |
11 | EE | Erich Grädel,
Martin Otto,
Eric Rosen:
Two-Variable Logic with Counting is Decidable.
LICS 1997: 306-317 |
10 | | Erich Grädel,
Martin Otto,
Eric Rosen:
Undecidability Results on Two-Variable Logics.
STACS 1997: 249-260 |
9 | | Martin Otto:
Canonization for Two Variables and Puzzles on the Square.
Ann. Pure Appl. Logic 85(3): 243-282 (1997) |
1996 |
8 | | Martin Otto:
The Logic of Explicitly Presentation-Invariant Circuits.
CSL 1996: 369-384 |
7 | EE | Martin Otto,
Jan Van den Bussche:
First-Order Queries on Databases Embedded in an Infinite Structure.
Inf. Process. Lett. 60(1): 37-41 (1996) |
6 | | Martin Otto:
The Expressive Power of Fixed-Point Logic with Counting.
J. Symb. Log. 61(1): 147-176 (1996) |
1995 |
5 | | Martin Otto:
Ptime Canonization for Two Variables with Counting
LICS 1995: 342-352 |
4 | EE | Martin Otto:
An Note on the Number of Monadic Quantifiers in Monadic Sigma^1_1.
Inf. Process. Lett. 53(6): 337-339 (1995) |
1994 |
3 | | Martin Otto:
Generalized Quantifiers for Simple Properties
LICS 1994: 30-39 |
1992 |
2 | | Erich Grädel,
Martin Otto:
Inductive Definability with Counting on Finite Structures.
CSL 1992: 231-247 |
1 | | Martin Otto:
Automorphism Properties of Stationary Logic.
J. Symb. Log. 57(1): 231-237 (1992) |