Cyber-Physical Systems

PUBLICATIONS

In: International Journal on Document Analysis and Recognition 11 2 Pages 81-96 Springer-Verlag 11/2008.

To the publication

In: Proceedings of the 8th IAPR International Workshop on Document Analysis Systems. IAPR International Workshop on Document Analysis Systems (DAS-2008) September 16-19 Nara Japan IEEE 9/2008.

To the publication

In: IEEE Transactions on Pattern Analysis and Machine Intelligence 30 6 Pages 941-954 6/2008.

To the publication

International Conference on Mathematical Knowledge Management (MKM-08) located at Conferences on Intelligent Computer Mathematics, CICM'08 July 28-August 1 Birmingham United Kingdom Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence (LNCS/ LNAI) 5144 ISBN 978-3-540-85109-7 Springer Berlin, Heidelberg 2008.

To the publication

In: J. Fiadeiro, P. Inverardi (editor). Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering (FASE-08) located at 11th Conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008) March 29-April 6 Budapest Hungary Pages 199-214 Lecture Notes in Computer Science (LNCS) 4961 Springer 2008.

To the publication

In: Logical Methods in Computer Science (LMCS) 4 4:17 Pages 1-27 2008.

To the publication

In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08) July 29 Birmingham United Kingdom Pages 16-28 2008.

To the publication

In: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-08) July 31-August 1 Birmingham United Kingdom Pages 398-414 Lecture Notes in Artificial Intelligence (LNAI) 5144 Springer Berlin, Heidelberg 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