BibTeX Entries

 M. Otto Highly acyclic groups, hypergraph covers and the guarded fragment, Journal version of LICS 2010 paper, Journal of the ACM, 59:1, 2012.

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 Expressive completeness through logically tractable models, Journal paper related to invited talk at Logic Colloquium, Barcelona 2011. To appear in Annals of Pure and Applied Logic, 2013.

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 Model theoretic methods for fragments of FO and special classes of (finite) structures, in Finite and Algorithmic Model Theory, J. Esparza, C. Michaux, C. Steinhorn (eds), LMS Lecture Notes Series, vol. 379, Cambridge University Press, 2011.

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 Bisimulation and coverings for graphs and hypergraphs, in Logic and Its Applications, K. Lodaya (ed), Lecture Notes in Computer Science, vol. 7750, 2013.

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. Pebble games and linear equations,
Proceedings of Computer Science Logic (CSL), 2012.

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. Pebble games and linear equations,
Full version of CSL'12 paper.

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. On groupoids and hypergraphs,
Technical report, available as arXiv preprint.

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. A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality,
Proceedings of Advances in Modal Logic (AiML),2008.

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. Querying the guarded fragment,
Proceedings of IEEE Logic in Computer Science (LICS), 2010.

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. Querying the guarded fragment,
Full version of LICS'10 paper.

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. Small substructures and decidability issues for first-order logic with two variables, Journal version of LICS'05 paper, Journal of Symbolic Logic, 2012.

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. Queries with guarded negation,
Proceedings of Very Large Data Bases (PVLDB), 2012.

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. Queries with guarded negation,
Technical rport/full version of VLDB'12 paper, 2012.

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. Boundedness of monadic second-order formulae over finite words,
Proceedings of 34th International Colloquium on Automata, Languages and Programming, ICALP 2009, LNCS 4596

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. Boundedness of Monadic FO over Acyclic Structures,
Proceedings of 34th International Colloquium on Automata, Languages and Programming, ICALP 2007, LNCS 4596

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, Model Theory of Modal Logic, in Handbook of Modal Logic, edited by P. Blackburn, F. Wolter and Johan van Benthem, Elsevier 2006, pp 255-325.

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, The Boundedness Problem for Monadic Universal First-Order Logic, LICS 2006, pp. 37-46.

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, Modal Characterisation Theorems over Special Classes of Frames, LICS 2005, pp. 21-30.

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, Back and Forth Between Guarded and Modal Logics, ACM Transactions on Computational Logic, volume 3, 2002, pp. 418-463.

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, Back and Forth Between Guarded and Modal Logics, Proceedings of 15th IEEE Symposium on Logic in Computer Science LICS 2000, pp. 217-228.

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, Inductive Definability with Counting on Finite Structures, Selected Papers, 6th Workshop on Computer Science Logic {CSL} `92, San Miniato 1992, Lecture Notes in Computer Science No. 702, Springer 1993, 231-247.

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, On logics with two variables, Theoretical Computer Science, volume 224 (1999), 73-113.

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, Undecidability Results on Two-Variable Logics, Proceedings of 14th Symposium on Theoretical Aspects of Computer Science STACS `97 Lecture Notes in Computer Science No. 1200, Springer 1997, 249-260.

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,
 Two-Variable Logic with Counting is Decidable,
