Martin Otto

other persons with the same name:

• Martin Otto

	2009
35		Achim Blumensath, Martin Otto, Mark Weyer: Boundedness of Monadic Second-Order Formulae over Finite Words. ICALP (2) 2009: 67-78
	2008
34		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		Stephan Kreutzer, Martin Otto, Nicole Schweikardt: Boundedness of Monadic FO over Acyclic Structures. ICALP 2007: 571-582
	2006
32		Martin Otto: The Boundedness Problem for Monadic Universal First-Order Logic. LICS 2006: 37-48
	2005
31		Anuj Dawar, Martin Otto: Modal Characterisation Theorems over Special Classes of Frames. LICS 2005: 21-30
30		Emanuel Kieronski, Martin Otto: Small Substructures and Decidability Issues for First-Order Logic with Two Variables. LICS 2005: 448-457
	2004
29		Martin Otto: Modal and guarded characterisation theorems over finite transition systems. Ann. Pure Appl. Logic 130(1-3): 173-205 (2004)
	2003
28		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		Martin Otto: Modal and Guarded Characterisation Theorems over Finite Transition Systems. LICS 2002: 371-
26		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		Erich Grädel, Colin Hirsch, Martin Otto: Back and Forth between Guarded and Modal Logics. LICS 2000: 217-228
22		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		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		Martin Otto: Eliminating Recursion in the µ-Calculus. STACS 1999: 531-540
17		Martin Otto: Bounded variable logics: two, three, and more. Arch. Math. Log. 38(4-5): 235-256 (1999)
16		Erich Grädel, Martin Otto, Eric Rosen: Undecidability results on two-variable logics. Arch. Math. Log. 38(4-5): 313-354 (1999)
15		Martin Otto: Bisimulation-invariant PTIME and higher-dimensional µ-calculus. Theor. Comput. Sci. 224(1-2): 237-265 (1999)
14		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		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		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		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	Achim Blumensath	[35]
2	Jan Van den Bussche	[7] [20] [25]
3	Anuj Dawar	[31]
4	Erich Grädel	[2] [10] [11] [14] [16] [23] [26]
5	Colin Hirsch	[23] [26]
6	Ian M. Hodkinson	[28]
7	Eva Hoogland	[19]
8	Emanuel Kieronski	[30]
9	Phokion G. Kolaitis	[13]
10	Stephan Kreutzer	[33]
11	Maarten Marx	[19]
12	Frank Neven	[20] [25]
13	Robert Piro	[34]
14	Eric Rosen	[10] [11] [16]
15	Nicole Schweikardt	[33]
16	Jerzy Tyszkiewicz	[20] [25]
17	Mark Weyer	[35]

Colors in the list of coauthors