BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Otto:Martin

Contributed to:

LICS 20132013
CSL 20122012
VLDB 20122012
CSL 20112011
LICS 20102010
ICALP (2) 20092009
ICALP 20072007
LICS 20062006
LICS 20052005
LICS 20022002
LICS 20002000
LICS 19981998
LICS 19971997
CSL 19961996
LICS 19951995
LICS 19941994
CSL 19921992

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.