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 81 to 90 of 203.
  1. Maintenance of Formal Software Developments by Stratified Verification

    In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for …

  2. Klaus Fischer; Dieter Hutter

    Proceedings of the 2. International Workshop on Security of Mobile Multiagent Systems

    DFKI, Workshop-proceedings, First International Joint Conference on Autonomous Agents and Multi-Agent Systems, also DFKI-Reseach Report RR-02-03, DFKI …

  3. Dieter Hutter; David Basin; Christoph Lüth; Peter Lindsay

    Workshop on Evolutionary Formal Software Development

    Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report, Copenhagen, Denmark, 2002.

  4. Eric Schwarzkopf; Mathias Bauer; Dietmar Dengler

    Exploiting Visual Information in Programming by Demonstration

    In: Yolanda Gil; K. Hammond (Hrsg.). K. Hammond and Y. Gil, editors, Proceedings of the 2002 International Conference on Intelligent User Interfaces …

  5. Jörg Baus; Christian Kray

    Frames of Reference, Positional Information and Navigational Assistance

    In: Proc. of FLAIRS 2002. International FLAIRS Conference (FLAIRS), 2002.

  6. Elisabeth Andre; Stephan Baldes; Thomas Rist

    From Simulated Dialogues to Interactive Performances

    In: Vladimír Mařík; Olga ¦těpánková; Hana Krautwurmová; Michael Luck (Hrsg.). Multi-Agent Systems and Applications II. Pages 121-135, Lecture Notes in …

  7. Alexander Kröner; Sarit Kraus; Lea Tsaban

    IMAP - Intelligent Multimedia Authoring Tools for Electronic Publishing

    In: Proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems AH 2002, pp 527-530, Malaga, Spain, May …

  8. Ralph Schäfer; Alexander Felfernig; Gerhard Friedrich; Dietmar Jannach; Markus Zanker

    Knowledge Acquisition for building and integrating product configurators

    In: PRO-VE'02, 3rd IFIP Working Conference on Infrastructures for virtual enterprises, Sesimbra, Portugal, 2002. IFIP Working Conference on …

  9. Thomas Rist; Alexander Kröner; Patrick Brandmeier

    Layout Adaptation in a Portal for Cross-Platform Content Packaging

    In: Proceedings of the ABIS-Workshop 2002: Personalization for the Mobile World, pp 75-82. GI-Workshop "Adaptivität und Benutzermodellierung in …