Proceedings of 12th IEEE Symposium on Logic in Computer Science LICS `97, Warschau 1997.


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,
Undecidability Results on Two-Variable Logics,
Archive of Mathematical Logic, volume 38 (1999), 313-354.


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,
Beth Definability for the Guraded Fragment,
Proceedings of LPAR'99, LNAI, Springer 1999.


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,

Small Substructures and Decidability Issues for Two-Variable First-Order Logic,
LICS 2005. 


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,
On the Boundedness Problem for Two-Variable First-Order Logic,
Proceedings of 13th IEEE Symposium on Logic in Computer Science LICS `98, 1998.


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,
Adding FOR-Loops to First-Order Logic,
Information and Computation, volume 168, 2001, pp. 156-186.


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,
Adding FOR-Loops to First-Order Logic,
Proceedings of ICDT'99, Lecture Notes in Computer Science No. 1540,
Springer 1999, 58-69.


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,
A Reduction Scheme for Phase Spaces with Almost-Kähler
Symmetry -- Regularity Results for Momentum Level Sets,
Journal of Geometry and Physics volume 4 (1987), 101-118.


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 ,
Ehrenfeucht-Mostowski Konstruktionen in Erweiterungslogiken,
 Doctoral dissertation (German), Freiburg University, 1990, 94 pages.


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,
Automorphism Properties of Stationary Logic,
Journal of Symbolic Logic volume 57 (1992), 231-237.


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,
EM Functors for a Class of Generalized Quantifiers,
Archive for Mathematical Logic volume 31 (1992), 355-371.


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,
Generalized Quantifiers for Simple Properties,
Proceedings of 9th IEEE Symposium on Logic in Computer Science LICS `94, 1994, 30-39.


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,
Bounded Variable Logics and Counting - A Study in Finite Models,
 Habilitationsschrift (English), RWTH Aachen, 1995, 190 pages.


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,
Bounded Variable Logics and Counting - A Study in Finite Models,
Lecture Notes in Logic volume 9, Springer 1997, IX+183 pages.


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,
A Note on the Number of Monadic Quantifiers in Monadic Sigma_1^1,
Information Processing Letters, volume 53 (1995), 337-339.


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,
Ptime Canonization for Two Variables with Counting,
Proceedings of 10th IEEE Symposium on Logic in Computer Science LICS `95, San Diego 1995, 342-352.


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,
The Expressive Power of Fixed-Point Logic with Counting,
Journal of Symbolic Logic, volume 61 (1996), 147-176.


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,
Canonization for Two Variables and Puzzles on the Square,
Annals of Pure and Applied Logic, volume 85 (1997), 243-282.


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,
The Logic of Explicitly Representation-Invariant Circuits,
Selected Papers of CSL `96, D. van Dalen and M. Bezem (ed.), Lecture Notes in Computer Science,
volume 1258, Springer 1997, 369-384.


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,
Capturing Bisimulation-Invariant {P}time,
Proceedings of 4th Symposium on Logical Foundations of Computer Science,
LFCS `97, Lecture Notes in Computer Science No. 1234,
Springer 1997, 294-305.


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,
Bisimulation-Invariant Ptime and Higher-Dimensional mu-Calculus,
Theoretical Computer Science, volume 224 (1999), 237-265.


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,
Bounded-Variable Logics: Two, Three, and More,
Archive for Mathematical Logic, volume 38 (1999), 235-256.


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,
Eliminating Recursion in the mu-Calculus,
Proceedings of STACS'99, Lecture Notes in Computer Science No. 1563, Springer 1999, 531-540.


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,
Epsilon-Logic is More Expressive Than First-Order Logic over
 Finite Structures,
Journal of Symbolic Logic, volume 65, 2000, pp.1749-1757.


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,
Two-Variable First-Order Logic over Ordered Domains,
Journal of Symbolic Logic, volume 66, 2001, pp. 685-702.


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,
An interpolation theorem,
Bulletin of Symbolic Logic, volume 6, 2000, pp. 447-462.


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,
Symmetry and First-Order: Explicitly Representation-Invariant Circuits,
 (32 pages), unpublished, 1994.


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,
Modal and Guarded Characterisation Theorems over Finite 
Transition Systems,
Proceedings of 17th IEEE Symposium on Logic in Computer 
Science LICS 2002, pp 371-380. 


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,
Bisimulation Invariance and Finite Models, 
in: Lecture Notes in Logic, 
Logic Colloquium 02, 2006, pp. 276-298


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,
Elementary Proof of the van Benthem - Rosen Characterisation Theorem, 
revised 2004, TUD online preprint, 10 pages.


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,
Modal and Guarded Characterisation Theorems over Finite 
Transition Systems, 
Annals of Pure and Applied Logic, volume 130, 2004, pp.~173-205.


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,
First-Order Queries on Databases Embedded in an Infinite Structure,
Information Processing Letters, volume 60 (1996), 37-41.


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













 Back  
to my homepage 




M. Otto