Publication list - A Web Based Annotated Bibliography

Reinhard Moratz and Thora Tenbrink, Spatial Knowledge Representation for Human-Robot Interaction, in: Spatial Cognition III: Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Reasoning, Springer; Berlin; http://www.springer.de, 2003

Reinhard Moratz and Jan Oliver Wallgrün, Propagation of Distance and Orientation Intervals, in: Proceedings of 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3245-3250, 2003

Reinhard Moratz and Jan Oliver Wallgrün, Spatial Reasoning about Relative Orientation and Distance for Robot Exploration, in: Spatial Information Theory: Foundations of Geographic Information Science. Conference on Spatial Information Theory (COSIT), pages 61-74, Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 2003

H. Moravec and A. Elfes, High Resolution Maps from Angle Sonar, in: Proceedings of the IEEE Conference on Robotics and Automation (ICRA-85), pages 116-121, 1985

A. Morgenstern and K. Schneider, Program Sketching via CTL* Model Checking, in: Model Checking Software (SPIN), pages 126-143, Springer, 2011

J. Morgan Morris, User Interface design for older adults (1994), in: Interacting with Computers, 6(373-393)

J. P. Morris and J. J. Monaghan, A Switch to Reduce SPH Viscosity (1997), in: Journal of Computational Physics, 136:1(41{\~n}50)

Till Mossakowski, Anne Haxthausen, Don Sannella and Andrzej Tarlecki, CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008

[DOI]

Till Mossakowski, Heterogeneous Theories and the Heterogeneous Tool Set, in: Semantic Interoperability and Integration, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, 2005

[URL]

Till Mossakowski, Oliver Kutz and Christoph Lange, Semantics of the distributed ontology language: Institutes and Institutions, in: Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, pages 212-230, Springer, 2013

[URL]

Till Mossakowski, Christoph Lange and Oliver Kutz, Three Semantics for the Core of the Distributed Ontology Language, in: FOIS 2012: 7th International Conference on Formal Ontology in Information Systems, pages 337-352, IOS Press; Amsterdam; http://www.iospress.nl, 2012

[URL]

Till Mossakowski, Christian Maeder and Klaus Lüttich, The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007

[URL]

Till Mossakowski, Christian Maeder and Klaus Lüttich, The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007

[DOI]

[URL]

Till Mossakowski, Lutz Schröder and Stefan Wölfl, A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006

[DOI]

[DOI]

processing time: 0.2204 seconds.