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 111 to 120 of 182.
  1. Jörg Baus; Christian Kray; H Zimmer; H Speiser; Antonio Krüger

    Two path relations: Along and past

    In: Proceedings of COSIT 2001. Conference on spatial information theory (COSIT-2001), 2001.

  2. Mathias Bauer; Piotr Gmytrasiewicz; Julita Vassileva

    UM2001-Proceedings of the Eighth International Conference on User Modeling

    2001.

  3. Anthony Jameson

    User-adaptive and other smart adaptive systems: Possible synergies.

    In: Proceedings of the First EUNITE Symposium, Tenerife. EUNITE Symposium, 2001.

  4. Anthony Jameson; Barbara Großmann-Hutter; Leonie March; Ralf Rummer; Thomas Bohnenberger; Frank Wittig

    When actions have consequences: Empirically based decision making for intelligent user interfaces.

    In: Knowledge-Based Systems (KBS), Vol. 14, No. 1-2, Pages 75-92, Elsevier Science B.V. 2001.

  5. Thomas Bohnenberger; Anthony Jameson

    When policies are better than plans: Decision-theoretic planning of recommendation sequences.

    In: J. Lester (Hrsg.). Proceedings of the 6th International Conference on Intelligent User Interfaces. International Conference on Intelligent User …

  6. Heiko Mantel; Andrei Sabelfeld

    A Generic Approach to the Security of Multi-threaded Programs

    In: Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cape Breton, Pages 126-142, IEEE …

  7. 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 …

  8. 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 …

  9. Ralph Schäfer; Liliana Ardissono; Alexander Felfernig; Gerhard Friedrich; Dietmar Jannach; Markus Zanker

    The CAWICOMS Project.

    In: Proceedings of Elektronische Geschätsprozesse. Klagenfurt, 2001. Internationale Arbeitskonferenz Elektronische Geschäftsprozesse (EGP), 2001.

  10. Paul Libbrecht; Adrian Frischauf; Erica Melis; Martin Pollet; Carsten Ullrich

    Integration of Mathematical Systems into the ActiveMath Learning Environment

    In: Paul Wang; Norbert Kajler; Angel Diaz (Hrsg.). Workshop on Internet Accessible Mathematical Computation. Workshop on Internet Accessible …