Cyber-Physical Systems

PUBLICATIONS

In: Susanne Albers, Jean-Yves Marion (editor). International Symposium on Theoretical Aspects of Computer Science. International Symposium on Theoretical Aspects of Computer Science (STACS-09) February 26-28 Freiburg Germany Pages 673-684 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; Dagstuhl, Germany 2009.

To the publication

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.

To the publication

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.

To the publication

In: FM 2009: Formal Methods. International Symposium on Formal Methods (FM-2009) November 2-6 Eindhoven Netherlands Pages 419-434 Lecture Notes in Computer Science (LNCS) 5350 Springer 2009.

To the publication

In: Proceedings of the 2009 IEEE 11th International Conference on Rehabilitation Robotics. IEEE International Conference on Rehabilitation Robotics (ICORR-09) June 23-26 Kyoto Japan Pages 743-748 IEEE 2009.

To the publication

In: 2. Deutscher AAL-Kongress 2009. Deutscher AAL-Kongress (AAL) January 27-28 Berlin Germany VDE-Verlag Berlin-Offenbach, Germany 2009.

To the publication

In: Technically Assisted Rehabilitation 2009. European Conference on Technically Assisted Rehabilitation (TAR-09) March 18-19 Berlin Germany VDe/VDI 2009.

To the publication

In: Journal of Automated Reasoning (JAR) 41 3-4 Journal of Automated Reasoning Springer Netherlands 12/2008.

To the publication

In: Manfred Kerber (editor). Journal Mathematics in Computer Science 2 2 Pages 253-277 Birkhäuser 12/2008.

To the publication

In: Journal of Logic and Computation (JLC) o.A. Oxford University Press 12/2008.

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