Publications

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, …

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, …

Dieter Hutter

In: Proceedings of the Mexican International Conference on Artificial Intelligence. Mexican International Conference on Artificial Intelligence …

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 …

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 …

Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on …

Bernd Krieg-Brückner; Hui Shi; Bernd Gersdorf; Mathias Döhle; Thomas Röfer

In: Fulvio Mastrogiovanni; Nak-Young Chong (Hrsg.). Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives. …

Mihai Codescu

In: Andrea Corradini; Ugo Montanari (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

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), …

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 …