Publikationen

Feiyu Xu; Klaus Netter; Holger Stenzhorn

In: Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics. Demo Session (ACL'00), October 3-6. Annual Meeting of the …

Bruno Langenstein; Markus Ullmann; Roland Vogt

In: Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS), AAAI Press, 2000.

Georg Rock; Werner Stephan; Michael Brodski

In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS), 2000.

Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul Karger; Vernon Austel; David Toll

In: Computer Security -- Proceedings of the 6th European Symposium on Research in Computer Security (ESORICS 2000). European Symposium on Computer …

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 …

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.