Eingebettete Intelligenz

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

In: 6th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management (MKM-2007) June 27-30 Hagenberg Australia Seiten 161-175 Lecture Notes in Artificial Intelligence (LNAI) 4573 Springer 2007.

In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI) 1 Seiten 51-52 BöttcherIT Verlag Bremen 2007.

In: VDI-Gesellschaft (Hrsg.). 8. Fachtagung Gebäudesicherheit und Gebäudeautomation - Koexistenz oder Integration?. Seiten 37-48 VDI Berichte 2005 Springer Düsseldorf 2007.

In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06) ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications befindet sich OOPSLA 2006 October 22-26 Portland OR United States ACM Press 2006.

In: Nordic Journal of Computing 13 Seiten 1-20 2006.

In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical Knowledge Management (MKM-2005) July 15-17 Bremen Germany Seiten 65-80 Lecture Notes in Artificial Intelligence 3863 ISBN 978-3-540-31430-1 Springer Berlin, Heidelberg 2005.

In: Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 2002). International Workshop on Algebraic Development Techniques (WADT-2002) Frauenchiemsee Germany Seiten 82-117 Lecture Notes in Computer Science 2755 Springer 2003.

Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report Copenhagen, Denmark 2002.