Publikationen

In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2010) 19th August 16-20 Lisbon Portugal Frontiers in Artificial Intelligence and Applications IOS Press 8/2010.

In: Thomas Bolander , Torben Braüner (Hrsg.). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6) 6th Workshop on Methods for Modalities November 12-14 Kopenhagen Denmark Seiten 157-171 Electronic Notes in Theoretical Computer Science (ENTCS) 262 Elsevier Amsterdam 5/2010.

In: M. Huhn , H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08) befindet sich ETAPS'08 March 29 Budapest Hungary Seiten 57-70 238 4 Elsevier B.V. 2009.

In: Thomas Bolander , Torben Braüner (Hrsg.). Proceedings of the 6th Workshop on Methods for Modalities. Methods for Modalities (M4M-6) November 12-14 Copenhagen Denmark Electronic Notes in Theoretical Computer Science (ENTCS) Elsevier Amsterdam 2009.

In: Walid Maalej , Bernd Brügge (Hrsg.). Software Engineering 2008 - Workshopband: Fachtagung des GI-Fachbereichs Softwaretechnik. GI-Fachtagungen February 18-22 München Germany Seiten 335-338 Lecture Notes in Informatics (LNI) P-122 ISBN 978-3-88579-216-1 Gesellschaft für Informatik 2008.

In: Robotik 2008. Leistungsstand - Anwendungen - Visionen - Trends. VDI/VDE Fachtagung Robotik June 11-12 München Germany VDI-Bericht 2012 VDI-Verlag 2008.

In: Theoretical Computer Science 366 1-2 Seiten 121-143 2006.

In: Jose Fiadeiro , Neil Harman , Markus Roggenbach , Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-2005) September 3-6 Swansea United Kingdom Seiten 232-246 Lecture Notes in Computer Science (LNCS) 3629 ISBN 3-540-28620-9 Springer Berlin 2005.