Publikationen

Heiko Mantel; Felix Gärtner

In: Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research …

Serge Autexier; Dieter Hutter

In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software …

Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers

In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.

Mathias Bauer; Dietmar Dengler; Gabriele Paul

In: M. Bauer and C. Rich, editors, Learning How to Do Things: Papers from the 2000 AAAI Fall Symposium, North Falmouth, MA, USA. AAAI Fall Symposium, …

Tilman Becker; Joshi Aravind; Owen Rambow

In: In Anne Abeille and Owen Rambow,editor: Tree Adjoining Grammars. 2000.

Anthony Jameson; Barbara Großmann-Hutter; Leonie March; Ralf Rummer

In: H. Lieberman (Ed.), IUI 2000: International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces …

Ralf Engel; Michael Kipp; Jan Alexandersson; Norbert Reithinger

In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 454-467, Springer, Berlin/Heidelberg/ New York, 2000.

Ralf Engel; Jan Alexandersson; Michael Kipp; Norbert Reithinger; Stephan Koch; Uwe Küssner; Manfred Stede

In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 443-453, Springer, Berlin/ Heidelberg/ New York, 2000.

Tilman Becker; Dominikus Heckmann

In: Proceedings of the Sixth International Workshop on Parsing Technologies, IWPT2000. International Conference on Parsing Technologies (IWPT), 2000.

Ralph Schäfer; Mathias Bauer

In: M. E. Müller, editor. Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. Institut für Semantische Informationsverarbeitung, …