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

Publikationen

Seite 107 von 107.

  1. Till Mossakowski; Serge Autexier; Dieter Hutter

    Extending development graphs with hiding

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

  2. 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 …

  3. 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.

  4. 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 …

  5. Till Mossakowski; Serge Autexier; Dieter Hutter

    Extending development graphs with hiding

    In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering …

  6. Dieter Hutter; Michael Kohlhase

    Managing Structural Information by Higher-Order Colored Unification

    In: Journal of Automated Reasoning (JAR), Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.

  7. Jörg Siekmann; Christoph Benzmüller; Armin Fiedler; Andreas Franke; Helmut Horacek; Paul Libbrecht; Michael Kohlhase; Andreas Meier; Erica Melis; Martin Pollet; Volker Sorge; Carsten Ullrich; Jürgen Zimmer

    Adaptive Course Generation and Presentation

    In: P. Brusilovski (Hrsg.). Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems. ACM International Conference on …

  8. Dieter Hutter; Michael Kohlhase

    A Colored Version of the lambda-Calculus

    In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction …

  9. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

    Technical Report, Vol. SR-95-08, 1995.

Kontakt

Assistenz der Leitung:
Kristiane Schmitt, M.A.
Tel.: +49 421 218 59840
Kristiane.Schmitt@dfki.de

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
Cyber-Physical Systems

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen