Prof. Dr. Till Mossakowski |
![]() |
||||||||||
|
DFKI GmbH Cyber-Physical Systems Gebäude Cartesium Enrique-Schmidt-Straße 5 D-28359 Bremen |
|
Publikationen
- 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, Springer, 2013. - 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 Computer Mathematics, Lecture Notes in Computer Science. Conferences on Intelligent Computer Mathematics (CICM-13), July 8-12, Bath, United Kingdom, Springer, 2013. - 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 International Joint Conference on Artificial Intelligence, August 3-9, Beijing, China, nnn, 2013. - Mihai Codescu
Lambda Expressions in CASL Architectural Specifications.
In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), located at 20th, July 1-4, Schloss Etelsen, Germany, LNCS, Vol. 7137, Springer, 2012. - Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova
Towards Logical Frameworks in the Heterogeneous Tool Set Hets.
In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012. - Mehr...

