Publications

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

In: F.Cuppens; Y.Deswarte; D.Gollmann; M.Waidner (Hrsg.). European Symposium on Research in Computer Security (ESORICS). European Symposium on Computer Security (ESORICS), Toulouse, Pages 238-254, LNCS 1895, Springer, 10/2000.

Heiko Mantel

In: Proceedings of the 13th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cambridge, Pages 185-199, IEEE Computer Society, 7/2000.

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.

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.

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

In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages 367-376, AAAI-Press, 2000.

Dieter Hutter

In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.