Publikationen

Lutz Schröder

In: Theoretical Computer Science, Vol. 353, Pages 1-25, 2006.

Till Mossakowski; Serge Autexier; Dieter Hutter

In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 114-145, 2006.

David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz

In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented …

Stefan Wölfl; Till Mossakowski (Hrsg.)

German Conference on Artificial Intelligence (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, …

Tim Laue; Thomas Röfer

In: Enrico Pagello; Changjiu Zhou; Emanuele Menegatti (Hrsg.). Proceedings of the Workshop on Humanoid Soccer Robots in conjunction with the 2006 IEEE …

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 …