M. Otto

Cut & paste the following **BibTeX entry**

@article{Otto2012, author = {M.~Otto}, title = {Highly acyclic groups, hypergraph covers and the guarded fragment}, journal = {Journal of the ACM}, year = {2012}, volume = {59} }

M. Otto

Cut & paste the following **BibTeX entry**

@article{Otto2013a, author = {M.~Otto}, title = {Expressive completeness through logically tractable models}, journal = {Annals of Pure and Applied Logic}, year = {2013}, note = {to appear} }

M. Otto

Cut & paste the following **BibTeX entry**

@incollection{Otto2011, author = {M.~Otto}, title = {Model theoretic methods for fragments of {FO} and special classes of (finite) structures}, booktitle = {Finite and Algorithmic Model Theory}, editor = {J.~Esparza and C.~Michaux and C.~Steinhorn}, series = {LMS Lecture Notes Series}, publisher = {Cambridge University Press}, year = {2011}, volume = {379}, pages = {271-341} }

M. Otto

Cut & paste the following **BibTeX entry**

@incollection{Otto2013b, author = {M.~Otto}, title = {Bisimulation and coverings for graphs and hypergraphs}, booktitle = {Logic and Its Applications} editor = {K.~Lodaya}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, year = {2013}, volume = {7750}, pages = {5-16} }

M. Grohe and M. Otto.

Cut & paste the following **BibTeX entry**

