Publications

Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …

Dieter Hutter

In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on …

Dieter Hutter

In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction …

R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke

In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.

R. Förster et al.

Manual, Bundesamt für Sicherheit in der Informationstechnik, 1994.

Tania Avgustinova

In: Journal of Slavic Linguistics, Vol. 2, No. 1, Pages 29-47, Slavica Publishers, 1994.

Tania Avgustinova

Universität des Saarlandes, Internal Report, Vol. Projekt LATESLAV, 1994.

Robert Dale; Wolfgang Finkler; Richard Kittredge; Nils Lenke; Günter Neumann; Conny Peters; Manfred Stede

In: Wolfgang Hoeppner; Helmut Horacek; Johanna Moore (Hrsg.). Principles of Natural Language Generation. Dagstuhl Seminare/Workshops, July 25-29, …

Stephan Busemann; Stephan Oepen; Elizabeth Hinkelman; Günter Neumann; Hans Uszkoreit

DFKI, DFKI Research Reports (RR), Vol. 94-34, 1994.

Paul Buitelaar; Anne-Marie Mineur

In: P. Dekker; M. Stokhof (Hrsg.). Proceedings of the 9th Amsterdam Colloquium. Amsterdam Colloquium, December 14-17, Amsterdam, Netherlands, Pages …