Martin Otto

other persons with the same name:

• Martin Otto 0002

	2013
c24		Martin Otto: Bisimulation and Coverings for Graphs and Hypergraphs. ICLA 2013: 5-16
	2012
j20		Martin Otto: Highly acyclic groups, hypergraph covers, and the guarded fragment. J. ACM 59(1): 5 (2012)
j19		Emanuel Kieronski, Martin Otto: Small substructures and decidability issues for first-order logic with two variables. J. Symb. Log. 77(3): 729-765 (2012)
j18		Vince Bárány, Balder ten Cate, Martin Otto: Queries with Guarded Negation. PVLDB 5(11): 1328-1339 (2012)
c23		Martin Grohe, Martin Otto: Pebble Games and Linear Equations. CSL 2012: 289-304
i3		Vince Bárány, Balder ten Cate, Martin Otto: Queries with Guarded Negation (full version). CoRR abs/1203.0077 (2012)
i2		Martin Grohe, Martin Otto: Pebble Games and Linear Equations. CoRR abs/1204.1990 (2012)
i1		Martin Otto: On Groupoids and Hypergraphs. CoRR abs/1211.5656 (2012)
	2011
c22		Martin Otto: The Freedoms of Guarded Bisimulation. CSL 2011: 2
	2010
c21		Vince Bárány, Georg Gottlob, Martin Otto: Querying the Guarded Fragment. LICS 2010: 1-10
c20		Martin Otto: Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. LICS 2010: 11-20
	2009
j17		Anuj Dawar, Martin Otto: Modal characterisation theorems over special classes of frames. Ann. Pure Appl. Logic 161(1): 1-42 (2009)
c19		Achim Blumensath, Martin Otto, Mark Weyer: Boundedness of Monadic Second-Order Formulae over Finite Words. ICALP (2) 2009: 67-78
	2008
c18		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
c17		Stephan Kreutzer, Martin Otto, Nicole Schweikardt: Boundedness of Monadic FO over Acyclic Structures. ICALP 2007: 571-582
	2006
c16		Martin Otto: The Boundedness Problem for Monadic Universal First-Order Logic. LICS 2006: 37-48
	2005
c15		Anuj Dawar, Martin Otto: Modal Characterisation Theorems over Special Classes of Frames. LICS 2005: 21-30
c14		Emanuel Kieronski, Martin Otto: Small Substructures and Decidability Issues for First-Order Logic with Two Variables. LICS 2005: 448-457
	2004
j16		Martin Otto: Modal and guarded characterisation theorems over finite transition systems. Ann. Pure Appl. Logic 130(1-3): 173-205 (2004)
	2003
j15		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
j14		Erich Grädel, Colin Hirsch, Martin Otto: Back and forth between guarded and modal logics. ACM Trans. Comput. Log. 3(3): 418-463 (2002)
c13		Martin Otto: Modal and Guarded Characterisation Theorems over Finite Transition Systems. LICS 2002: 371-
	2001
j13		Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche: Adding For-Loops to First-Order Logic. Inf. Comput. 168(2): 156-186 (2001)
j12		Martin Otto: Two Variable First-Order Logic over Ordered Domains. J. Symb. Log. 66(2): 685-702 (2001)
	2000
j11		Martin Otto: An interpolation theorem. Bulletin of Symbolic Logic 6(4): 447-462 (2000)
j10		Martin Otto: Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures. J. Symb. Log. 65(4): 1749-1757 (2000)
c12		Erich Grädel, Colin Hirsch, Martin Otto: Back and Forth between Guarded and Modal Logics. LICS 2000: 217-228
	1999
j9		Martin Otto: Bounded variable logics: two, three, and more. Arch. Math. Log. 38(4-5): 235-256 (1999)
j8		Erich Grädel, Martin Otto, Eric Rosen: Undecidability results on two-variable logics. Arch. Math. Log. 38(4-5): 313-354 (1999)
j7		Erich Grädel, Martin Otto: On Logics with Two Variables. Theor. Comput. Sci. 224(1-2): 73-113 (1999)
j6		Martin Otto: Bisimulation-invariant PTIME and higher-dimensional µ-calculus. Theor. Comput. Sci. 224(1-2): 237-265 (1999)
c11		Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche: Adding For-Loops to First-Order Logic. ICDT 1999: 58-69
c10		Eva Hoogland, Maarten Marx, Martin Otto: Beth Definability for the Guarded Fragment. LPAR 1999: 273-285
c9		Martin Otto: Eliminating Recursion in the µ-Calculus. STACS 1999: 531-540
	1998
c8		Phokion G. Kolaitis, Martin Otto: On the Boundedness Problem for Two-Variable First-Order Logic. LICS 1998: 513-524
	1997
j5		Martin Otto: Canonization for Two Variables and Puzzles on the Square. Ann. Pure Appl. Logic 85(3): 243-282 (1997)
c7		Martin Otto: Capturing Bisimulation-Invariant Ptime. LFCS 1997: 294-305
c6		Erich Grädel, Martin Otto, Eric Rosen: Two-Variable Logic with Counting is Decidable. LICS 1997: 306-317
c5		Erich Grädel, Martin Otto, Eric Rosen: Undecidability Results on Two-Variable Logics. STACS 1997: 249-260
	1996
j4		Martin Otto, Jan Van den Bussche: First-Order Queries on Databases Embedded in an Infinite Structure. Inf. Process. Lett. 60(1): 37-41 (1996)
j3		Martin Otto: The Expressive Power of Fixed-Point Logic with Counting. J. Symb. Log. 61(1): 147-176 (1996)
c4		Martin Otto: The Logic of Explicitly Presentation-Invariant Circuits. CSL 1996: 369-384
	1995
j2		Martin Otto: An Note on the Number of Monadic Quantifiers in Monadic Sigma^1_1. Inf. Process. Lett. 53(6): 337-339 (1995)
c3		Martin Otto: Ptime Canonization for Two Variables with Counting. LICS 1995: 342-352
	1994
c2		Martin Otto: Generalized Quantifiers for Simple Properties. LICS 1994: 30-39
	1992
j1		Martin Otto: Automorphism Properties of Stationary Logic. J. Symb. Log. 57(1): 231-237 (1992)
c1		Erich Grädel, Martin Otto: Inductive Definability with Counting on Finite Structures. CSL 1992: 231-247

Coauthor Index

Last update Tue May 21 21:35:24 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page