Publikationen

Christoph Lüth

In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems …

Goce Trajcevski; Oliviu Ghica; René Schubotz; Marco Zuniga; Manfred Hauswirth; Peter Scheuermann

Technical Report, Northwestern University, Northwestern University Technical Reports, Vol. NWU-EECS-09-18, 2009.

Udo Frese; Tim Laue; Oliver Birbach; Jörg Kurlbaum; Thomas Röfer

In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festkolloquium for Bernd Krieg-Brückner's 60th birthday. Pages 273-289, Sichere Kognitive …

Thomas Röfer; Tim Laue; Judith Müller; Oliver Bösche; Armin Burchardt; Eric Damrose; Katharina Gillmann; Colin Graf; Thijs Jeffry de Haas; Alexander Härtl; Andrik Rieskamp; André Schreck; Ingo Sieverdingbeck et al.

2009.

Thomas Röfer; Christian Mandel; Axel Lankenau; Bernd Gersdorf; Udo Frese

In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday. Pages …

Udo Frese; Holger Täubig

DFKI, DFKI Research Reports (RR), Vol. 09-01, 2009.

Anette von Kapri; Sebastian Ullrich; Boris Brandherm; Helmut Prending

In: Proceedings Pacific-Rim Symposium on Image and Video Technology (PSIVT'09). Pacific-Rim Symposium on Image and Video Technology (PSIVT-09), …

Quan Nguyen

Mastersthesis, Deutsche Forschungszentrum für Künstliche Intelligenz, 8/2009.

Quan Nguyen; Michael Kipp

In: Proceedings of the 9th International Conference on Intelligent Virtual Agents. International Conference on Intelligent Virtual Agents (IVA-09), …

Pengcheng Luo; Michael Kipp; Michael Neff

In: Proceedings of the 9th International Conference on Intelligent Virtual Agents. International Conference on Intelligent Virtual Agents (IVA-09), …