Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publications

Page 105 of 106.

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 …
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.
Till Mossakowski; Serge Autexier; Dieter Hutter
Extending development graphs with hiding
In: Journal of Logic and Algebraic Programming (JLAP), Elsevier, 2004.
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 …
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.
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 …
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 …
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.
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 …
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 …