Due to maintenance work, it is currently not possible to search for publications by author.
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.
Gerd Reis; Bernd Lappé; Sascha Köhn; Christopher Weber; Martin Hering-Bertram; Hans Hagen
In: Lars Linsen; Hans Hagen; Bernd Hamann (Hrsg.). Visualization in Medicine and Life Sciences. Pages 99-119, Lecture Notes in Computer Science …
Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu
Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.
Lutz Schröder
2007.
Tim Laue; Thomas Röfer
In: Gerhard Lakemeyer; Elizabeth Sklar; Domenico Sorrenti; Tomoichi Takahashi (Hrsg.). RoboCup 2006: Robot Soccer World Cup X. RoboCup International …
Till Mossakowski; Markus Roggenbach
In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, …
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.
