Publications

Wray Buntine; Hans-Jürgen Bürckert

In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

Hans-Jürgen Bürckert

In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.

Dieter Hutter; Jürgen Cleve

In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …

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.

Klaus Netter; Robert Kasper; Bernd Kiefer; Vijay K. Shanker

In: Proceedings of the 3eme Colloque International sur les Grammaires d'Arbres Adjoints. Colloque International sur les Grammaires d'Arbres Adjoints …

Klaus Netter

In: John Nerbonne; Klaus Netter; Carl J. Pollard (Hrsg.). German in Head-Driven Phrase Structure Grammar. Pages 297-340, Lecture Note Series, Vol. 46, …