Publikationen

David Aspinall; Ewen Denney; Christoph Lüth

In: Kevin McMillan; Aart Middeldorp; Andrei Voronkov (Hrsg.). Proceedings of the 19th International Conference on Logic for Programming, Artificial …

Thomas Röfer; Tim Laue; Judith Müller; Michel Bartsch; Arne Böckmann; Florian Maaß; Thomas Münder; Marcel Steinbeck; Simon Taddiken; Alexis Tsogias; Felix Wenk

In: Sven Behnke; Manuela Veloso; Arnoud Visser; Rong Xiong (Hrsg.). RoboCup 2013: Robot World Cup XVII Preproceedings. RoboCup International Symposium …

Moritz Kümmerling; Christian Heilmann; Gerrit Meixner

In: S. Narayanan (Hrsg.). Analysis, Design, and Evaluation of Human-Machine Systems. IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation …

Yang Gao; Nicola Policella; Frank Kirchner

In: IEEE Computational Intelligence Magazine, Vol. 8, No. 4, IEEE, 11/2013.

Matthias Loskyll; Dominic Gorecky; Jochen Schlick

In: SPS-Magazin - Zeitschrift für Automatisierungstechnik, Vol. 11/2013, Pages 37-39, TeDo-Verlag GmbH, 11/2013.

Matthias Loskyll; Jochen Schlick

In: at Automatisierungstechnik, Vol. 10/2013, Pages 690-699, Oldenbourg, München, 10/2013.

Gábor Sörös; Florian Daiber; Tomer Weller

In: Proceedings SIGGRAPH Asia Symposium on Mobile Graphics and Interactive Applications. ACM SiggraphAsia (SigAsia-13), November 19-22, Hong Kong, …

Matthias Böhmer; Sven Gehring; Jonas Hempel; Antonio Krüger

In: Proceedings of the 15th international conference on Human-computer interaction with mobile devices and services. International Conference on …

Eveline Wandl-Vogt; Thierry Declerck

In: Proceedings of the X International School on Lexicography «Life beyond Dictionaries». International School on Lexicography (ISL-13), Life beyond …

Tim Köhler; Martin Schröer

In: Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics. International Conference on Informatics in …