Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publications

Page 1 of 10.

Frank Dylla; Till Mossakowski; Thomas Schneider; Diedrich Wolter
Algebraic Properties of Qualitative Spatio-Temporal Calculi
In: Conference On Spatial Information Theory . Conference On Spatial Information Theory (COSIT-13), September 2-5, North Yorkshire, United Kingdom, …
Christoph Lange; Marco B. Caminati; Manfred Kerber; Till Mossakowski; Colin Rowat; Makarius Wenzel; Wolfgang Windsteiger
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
In: Jacques Carette; James H. Davenport; Wolfgang Windsteiger; Petr Sojka; David Aspinall; Christoph Lange (Hrsg.). Conferences on Intelligent …
Till Mossakowski; Oliver Kutz; Christoph Lange
Three Semantics for the Core of the Distributed Ontology Language
In: International Joint Conference on Artificial Intelligence . International Joint Conference on Artificial Intelligence (IJCAI-13), The 2013 …
Till Mossakowski; Oliver Kutz; Christoph Lange
Semantics of the distributed ontology language: Institutes and Institutions
In: Miguel Palomino; Narciso Martí-Oliet (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International …
Phillip James; Alexander Knapp; Till Mossakowski; Markus Roggenbach
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL
In: Narciso Martí-Oliet; Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International …
Mihai Codescu; Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe
Compiling Logics
In: Narciso Martí-Oliet; Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International …
André van Delden; Till Mossakowski
Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward
In: From Research to Innovation and Practical Applications - Proceedings of the 36th Annual Conference on Artificial Intelligence (KI 2013). German …
Till Mossakowski
Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods
In: Theoretical Computer Science, 2013.
Mihai Codescu; Till Mossakowski; Christian Maeder
Checking conservativity with Hets
In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), …
Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
The VSE Refinement Method in Hets
In: Electronic Communications of the EASST, 2013.