Publikationen

Till Mossakowski

In: Frank Drewes; Annegret Habel; Berthold Hoffmann; Detlef Plump (Hrsg.). Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Pages 269-286, Universität Bremen, 2009.

Marc Hildebrandt; Leif Christensen; Jochen Kerdels; Jan Albiez; Frank Kirchner

In: OCEANS 2009 - EUROPE, 2009 OCEANS 09. OCEANS MTS/IEEE Conference (OCEANS-09), Balancing technology with future needs, May 11-14, Bremen, Germany, ISBN 978-1-4244-2523-5, 5/2009.

Leif Christensen; Peter Kampmann; Marc Hildebrandt; Jan Albiez; Frank Kirchner

In: OCEANS 2009 - EUROPE, 2009. OCEANS 2009. OCEANS MTS/IEEE Conference (OCEANS-09), Balancing technology with future needs, May 11-14, Bremen, Germany, ISBN 978-1-4244-2523-5, 5/2009.

David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner

In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), August 22, Montreal, QC, Canada, Pages 3-21, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 226, Elsevier Science, 2009.

Bernd Krieg-Brückner; Hui Shi

In: Helge Ritter; Gerhard Sagerer; Jochen Steil (Hrsg.). Proceedings of Third International Workshop on Human Centered Robotic Systems. International Workshop on Human Centered Robotic Systems (HCRS-09), November 19-20, Bielefeld, Germany, Cognitive Systems Monographs, Vol. 6, Springer, 2009.

Dieter Hutter

In: Proceedings of the Mexican International Conference on Artificial Intelligence. Mexican International Conference on Artificial Intelligence (MICAI-2009), November 9 - October 13, Guanajuato, Mexico, Lecture Notes on Artificial Intelligence (LNAI), Vol. 5845, Springer, 2009.

Till Mossakowski; Razvan Diaconescu; Andrzej Tarlecki

In: Logica Universalis, Vol. 3, No. 1, Pages 95-124, Birkhäuser, Basel, 2009.

Dieter Hutter; Raul Monroy

In: Luca Vigano; Pierpaolo Degano (Hrsg.). Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA), located at Affiliated with ETAPS 2009, March 28-29, York, United Kingdom, Lectures Notes in Computer Science (LNCS), Springer Verlag, 2009.

Yohei Kurata; Hui Shi

In: Bärbel Mertsching; Marcus Hund; Muhammad Zaheer Aziz (Hrsg.). Proceedings of the 32nd Annual German Conference on Artifical Intelligence. German Conference on Artificial Intelligence (KI-2009), September 15-18, Paderborn, Germany, Pages 452-459, Lecture Notes in Computer Science (LNCS), Vol. 5803, ISBN 978-3-642-04616-2, Springer, Berlin, Heidelberg, 2009.

Cui Jian; Hui Shi; Bernd Krieg-Brückner

In: Report of the AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems. AAAI Spring Symposium (AAAI SSS), March 23-25, Stanford, USA, 2009.