Publications

Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke

In: Applied Artificial Intelligence, Vol. 14, No. 7, Pages 697-725, 2000.

Tilman Becker; Anne Kilger; Patrice Lopez; Peter Poller

In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 481-496, 2000.

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, …

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

In: F.Cuppens; Y.Deswarte; D.Gollmann; M.Waidner (Hrsg.). European Symposium on Research in Computer Security (ESORICS). European Symposium on …

Heiko Mantel

In: Proceedings of the 13th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cambridge, Pages 185-199, IEEE …

Heiko Mantel; Felix Gärtner

In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Vol. 12, No. 4, Pages 473-488, Taylor & Francis, 10/2000.

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 …