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 91 to 100 of 182.
  1. Thomas Rist; Patrick Brandmeier

    Customizing Graphics for Tiny Displays of Mobile Devices

    In: 3rd International Workshop on Human-Computer Interaction with Mobile Devices At IHM-HCI 2001. International Workshop on Human-Computer Interaction …

  2. Jörg Baus; H Zimmer; H Speiser

    Die Selektion dimensionaler räumlicher Präpositionen automatisch und nicht ressourcenadaptierend

    In: Kognitionswissenschaft, Vol. 9, No. 3, Pages 114-121, Springer, 2001.

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

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

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

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

  7. Dieter Hutter; Axel Schairer

    Towards an Evolutionary Formal Software Development

    In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. IEEE International Conference on Automated Software …

  8. Enhancing Embodied Intelligent Agents with Affective User Modelling

    In: J. Vassileva & P. Gmytrasiewicz (Eds.), UM2001, Proceedings of the Eighth International Conference.(Doctoral Consortium summary). International …

  9. Elisabeth Andre; Martin Klesen; Patrick Gebhard; Steve Allen; Thomas Rist

    Exploiting Models of Personality and Emotions to Control the Behavior of Animated Interface Agents

    In: Proceedings of the workshop on Achieving Human-Like Behavior in Interactive Animated Agents in conjunction with the Fourth International …