Publications

Thierry Declerck; F. Ramírez Bustamante; F. Sanchéz León

In: Proceedings of the 3rd International Workshop on Controlled Language Applications (CLAW'00), April 29-30. International Workshop on Controlled …

Stephan Busemann; Sven Schmeier; Roman G. Arens

In: Proceedings of the 6th Applied Natural Language Processing Conference (ANLP'00), April 29 - May 4. Applied Natural Language Processing Conference …

Stephan Busemann

In: Workshop "Analysis for Generation". 1st International Conference on Natural Language Generation, June 12-16. International Conference on Natural …

Hans Hagen; Henning Barthel; Achim Ebert; Andreas Divivier; Michael Bender

In: Proceedings Workshop on New Paradigms in Information Visualization and Manipulation. Workshop on New Paradigms in Information Visualization and …

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 …