Due to maintenance work, it is currently not possible to search for publications by author.
Heiko Mantel
Mastersthesis, TH-Darmstadt, Germany, 12/1996.
Susanne Biundo; Werner Stephan
In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial …
Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in …
In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.
Dieter Hutter; David McAllister; Christoph Walther
13th Conference on Automated Deduction, New Brunswick, USA, 1996.
Dieter Hutter; Claus Sengler
In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International …
Georg Schneider; Heiko Maus; Clemens Dietel; Astrid Scheller-Houy; Jean Schweitzer
In: Proc. Workshop "Coordinating Work Processes", University of Kaiserslautern, Kaiserslautern, 22. - 23. 8.1996. Workshop "Coordinating Work …
In: Daniel E. O'Leary; Paul Watkins (Hrsg.). AAAI Workshop: AI in business - AI in electronic Commerce and Reengineering. AAAI Workshops, 1996.
Ansgar Bernardi; Bernd Bachmann; Anna-Maria Schoeller
In: D. Ruland (Hrsg.). Tagungsband CAD'96: Verteilte und intelligente CAD-Systeme. International Connecting People in CAD Research, Education and …
Peter Fettke
PhD-Thesis, Westfälische Wilhelms-Universität Münster, 1996.