Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 91 bis 100 von 182
  1. Gunther Weber; Gerik Scheuermann; Hans Hagen; Bernd Hamann

    Exploring Scalar Fields Using Critical Isovalues

    In: Robert Moorhead; Markus Gross; Kenneth I. Joy (Hrsg.). Proceedings of the IEEE Visualization 2002 Conference. IEEE Visualization Conference (IEEE …

  2. Gunther Weber; Oliver Kreylos; Terry J. Ligocki; John M. Shalf; Hans Hagen; Bernd Hamann; Kenneth I. Joy

    Extraction of Crack-free Isosurfaces for Adaptive Mesh Refinement Data

    In: David S. Ebert; Jean M. Favre; Ronald Peikert (Hrsg.). Data Visualization 2001 - Proceedings of Joint Eurographics/IEEE TCVG Symposium on …

  3. Martin Klesen; Janek Szatkowski; Niels Lehmann

    A Dramatised Actant Model for Interactive Improvisational Plays

    In: Lecture Notes in Computer Science, Vol. 2190. World Congress on Engineering (WCE), 2001.

  4. A resource-adaptive mobile navigation system

    In: Proc. of the Intl. Workshop on Information Presentation and Natural Multimodal Dialog. International Workshop on Information Presentation and …

  5. Heiko Mantel

    Preserving Information Flow Properties under Refinement

    In: Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP), Oakland, Pages 78-91, IEEE Computer …

  6. Heiko Mantel

    Information Flow Control and Applications -- Bridging a Gap --

    In: Jose Nuno Olivera; Pamela Zave (Hrsg.). FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods …

  7. Till Mossakowski; Serge Autexier; Dieter Hutter

    Extending development graphs with hiding

    In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering …

  8. Heiko Mantel; Axel Schairer; Matthias Kabatnik; Michael Kreutzer; Alf Zugenmaier

    Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks

    Technical Report, Vol. 159, 8/2001.

  9. A Pragmatic Approach to Reuse in Tactical Theorem Proving

    In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on …

  10. Dieter Hutter; Klaus Fischer; Matthias Klusch; Werner Stephan

    Towards Secure Mobile Multiagent Based Electronic Marketplace Systems

    In: Proceedings Workshop on Security in Mobile Multiagent Systems, SEMAS-2001, Autonomous Agents 2001. Workshop on Security in Mobile Multiagent …