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 …
In: D. Basin; H. Ganzinger; J. Harrison; A. Pnueli (Hrsg.). Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops, 2003.
Anthony Jameson; Stephan Baldes; Thomas Kleinbauer
In: B. Mobasher S. S. Anand (Eds.), Proceedings of the IJCAI 2003 Workshop on Intelligent Techniques for Web Personalization. International Joint …
Anthony Jameson; Thomas Kleinbauer; C. Hackl
In: Proceedings of the First Bayesian Modeling Applications Workshop at the Nineteenth Conference on Uncertainty in Artificial Intelligence, Acapulco, …
Christian Müller; Jörg Baus; Frank Wittig
In: Proceedings of the Eighth European Conference on Speech Communication and Technology. European Conference on Speech Communication and Technology …
In: Proceedings of the UM 2003 Workshop on User and Group Models for Web-Based Adaptive. Workshop on User and Group Models for Web-Based Adaptive, …
Alexander Kröner; Thomas Rist
In: Proceedings of the conference on Simulation und Visualisierung 2003, pp 151-162, Magdeburg, Germany, March 6-7, 2003. Simulation und …