Publikationen

Elisabeth Andre; Gerd Herzog; Thomas Rist; Kim Binsted; Kumiko Tanaka-Ishii; Sean Luke

In: AI Magazine, Vol. 21, No. 1, AAAI, 2000.

Mathias Bauer; Dietmar Dengler; Gabriele Paul

In: H. Lieberman, editor, Proceedings of the 2000 International Conference on Intelligent User Interfaces (IUI '2000), pages 21-28, New Orleans, USA, ACM Press. International Conference on Intelligent User Interfaces (IUI), 2000.

Andreas Klüter; Alassane Ndiaye; Heinz Kirchmann

In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation, Springer, Series: Artificial Intelligence. Pages 637-660, 2000.

Heiko Mantel; Felix Gärtner

In: Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research Society Conference 2000, FLAIRS-2000. International FLAIRS Conference (FLAIRS), Orlando, Pages 341-345, AAAI Press, 2000.

Serge Autexier; Dieter Hutter

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

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.

Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development Techniques (WADT), Pages 73-88, Springer, LNCS 1827, 2000.

Dieter Hutter; Michael Kohlhase

In: Journal of Automated Reasoning (JAR), Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.

Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 2000.

Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan

In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, 2000.