Publikationen

Kai Hübner; J. Zhang

In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots …

Daniel Hausmann; Till Mossakowski; Lutz Schröder

In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.

Thomas Röfer; Jörg Brose; Eike Carls; Jan Carstens; Daniel Göhring; Matthias Jüngel; Tim Laue; Tobias Oberlies; Sven Oesau; Max Risler; Michael Spranger; Christian Werner; Jörg Zimmer

In: G. Lakemeyer; E. Sklar; D. Sorrenti; T. Takahashi (Hrsg.). RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup International Symposium …

Sergey Goncharov; Lutz Schröder; Till Mossakowski

In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of …

Udo Frese; Lutz Schröder

In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing. IEEE/RSJ International Conference on Intelligent …

Tania Avgustinova

In: Proceedings of the 13th International Conference on Head-Driven Phrase Structure Grammar. Pages 27-38, CSLI Publications, 2006.

Michael Kruppa

ISBN 3-89838-301-6, Akademische Verlagsgesellschaft Aka GmbH, 2006.

Kai Hübner

BISS Monographs, Vol. 24, ISBN 978-3-8325-1455-6, Logos Verlag; www.logos-verlag.de, Berlin, 2006.

Dieter Hutter

In: Serge Autexier; Heiko Mantel (Hrsg.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International …

Fernando Godínez; Dieter Hutter; Raul Monroy

In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. …