Publications

Till Mossakowski; Joseph Goguen; Razvan Diaconescu; Andrzej Tarlecki

In: Jean-Yves Béziau (Hrsg.). Logica Universalis. Pages 111-133, No. second edition, Birkhäuser, 2007.

Till Mossakowski; Christian Maeder; Klaus Lüttich

In: Bernhard Beckert (Hrsg.). VERIFY 2007, 4th International Verification Workshop. Pages 119-135, CEUR Workshop Proceedings, Vol. 259, 2007.

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 …

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), …

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.

Anthony Jameson; Angela Mahr; Michael Kruppa; Andreas Rieger; Robert Schleicher

In: Marco Winckler; Hilary Johnson; Philippe Palanque (Hrsg.). 6th International workshop on TAsk MOdels and DIAgrams. International Workshop on Task …

Antonio Krüger; Jörg Baus; Dominikus Heckmann; Michael Kruppa; Rainer Wasinger

In: P. Brusilovsky; A. Kobsa; W. Nejdl. The Adaptive Web. Pages 521-549, Lecture Notes in Computer Science (LNCS), Vol. 4321, ISBN 978-3-540-72078-2, …