Cyber-Physical Systems

PUBLICATIONS

In: Michael Kohlhase (editor). Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. International Conference on Mathematical Knowledge Management (MKM) Heidelberg Pages 33-48 LNCS 3863 Springer 2006.

To the publication

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.

To the publication

In: Jose Fiadeiro , 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 424-438 Lecture Notes in Computer Science 3629 ISBN 3-540-28620-9 Springer; http://www.springer.de Berlin 2005.

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: Bernd Krieg-Brückner , P. Mosses (editor). The CASL Reference Manual. LNCS 2960 Springer 2004.

To the publication

In: Journal of Logic and Algebraic Programming (JLAP) Elsevier 2004.

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

In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002) Springer-Verlag, LNCS 2002.

To the publication

In: A. Konermann (editor). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering (FASE) Springer, LNCS 2001.

To the publication

Contact

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

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
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