Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Till Mossakowski; Ugo Montanari; Magne Haveraaen (Hrsg.)
Lecture Notes in Computer Science (LNCS), Vol. 4624, Springer-Verlag, Heidelberg, 2007.
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 …
Klaus Fischer; Christian Hahn; Cristián Madrigal Mora
In: International Journal of Agent-Oriented Software Engineering (IJAOSE), Vol. 1, No. 3/4, Pages 334-369, Inderscience, 2007.
Cord Niehaus; Thomas Röfer; Tim Laue
In: Changjiu Zhou; Enrico Pagello; Emanuele Menegatti; Sven Behnke (Hrsg.). Proceedings of the Second Workshop on Humanoid Soccer Robots in …
Kai Hübner
In: Vaclav Skala (Hrsg.). WSCG 2007 Short Paper Proceedings. International Conference in Central Europe on Computer Graphics, Visualization and …
Udo Frese
In: Proceedings of the International Conference on Robotics and Automation, Rome. IEEE International Conference on Robotics and Automation (ICRA-07), …