Publikationen

Mark-Jan Nederhof

In: Computational Linguistics (CL), Vol. 25, No. 3, Pages 345-360, 1999.

Heiko Mantel; Jens Otten

In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …

Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

Dennis Dams; Dieter Hutter; Natalia Sidorova

In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, …

Dieter Hutter; Alan Bundy

In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel

In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on …

Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann

Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.

Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke

In: Daniel M. Dubois (Hrsg.). The second international conference on computing anticipatory systems, CASYS '98. International Conference on Computing …

Petra Funk; Gero Vierke; Hans-Jürgen Bürckert

In: Proceedings der Logistik-Management-Tagung. Logistik-Management-Tagung (LMT-99), 1999.

Jörg Becker; Michael zur Mühlen; Michael Rosemann (Hrsg.)

Workflow Management Conference, November 9, Münster, Germany, Working Paper Series of the Department of Information Systems, No. 70, 1999.