Seite 6 von 6.
Christoph Lüth; Udo Frese; Holger Täubig; Dennis Walter; Daniel Hausmann
In: Robotik 2008. Leistungsstand - Anwendungen - Visionen - Trends. VDI/VDE Fachtagung Robotik, June 11-12, München, Germany, VDI-Bericht, Vol. 2012, …
David Aspinall; Christoph Lüth; Daniel Winterstein
In: 6th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management …
Christoph Lüth; Bernd Krieg-Brückner
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …
Bernd Krieg-Brückner; Antonio Krüger; M. Hoffmeister; Christoph Lüth
In: VDI-Gesellschaft (Hrsg.). 8. Fachtagung Gebäudesicherheit und Gebäudeautomation - Koexistenz oder Integration?. Pages 37-48, VDI Berichte, Vol. …
David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz
In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented …
Maksym Bortin; Einar Broch Johnsen; Christoph Lüth
In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.
David Aspinall; Christoph Lüth; Burkhart Wolff
In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical …
Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing
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-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report, Copenhagen, Denmark, 2002.