Publications
Page 3 of 6.
Georgel Calin; Rob Myers; Dirk Pattinson; Lutz Schröder
In: Carlos Areces; Stephane Demri (Hrsg.). Methods for Modalities (M4M-5). Methods for Modalities (M4M-5), November 29-30, Cachan, France, Pages …
Lutz Schröder; Dirk Pattinson
In: ACM Transactions on Computational Logic (TOCL), Vol. 10, No. 2, Pages 13:3-13:33, ACM, 2/2009.
Lutz Schröder; Till Mossakowski
In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.
Rob Myers; Dirk Pattinson; Lutz Schröder
In: Luca de Alfaro (Hrsg.). Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science …
Dirk Pattinson; Lutz Schröder
In: Martin Giese; Arild Waaler (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods. International Conference on Automated …
Lutz Schröder; Dirk Pattinson; Clemes Kupke
In: Craig Boutilier (Hrsg.). International Joint Conferences on Artificial Intelligence. International Joint Conference on Artificial Intelligence …
In: Susanne Albers; Jean-Yves Marion (Hrsg.). International Symposium on Theoretical Aspects of Computer Science. International Symposium on …
Daniel Hausmann; Lutz Schröder
In: Thomas Bolander; Torben Braüner (Hrsg.). Proceedings of the 6th Workshop on Methods for Modalities. Methods for Modalities (M4M-6), November …
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; 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 …
Overview
Team
Projects
News
Jobs
Website
Phone: +49 421 17845 0 Fax: +49 421 17845 4150robotik@dfki.de Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Robotics Innovation Center Robert-Hooke-Str. 1 28359 Bremen Germany