Publikationen

Thomas Kleinbauer; Mathias Bauer; Anthony Jameson

In: ABIS 2003: 11th GI-Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen , Karlsruhe, Germany, 2003. GI-Workshop …

Christian Müller; Frank Wittig

In: Proceedings of the 9th International Conference on User Modeling (UM 03), Johnstown, USA, 2003. International Conference on User Modeling (UM-03), …

Martin Klesen; Michael Kipp; Patrick Gebhard; Thomas Rist

In: Virtual Reality, Vol. 7, No. 1, Pages 17-29, 2003.

Jan Alexandersson; Tilman Becker

In: Proceedings of the Fifth International Workshop on Computational Semantics (IWCS-5). International Workshop on Computational Semantics (IWCS-5), …

Eric Schwarzkopf; Mathias Bauer; Dietmar Dengler

In: Elisabeth Andre; L. Johnson (Hrsg.). Proceedings of the 2003 International Conference on Intelligent User Interfaces. International Conference on …

Patrick Gebhard; Michael Kipp; Martin Klesen; Thomas Rist

In: Proc. of the 1st International Conference on Technologies for Interactive Digital Storytelling and Entertainment (TIDSE'03). International …

Dieter Hutter; Heiko Mantel; Axel Schairer

In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit, 2003.

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

In: Ingo Dahn; Laurent Vigneron (Hrsg.). Proceedings of First-Order Theorem Proving FTP-2003. International Workshop on First-Order Theorem Proving …

Dieter Hutter

In: D. Basin; H. Ganzinger; J. Harrison; A. Pnueli (Hrsg.). Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops, 2003.