@inproceedings{GroheOtto12, booktitle = {Proceedings of Computer Science Logic {CSL}'2012}, editor = {P. Cegielski and A. Durand}, title = {Pebble games and linear equations}, author = {Grohe, Martin and Otto, Martin}, pages = {289-304}, year = {2012}, publisher = {LIPICS}, volume = {16}, }

M. Grohe and M. Otto.

Cut & paste the following **BibTeX entry**

@unpublished{GroheOtto12a, title = {Pebble games and linear equations}, author = {Grohe, Martin and Otto, Martin}, year = {2012}, note = {Full version of {CSL'12} paper, submitted, 40 pages, available online arXiv:1204.1990}, }

M. Otto.

Cut & paste the following **BibTeX entry**

@unpublished{Otto12, title = {On groupoids and hypergraphs}, author = {Otto, Martin}, year = {2012}, note = {Preprint, 37 pages, available online arXiv:1211.5656}, }

M. Otto and R. Piro.

Cut & paste the following **BibTeX entry**

@inproceedings{OttoPiro08, booktitle = {Proceedings of Advances in Modal Logic {AiML}'2008}, editor = {Carlos Areces and Robert Goldblatt}, title = {A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality}, author = {Otto, Martin and Piro, Robert}, pages = {273-287}, year = {2008}, }

V. Barany, G. Gottlob and M. Otto.

Cut & paste the following **BibTeX entry**

@inproceedings{BaranyGottlobOtto10, booktitle = {Proceedings of IEEE Symposium on Logic in Computer Science {LICS}'2010}, title = {Querying the guarded fragment}, author = {V. Barany and G. Gottlob and M. Otto.} pages = {1-10}, year = {2010}, }

V. Barany, G. Gottlob and M. Otto.

Cut & paste the following **BibTeX entry**

@unpublished{BaranyGottlobOtto12, title = {Querying the guarded fragment}, author = {V. Barany and G. Gottlob and M. Otto.}, note = {Preprint of journal version of {LICS'10} paper, available online}, year = {2012}, }

E, Kieronski and M. Otto.

Cut & paste the following **BibTeX entry**

@article{KieronskiOtto12, author = {E.~Kieronski and M.~Otto}, title = {Small substructures and decidability issues for first-order logic with two variables}, journal = {Journal of Symbolic Logic}, year = {2012}, volume = {77}, pages = {729-765}, note = {Journal version of {LICS'05} paper} }

V. Barany, B. ten Cate and M. Otto.

Cut & paste the following **BibTeX entry**

@inproceedings{BaranytenCateOtto12, booktitle = {Proceedings of Very Large Data Bases (PVLDB), 2012}, title = {Queries with guarded negation}, author = {V. Barany and B. ten Cate and M. Otto.} pages = {1328-1339}, year = {2012}, }

V. Barany, B. ten Cate and M. Otto.

Cut & paste the following **BibTeX entry**

@unpublisehd{BaranytenCateOtto12a, title = {Queries with guarded negation}, author = {V. Barany and B. ten Cate and M. Otto.} year = {2012}, note = {Full version of {VLDB'12} paper, 19 pages, available online arXiv:1203.0077} }

A. Blumensath, M. Otto and M. Weyer.

Cut & paste the following **BibTeX entry**

@inproceedings{BlumensathOttoWeyer09, booktitle = {{Proc.\ 36th Int.\ Colloquium on Automata, Languages and Programming}}, title = {{Boundedness of monadic second-order formulae over finite words}}, author = {A. Blumensath and M. Otto and M. Weyer}, year = {2009}, pages = {67-78}, note = {Extended full version available online} }

S. Kreutzer, M. Otto and N. Schweikardt.

Cut & paste the following **BibTeX entry**

@InProceedings{KreutzerOttoSchweikardt07, author = {S. Kreutzer and M. Otto and N. Schweikardt}, title = {Boundedness of monadic {FO} over acyclic structures}, booktitle = {Proceedings of International Colloquium on Automata, Languages and Programming, ICALP 2007}, publisher = {Springer}, year = {2007}, series = {LNCS}, volume = {4596}, editor = (L. Arge and others}, pages = {571-582} }

V. Goranko and M. Otto,

Cut & paste the following **BibTeX entry**

@InBook{GorankoOtto06, author = {V. Goranko and M. Otto}, editor = {P. Blackburn and F. Wolter and J. van Benthem}, title = {Handbook of Modal Logic}, chapter = {Model Theory of Modal Logic}, publisher = {Elsevier}, year = {2006}, pages = {255-325} }

M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{Otto:lics06, author = {M. Otto}, title = {The Boundedness Problem for Monadic Universal First-Order Logic}, booktitle = {Proceedings of 21st {IEEE} Symposium on Logic in Computer Science {LICS}'06}, year = {2006}, pages = {37-46} }Abstract

A. Dawar and M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{DawarOtto:05b, author = {A. Dawar and M. Otto}, title = {Modal Characterisation Theorems over Special Classes of Frames}, booktitle = {Proceedings of 20th {IEEE} Symposium on Logic in Computer Science {LICS}'05}, year = {2005}, pages = {21-30} }Abstract

E. Grädel, C. Hirsch, and M. Otto,

Cut & paste the following **BibTeX entry**

@article{GraedelHirschOtto02, author = {E. Gr{\"a}del and C. Hirsch and M. Otto}, title = {Back and Forth Between Guarded and Modal Logics}, journal = {ACM Transactions on Computational Logic}, volume = {3}, year = {2002}, pages = {418-463} }Abstract

E. Grädel, C. Hirsch, and M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{GraedelHirschOtto00, author = {E. Gr{\"a}del and C. Hirsch and M. Otto}, title = {Back and Forth Between Guarded and Modal Logics}, booktitle = {Proceedings of 15th {IEEE} Symposium on Logic in Computer Science {LICS} 2000}, year = {2000}, pages = {217-228} }Abstract

E. Grädel and M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{GraedelOtto93, author = {E. Gr{\"a}del and M. Otto}, title = {Inductive Definability with Counting on Finite Structures}, booktitle = {Computer Science Logic, 6th Workshop, {CSL} `92, San Miniato 1992, Selected Papers}, editor = {E. B{\"o}rger and G. J{\"a}ger and H. Kleine B{\"u}ning and S. Martini and M.M. Richter}, publisher = {Springer-Verlag}, series = {{LNCS}}, volume = 702, year = 1993, pages = {231-247} }Abstract

E. Grädel and M. Otto,

Cut & paste the following **BibTeX entry**

@article{GraedelOtto98, author = {E. Gr{\"a}del and M. Otto}, title = {On Logics with Two Variables}, journal = {Theoretical Computer Science}, volume = {224}, year = {1999}, pages = {73--113} }Abstract

E. Grädel, M. Otto, and E. Rosen,

Cut & paste the following **BibTeX entry**

@inproceedings{GraedelOttoRosen97a, author = {E. Gr{\"a}del and M. Otto and E. Rosen}, title = {Undecidability Results on Two-Variable Logics}, booktitle = {Proceedings of 14th Symposium on Theoretical Aspects of Computer Science {STACS}`97}, editor = {R. Reischuk and M. Morvan}, publisher = {Springer-Verlag}, series = {{LNCS}}, volume = {2000}, year = {1997}, pages = {249-260} }cf. journal entry

E. Grädel, M. Otto, and E. Rosen,

Cut & paste the following **BibTeX entry**

@inproceedings{GraedelOttoRosen97, author = {E. Gr{\"a}del and M. Otto, and E. Rosen}, title = {Two-Variable Logic with Counting is Decidable}, booktitle = {Proceedings of 12th {IEEE} Symposium on Logic in Computer Science {LICS} `97, Warsaw}, year = {1997} pages = {306-317} }Abstract

E. Grädel, M. Otto, and E. Rosen,

Cut & paste the following **BibTeX entry**

@article{GraedelOttoRosen98, author = {E. Gr{\"a}del and M. Otto and E. Rosen}, title = {Undecidability Results for Two-Variable Logics}, journal = {Archive for Mathematical Logic}, volume = {38}, year = {1999}, pages = {313--354}, note = {See also: Proceedings of 14th Symposium on Theoretical Aspects of Computer Science {STACS}`97, Lecture Notes in Computer Science No. 1200, Springer 1997, 249--260.} }Abstract

I. Hodkinson anf M. Otto,
**Finite Conformal Hypergraph Covers and
Gaifman Cliques in Finite Structures**,
*Bulletin of Symbolic Logic,* volume 6, 2000, pp. 447-462.

Cut & paste the following **BibTeX entry**

@article{HodkinsonOtto01, author = {I. Hodkinson and M. Otto}, title = {Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures}, journal = {The Bulletin of Symbolic Logic}, volume = {9}, year = {2003}, pages = {387--405}, }Abstract

E. Hoogland, M. Marx, and M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{HooglandMarxOtto99, author = {E. Hoogland and M. Marx and M. Otto}, title = {Beth Definability for the Guraded Fragment}, booktitle = {Proceedings of LPAR'99}, publisher = {Springer-Verlag}, series = {{LNAI}}, volume = {1705} year = {1999} pages = {273-285} note = {See also in: JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, J. Gebrandy, M. Marx, M. de Rijke and Y. Venema (ed.), CD-ROM, Amsterdam University Press 1999. } }Abstract

E. Kieronski and M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{KieronskiOtto:lics05, author = {E. Kieronski and M. Otto}, title = {Small Substructures and Decidability Issues for Two-Variable First-Order Logic}, booktitle = {Proceedings of 20th {IEEE} Symposium on Logic in Computer Science {LICS}'05}, year = {2005}, pages = {448-457} }Abstract

P. Kolaitis and M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{KolaitisOtto98, author = {P. Kolaitis and M. Otto}, title = {On the Boundedness Problem for Two-Variable First-Order Logic}, booktitle = {Proceedings of IEEE Symposium on Logic in Computer Science LICS `98}, year = {1998} pages = {513-524} }Abstract

F. Neven, M. Otto, J. Tyszkiewicz, and J. Van den Bussche,

Cut & paste the following **BibTeX entry**

@article{NevenOttoTyszkiewiczvandenBussche01, author = {F. Neven, M. Otto, J. Tyszkiewicz, and J. Van den Bussche}, title = {Adding {FOR}-Loops to First-Order Logic}, journal = {Information and Computation}, year = {2001}, volume = {168}, pages = {156-186} note = {proceedings version in: ICDT'99, LNCS 1540, 1999, pp. 58-69} }Abstract

F. Neven, M. Otto, J. Tyszkiewicz, and J. Van den Bussche,

Cut & paste the following **BibTeX entry**

@inproceedings{NevenOttoTyszkiewiczvandenBussche99, author = {F. Neven and M. Otto and J. Tyszkiewicz and Van den Bussche}, title = {Adding {FOR}-Loops to First-Order Logic}, booktitle = {Proceedings of ICDT'99}, publisher = {Springer-Verlag}, series = {{LNCS}}, volume = {1540}, year = {1999}, pages = {58-69} }

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto87, author = {M. Otto}, title = {A Reduction Scheme for Phase Spaces with Almost-{K}{\"a}hler Symmetry -- Regularity Results for Momentum Level Sets}, journal = {Journal of Geometry and Physics}, volume = {4}, year = {1987}, pages = {101-118} }

M. Otto ,

Cut & paste the following **BibTeX entry**

@phdthesis{Otto90, author = {M. Otto}, title = {{E}hrenfeucht-{M}ostowski {K}onstruktionen in {E}rweiterungslogiken}, school = {Doctoral dissertation (German), Freiburg University}, year = {1990}. note = {94 pages} }

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto92, author = {M. Otto}, title = {Automorphism Properties of Stationary Logic}, journal = {Journal of Symbolic Logic}, volume = {57}, year = {1992}, pages = {231-237} }

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto92b, author = {M. Otto}, title = {{EM} Functors for a Class of Generalized Quantifiers}, journal = {Archive for Mathematical Logic}, volume = {31}, year = {1992}, pages = {355-371} }

M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{Otto94, author = {M. Otto}, title = {Generalized quantifiers for simple properties}, booktitle = {Proceedings of 9th {IEEE} Symposium on Logic in Computer Science {LICS} `94}, year = {1994}, pages = {30-39} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@misc{Otto95, author = {M. Otto}, title = {Bounded variable logics and counting -- {A} study in finite models}, note = {Habilitationsschrift RWTH Aachen, 1995, 190 pages} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@book{Otto95b, author = {M. Otto}, title = {Bounded variable logics and counting -- {A} study in finite models}, booktitle = {Lecture Notes in Logic}, volume = {9}, publisher = {Springer-Verlag}, year = {1997}, note = {IX+183 pages} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto95c, author = {M. Otto}, title = {Note on the number of monadic quantifiers in monadic $\Sigma^1_1$}, journal = {Information Processing Letters}, volume = {53}, year = {1995}, pages = {337-339} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{Otto95d, author = {M. Otto}, title = {Ptime canonization for two variables with counting}, booktitle = {Proceedings of 10th {IEEE} Symposium on Logic in Computer Science {LICS} `95}, year = {1995}, pages = {342-352} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto96, author = {M. Otto}, title = {The Expressive Power of Fixed-Point Logic with Counting}, journal = {Journal of Symbolic Logic}, volume = {61}, year = {1996}, pages = {147-176} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto97, author = {M. Otto}, title = {Canonization for Two Variables and Puzzles on the Square}, journal = {Annals of Pure and Applied Logic}, volume = {85}, year = {1997}, pages = {243-282} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto97b, author = {M. Otto}, title = {The Logic of Explicitly Representation-Invariant Circuits}, booktitle = {Selected Papers of CSL `96}, editor = {D. van Dalen and M. Bezem}, publisher = {Springer-Verlag}, series = {{LNCS}}, volume = {1258}, year = {1997}, pages = {369-384} }

M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{Otto97c, author = {M. Otto}, title = {Capturing Bisimulation-Invariant Ptime}, booktitle = {Proceedings of 4th Symposium on Logical Foundations of Computer Science, LFCS `97}, publisher = {Springer-Verlag}, series = {{LNCS}}, volume = {1234}, year = {1997}, pages = {294-305} }

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto98b, author = {M. Otto}, title = {Bisimulation-Invariant Ptime and Higher-Dimensional mu-Calculus}, journal = {Theoretical Computer Science}, volume = {224}, year = {1999}, pages = {237-265} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto99, author = {M.~Otto}, title = {Bounded-Variable Logics: Two, Three, and More}, journal = {Archive for Mathematical Logic}, volume = {38}, year = {1999}, pages = {235-256} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{Otto99b, author = {M.~Otto}, title = {Eliminating Recursion in the $\mu$-Calculus}, booktitle = {Proceedings of STACS'99}, publisher = {Springer-Verlag}, series = {{LNCS}}, volume = {1563}, editor = {C. Meinel and S. Tison} year = {1999}, pages = {531-540} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto98d, author = {M. Otto}, title = {Epsilon-Logic is More Expressive Than First-Order Logic over Finite Structures}, journal = {Journal of Symbolic Logic}, volume = {65}, year = {2000}, pages = {1749-1757} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@acticle{Otto98c, author = {M.~Otto}, title = {Two-Variable First-Order Logic over Ordered Domains}, journal = {Journal of Symbolic Logic} volume = {66}, year = {2001}, pages = {685-702} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto98f, author = {M.~Otto}, title = {An interpolation theorem}, journal = {Bulletin of Symbolic Logic}, volume = {6}, year = {2000}, pages = {447-462} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@unpublished{Otto94b, author = {M. Otto}, title = {Symmetry and First Order: Explicitly Representation-Invariant Circuits}, note = {(32 pages), unpublished, 1994} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@inproceedings{Otto02, author = {M. Otto}, title = {Modal and Guarded Characterisation Theorems over Finite Transition Systems}, booktitle = {Proceedings of 17th {IEEE} Symposium on Logic in Computer Science {LICS} `02}, year = {2002}, pages = {371-380} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@incollection{Otto02, author = {M. Otto}, title = {Bisimulation Invariance and Finite Models}, booktitle = {{L}ecture {N}otes in {L}ogic, {L}ogic {C}olloquium 2002}, editor = {Z. Chatzidakis, P. Koepke, W. Pohlers}, pages = {276-298}, year = {2006} }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@techreport{OttoNote, author = {M. Otto}, title = {Elementary Proof of the van {B}enthem-{R}osen Characterisation Theorem} institution = {Department of Mathematics, Darmstadt University of Technology}, number = {2342}, year = 2004, }Abstract

M. Otto,

Cut & paste the following **BibTeX entry**

@article{Otto04, author = {M. Otto}, title = {Modal and Guarded Characterisation Theorems over Finite Transition Systems}, journal= {Annals of Pure and Applied Logic}, volume = {130}, year = {2004}, pages = {173-205} }Abstract

M. Otto and J. Van den Bussche,

Cut & paste the following **BibTeX entry**

@article{OttovandenBussche96, author = {M. Otto and J. Van den Bussche}, title = {First-Order Queries on Databases Embedded in an Infinite Structure}, journal = {Information Processing Letters}, volume = {60}, year = {1996}, pages = {37-41} }Abstract

M. Otto