Publikationen

Marie-Luise Groß; Benjamin Adrian; Gerhard Budin.

In: Klaus Tochtermann; Hermann Maurer (Hrsg.). Proceedings of I-KNOW '09 and I-SEMANTICS '09. International Conference on Knowledge Management and New …

Marcus Liwicki; Markus Weber; Andreas Dengel

In: Bärbel Mersching; Marcus Hund; Zaheer Aziz (Hrsg.). KI 2009: Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

Till Mossakowski; Andrzej Tarlecki

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

Till Mossakowski; Razvan Diaconescu; Andrzej Tarlecki

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

Till Mossakowski

In: Frank Drewes; Annegret Habel; Berthold Hoffmann; Detlef Plump (Hrsg.). Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to …

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 …