Martin Otto

other persons with the same name:

• Martin Otto

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)

Coauthor Index

1	Jan Van den Bussche	[7] [20] [25]
2	Jens-Uwe Bußer	[35]
3	Anuj Dawar	[31]
4	Steffen Fries	[35]
5	Erich Grädel	[2] [10] [11] [14] [16] [23] [26]
6	Peter Hartmann	[35]
7	Colin Hirsch	[23] [26]
8	Ian M. Hodkinson	[28]
9	Eva Hoogland	[19]
10	Emanuel Kieronski	[30]
11	Phokion G. Kolaitis	[13]
12	Stephan Kreutzer	[33]
13	Maarten Marx	[19]
14	Frank Neven	[20] [25]
15	Robert Piro	[34]
16	Eric Rosen	[10] [11] [16]
17	Nicole Schweikardt	[33]
18	Jerzy Tyszkiewicz	[20] [25]

Colors in the list of coauthors