Shortcuts: | Selected Papers | List of Publications | |||||||||||
Selected Talks | Curriculum Vitae | ||||||||||||
Research: AMT | Teaching | the end |
Professor in MathematicsLogic and Mathematical Foundations of Computer ScienceLogic GroupMathematics Department (FB 4)Technische Universität Darmstadt Schlossgartenstrasse 7 D-64289 Darmstadt Germany |
tel: (+49) 06151-1622861 (office) tel: (+49) 06151-1622863 (secretary's office) fax: (+49) 06151-1622840 mail: otto [at] mathematik.tu-darmstadt.de |
The freedoms of (guarded) bisimulation, with Erich Grädel.
In: Johan van Benthem on Logic and Information Dynamics,
A. Baltag, S. Smets (eds), Springer 2014, pp. 3-31.
Finite groupoids, finite coverings and symmetries in finite structures,
preprint, 52 pages, 2016;
also see arXiv:1404.4599.
Pebble games and linear equations, with Martin Grohe.
Journal of Symbolic Logic, volume 80(3), 2015, pp. 797-844;
also see
arXiv:1204.1990;
Decidability results for the boundedness problem,
with A. Blumensath and M. Weyer.
Journal version based on results in the
ICALP'09 paper,
Logical Methods in Computer Science, 10 (3), 2014;
also see
arXiv:1406.7684,
Abstract
Finite conformal hypergraph covers and
Gaifman cliques in finite structures,
with Ian Hodkinson.
Bulletin of Symbolic Logic, volume 9, 2003, pp. 387-405.
Abstract
An Interpolation Theorem,
Bulletin of Symbolic Logic, volume 6, 2000, pp. 447-462.
Abstract
Elementary proof of the van Benthem - Rosen characterisation theorem,
technical report,
TUD online preprint no.2342, 2004, 11 pages.
Abstract
Symmetry and First-Order: Explicitly Presentation-Invariant Circuits.
Unpublished extended version of CSL 96 paper, 1994, 32 pages.
Abstract
Amalgamation and local-to-finite in the finite with suitable groupoids
New Pathways between Group Theory and Model Theory,
Mülheim 2016.
Up to bisimulation -- but keep it finite!, Amsterdam 2015.
Local to Global: Amalgamation and Symmetries in Finite Structures
Leeds Logic Seminar &
Algebra, Logic and Algorithms Seminar, Leeds 2015.
Finite Global Realisations of Local Overlap Specifications
Special Session on Computational Logic,
DMV-PTM meeting,
Poznan 2014.
Bisimulation and Coverings for Graphs and Hypergraphs
5th Indian Conference on Logic and Its Applications, ICLA 2013,
Chennai 2013.
Tractable Finite Models
Logic Colloquium, Barcelona 2011.
photograph at the top by L. Otto (2013)
photograph below by H. Otto (2009)