Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
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 …
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 …