Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Joseph Goguen; Till Mossakowski; Valeria De Paiva; Florian Rabe; Lutz Schröder
In: International Journal of Software and Informatics (IJSI), Vol. 1, No. 1, Pages 129-152, 2007.
Till Mossakowski; Christian Maeder; Klaus Lüttich
In: Orna Grumberg; Michael Huth (Hrsg.). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems …
Klaus Lüttich; Till Mossakowski
In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, …
Christoph Lüth; Bernd Krieg-Brückner
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …
David Aspinall; Christoph Lüth; Daniel Winterstein
In: 6th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management …
Michael Kohlhase; Achim Mahnke; Christine Müller
In: Alexander Hinneburg (Hrsg.). Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings. …
Tim Laue; Thomas Röfer
In: Proceedings of the 6th International Workshop on Embedded Systems. International Workshop on Ambient Intelligence and Embedded Systems …
Christian Mandel; Udo Frese; Thomas Röfer
In: Proceedings of the 9th International Work-Conference on Artificial Neural Networks (IWANN'2007). International Work-Conference on Artificial …
Christian Mandel; Thomas Röfer; Udo Frese
In: Proceedings of the 10th International Conference on Rehabilitation Robotics. IEEE International Conference on Rehabilitation Robotics (ICORR-07), …
John Bateman; Stefano Borgo; Klaus Lüttich; Claudio Masolo; Till Mossakowski
In: Spatial Cognition & Computation - An Interdisciplinary Journal, Vol. 7, No. 1, Pages 97-128, Taylor & Francis, 2007.