Cyber-Physical Systems

PUBLICATIONS

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

To the publication

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 Pages 51-52 BöttcherIT Verlag Bremen 2007.

To the publication

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

To the publication

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

To the publication

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

To the publication

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

To the publication

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

To the publication

Contact

Office:
Kristiane Schmitt, M.A.
Phone: +49 421 218 59840

German Research Center for Artificial Intelligence GmbH
Cyber-Physical Systems

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz