Martin Otto

2007
31	EE	Stephan Kreutzer, Martin Otto, Nicole Schweikardt: Boundedness of Monadic FO over Acyclic Structures. ICALP 2007: 571-582
2006
30	EE	Martin Otto: The Boundedness Problem for Monadic Universal First-Order Logic. LICS 2006: 37-48
2005
29	EE	Anuj Dawar, Martin Otto: Modal Characterisation Theorems over Special Classes of Frames. LICS 2005: 21-30
28	EE	Emanuel Kieronski, Martin Otto: Small Substructures and Decidability Issues for First-Order Logic with Two Variables. LICS 2005: 448-457
2004
27	EE	Martin Otto: Modal and guarded characterisation theorems over finite transition systems. Ann. Pure Appl. Logic 130(1-3): 173-205 (2004)
2003
26	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
25	EE	Martin Otto: Modal and Guarded Characterisation Theorems over Finite Transition Systems. LICS 2002: 371-
24	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
23		Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche: Adding For-Loops to First-Order Logic. Inf. Comput. 168(2): 156-186 (2001)
22		Martin Otto: Two Variable First-Order Logic over Ordered Domains. J. Symb. Log. 66(2): 685-702 (2001)
2000
21	EE	Erich Grädel, Colin Hirsch, Martin Otto: Back and Forth between Guarded and Modal Logics. LICS 2000: 217-228
20	EE	Martin Otto: An interpolation theorem. Bulletin of Symbolic Logic 6(4): 447-462 (2000)
19		Martin Otto: Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures. J. Symb. Log. 65(4): 1749-1757 (2000)
1999
18	EE	Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche: Adding For-Loops to First-Order Logic. ICDT 1999: 58-69
17		Eva Hoogland, Maarten Marx, Martin Otto: Beth Definability for the Guarded Fragment. LPAR 1999: 273-285
16	EE	Martin Otto: Eliminating Recursion in the µ-Calculus. STACS 1999: 531-540
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)

Coauthor Index

1	Jan Van den Bussche	[7] [18] [23]
2	Anuj Dawar	[29]
3	Erich Grädel	[2] [10] [11] [14] [21] [24]
4	Colin Hirsch	[21] [24]
5	Ian M. Hodkinson	[26]
6	Eva Hoogland	[17]
7	Emanuel Kieronski	[28]
8	Phokion G. Kolaitis	[13]
9	Stephan Kreutzer	[31]
10	Maarten Marx	[17]
11	Frank Neven	[18] [23]
12	Eric Rosen	[10] [11]
13	Nicole Schweikardt	[31]
14	Jerzy Tyszkiewicz	[18] [23]

Colors in the list of coauthors