Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 41 to 50 of 203.
  1. Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul Karger; Vernon Austel; David Toll

    Verified Formal Security Models for Multiapplicative Smart Cards

    In: Journal of Computer Security, Vol. 10, No. 4, Pages 339-367, 2002.

  2. M. Bertram

    Biorthogonal Wavelets for Subdivision Volumes

    In: Proceedings of ACM Solid Modeling 2002,. ACM Symposium on Solid Modeling and Applications (SM-2002), Pages 72-82, 2002.

  3. Peter Dannenmann; M. Tatar

    Integrated Vehicle Health Management for the Whole Life Cycle of Spacecraft

    In: Proceedings of Data Systems In Aerospace (DASIA 2002), May 13-17, 2002, Dublin, Ireland. Data Systems In Aerospace (DASIA), 2002.

  4. Hans Hagen; G. Scheuermann

    Vector and Tensor Visualization

    In: Handbook of Computer-Aided Geometric Design, G. Farin, J. Hoschek, M.-S. Kim (eds.), Elsevier, Amsterdam, 2002, 683-700. 2002.

  5. Hans Hagen; X. Trichoche; T. Wischgoll; G. Scheuermann

    Topologiy Tracking for the Visualization of Time - Dependent Two-Dimensional Flows

    In: Computers & Graphics, Vol. 26, No. 2, Pages 249-257, Elsevier, 2002.

  6. Hans Hagen; Thomas Wischgoll; Gerik Scheuermann

    Distributed Computation of Planar Closed Streamlines

    In: R.F. Erbacher; P. Chen; M. Gröhn; J.C. Roberts; C.M. Wittenbrink (Hrsg.). SPIE Conference on Visualization and Data Analysis, R. F. Erbacher, P. …

  7. Jochen Büdenbender; Giorgi Goguadze; Paul Libbrecht; Erica Melis; Carsten Ullrich

    Metadata in ActiveMath

    Seki Report, Universität des Saarlandes FB Informatik, Seki Report, Vol. SR-02-02, 2002.

  8. Jochen Büdenbender; Adrian Frischauf; Giorgi Goguadze; Erica Melis; Paul Libbrecht; Carsten Ullrich

    Using Computer Algebra Systems as Cognitive Tools

    In: S. A. Cerri; G. Gouarderes; F. Paraguacu (Hrsg.). 6th International Conference on Intelligent Tutoring Systems. International Conference on …

  9. Paul Libbrecht

    Mathematical Systems Accessed on the Web: an Overview

    In: Paul Wang; Norbert Kajler (Hrsg.). Proceedings of the ISSAC-2002 Workshop on Internet Accessible Mathematical Computation. Workshop on Internet …

  10. Markus Junker; Andreas Abecker; Andreas Dengel

    Text Categorization using Learned Document Features

    In: H. Bunke; A. Kandel (Hrsg.). Hybrid Methods in Pattern Recognition. Pages 301-324, World Scientific Publishing Co. Inc. 2002.