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