Travelled to:1 × Denmark
1 × Greece
1 × Italy
1 × Norway
1 × The Netherlands
1 × United Kingdom
2 × France
2 × Poland
6 × USA
Collaborated with:∅ E.Grädel V.Bárány M.Grohe A.Dawar E.Kieronski P.G.Kolaitis B.t.Cate G.Gottlob A.Blumensath M.Weyer S.Kreutzer N.Schweikardt C.Hirsch E.Rosen
Talks about:logic (6) guard (6) variabl (4) bounded (4) order (4) finit (4) two (4) monad (3) modal (3) first (3)
Person: Martin Otto
DBLP: Otto:Martin
Contributed to:
2013
2012
201220112010
200920072006200520022000199819971996199519941992Wrote 19 papers:
- LICS-2013-Otto #finite #modelling #symmetry
- Groupoids, Hypergraphs, and Symmetries in Finite Models (MO), pp. 53–62.
- CSL-2012-GroheO #equation #game studies #linear
- Pebble Games and Linear Equations (MG, MO), pp. 289–304.
- VLDB-2012-BaranyCO #query
- Queries with Guarded Negation (VB, BtC, MO), pp. 1328–1339.
- CSL-2011-Otto #bisimulation
- The Freedoms of Guarded Bisimulation (MO), p. 2.
- LICS-2010-BaranyGO #query
- Querying the Guarded Fragment (VB, GG, MO), pp. 1–10.
- LICS-2010-Otto
- Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment (MO), pp. 11–20.
- ICALP-v2-2009-BlumensathOW #bound #finite #higher-order #monad #word
- Boundedness of Monadic Second-Order Formulae over Finite Words (AB, MO, MW), pp. 67–78.
- ICALP-2007-KreutzerOS #bound #monad
- Boundedness of Monadic FO over Acyclic Structures (SK, MO, NS), pp. 571–582.
- LICS-2006-Otto #bound #first-order #logic #monad #problem
- The Boundedness Problem for Monadic Universal First-Order Logic (MO), pp. 37–48.
- LICS-2005-DawarO #theorem
- Modal Characterisation Theorems over Special Classes of Frames (AD, MO), pp. 21–30.
- LICS-2005-KieronskiO #decidability #first-order #logic
- Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.
- LICS-2002-Otto #finite #theorem
- Modal and Guarded Characterisation Theorems over Finite Transition Systems (MO), p. 371–?.
- LICS-2000-GradelHO #logic
- Back and Forth between Guarded and Modal Logics (EG, CH, MO), pp. 217–228.
- LICS-1998-KolaitisO #bound #first-order #logic #on the #problem
- On the Boundedness Problem for Two-Variable First-Order Logic (PGK, MO), pp. 513–524.
- LICS-1997-GradelOR #decidability #logic
- Two-Variable Logic with Counting is Decidable (EG, MO, ER), pp. 306–317.
- CSL-1996-Otto #invariant #logic
- The Logic of Explicitly Presentation-Invariant Circuits (MO), pp. 369–384.
- LICS-1995-Otto
- Ptime Canonization for Two Variables with Counting (MO), pp. 342–352.
- LICS-1994-Otto #quantifier
- Generalized Quantifiers for Simple Properties (MO), pp. 30–39.
- CSL-1992-GradelO #finite #induction
- Inductive Definability with Counting on Finite Structures (EG, MO), pp. 231–247.