Embedded Intelligence

In: Michael Wooldridge (editor). 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 (editor). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6) 6th Workshop on Methods for Modalities November 12-14 Kopenhagen Denmark Pages 157-171 Electronic Notes in Theoretical Computer Science (ENTCS) 262 Elsevier Amsterdam 5/2010.

In: M. Huhn, H. Hungar (editor). 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) located at ETAPS'08 March 29 Budapest Hungary Pages 57-70 238 4 Elsevier B.V. 2009.

In: Thomas Bolander, Torben Braüner (editor). 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 (editor). Software Engineering 2008 - Workshopband: Fachtagung des GI-Fachbereichs Softwaretechnik. GI-Fachtagungen February 18-22 München Germany Pages 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 Pages 121-143 2006.

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