Publikationen

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 …

Anne Kilger; Peter Poller

In: Proceedings of the 5th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+5). Colloque International sur les Grammaires …

Ralf Engel

In: 6th International Conference on Spoken Language Processing (ICSLP-2000), Vol.4,. International Conference on Spoken Language Processing (ICSLP), …

Miguel Alonso Pardo; Mark-Jan Nederhof; Eric Villemonte de la Clergerie

In: Grammars, Vol. 3, Pages 89-110, 2000.

Andreas Dengel; Claudia Wenzel; Markus Junker

In: Proceedings 4th SCI/ISAS. Multi-Conference on Systemics, Cybernetics and Informatics (ISAS-SCI), 2000.

Tania Avgustinova

In: 1st Conference on Generative Linguistics in Poland (GLiP-1), November 13-14. Conference on Generative Linguistics in Poland (GLiP), Pages 5-14, …

Tania Avgustinova; Hans Uszkoreit

In: 18th International Conference on Computational Linguistics (COLING '00), July 31 - August 4. International Conference on Computational Linguistics …