Skip to main content Skip to main navigation
Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)© DFKI

Cyber-Physical Systems

Publications

Page 107 of 108.

  1. Andreas Meier; Erica Melis

    Impasse-Driven Reasoning in Proof Planning

    In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International …

  2. S. Manzoor; Paul Libbrecht; Carsten Ullrich; Erica Melis

    Authoring Presentation for OpenMath

    In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised …

  3. Daniel Hausmann; Till Mossakowski; Lutz Schröder

    Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus

    In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …

  4. Dennis Walter; Lutz Schröder; Till Mossakowski

    Parametrized Exceptions

    In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

  5. David Aspinall; Christoph Lüth; Burkhart Wolff

    Assisted Proof Document Authoring

    In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical …

  6. Till Mossakowski; P. Hoffman; Serge Autexier; Dieter Hutter

    Part IV: CASL Logic

    In: Bernd Krieg-Brückner; P. Mosses (Hrsg.). The CASL Reference Manual. LNCS, Vol. 2960, Springer, 2004.

  7. Till Mossakowski; Serge Autexier; Dieter Hutter

    Extending development graphs with hiding

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

  8. Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing

    Towards MultiMedia Instruction in Safe and Secure Systems

    In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT …

  9. Dieter Hutter; David Basin; Christoph Lüth; Peter Lindsay

    Workshop on Evolutionary Formal Software Development

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

  10. Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer

    The Development Graph Manager MAYA

    In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic …

Contact

Assistant to the management:
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