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 31 bis 40 von 327
  1. Dieter Hutter; Werner Stephan

    A Portrait of a Scientist: Logics, AI and Politics

    In: Festschrift in Honor of J.H.~Siekmann. Pages 1-14, Springer-Verlag, LNCS 2605, 2005.

  2. Mind the Gap - Maintaining Formal Developments in MAYA

    In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.

  3. Alan Bundy; David Basin; Dieter Hutter; Andrew Ireland

    Rippling: Meta-level Guidance for Mathematical Reasoning

    Cambridge University Press, 2005.

  4. Dieter Hutter; Markus Ullmann (Eds.)

    Proceedings of the Second International Conference on Security in Pervasive Computing

    Springer-Verlag, LNCS 3450, Boppard, Germany, 2005.

  5. Florian Kupsch; Dirk Werth

    Integrating Business Processes with Peer-to-Peer technology

    In: INTEROP ESA Conference, Geneva. INTEROP ESA Conference, 2005.

  6. Eric Ras; Martin Memmel; Stephan Weibelzahl

    First Workshop on Learner-Oriented Knowledge Management & KM-oriented E-Learning (LOKMOL 2005)

    In: Klaus-Dieter Althoff; Andreas Dengel; Ralph Bergmann; Markus Nick; Thomas Roth-Berghofer (Hrsg.). WM 2005: Professional Knowledge Management - …

  7. Lübomira Spassova; Rainer Wasinger; Jörg Baus; Antonio Krüger

    Product Associated Displays in a Shopping Scenario

    In: Proceedings of the 4th IEEE / ACM International Symposium on Mixed and Augmented Reality (ISMAR). IEEE International Symposium on Mixed and …

  8. Rainer Wasinger; Antonio Krüger; Oliver Jacobs

    Integrating Intra and Extra Gestures into a Mobile and Multimodal Shopping Assistant

    In: Proceedings of the 3rd International Conference on Pervasive Computing (Pervasive). International Conference on Pervasive Computing (Pervasive), …