Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 2007
Alle Filter entfernen
Zeige Ergebnisse 101 bis 110 von 370

  1. Lutz Schröder; Till Mossakowski

    Coalgebraic Modal Logic in CoCASL

    In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on …

  2. Lutz Schröder

    Bootstrapping Types and Cotypes in HasCASL

    In: Till Mossakowski; Udo Montanari (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

  3. Lutz Schröder

    A finite model construction for coalgebraic modal logic

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 73, Pages 97-110, 2007.

  4. Lutz Schröder

    Book review: L. M. G. Feijs and H. B. M. Jonkers, Formal Specification and Design, Cambridge University Press, 2005

    2007.

  5. Anthony Jameson; Angela Mahr; Michael Kruppa; Andreas Rieger; Robert Schleicher

    Looking for Unexpected Consequences of Interface Design Decisions: The MeMo Workbench

    In: Marco Winckler; Hilary Johnson; Philippe Palanque (Hrsg.). 6th International workshop on TAsk MOdels and DIAgrams. International Workshop on Task …

  6. Antonio Krüger; Jörg Baus; Dominikus Heckmann; Michael Kruppa; Rainer Wasinger

    Adaptive Mobile Guides

    In: P. Brusilovsky; A. Kobsa; W. Nejdl. The Adaptive Web. Pages 521-549, Lecture Notes in Computer Science (LNCS), Vol. 4321, ISBN 978-3-540-72078-2, …

  7. Antonio Krüger; Michael Kruppa

    Integration between mobile and stationary devices

    In: Oliviero Stock; Massimo Zancanaro (Hrsg.). PEACH - Intelligent Interfaces for Museum Visits. Intelligent Interfaces for Museum Visits. Chapter …

  8. Oliviero Stock; Massimo Zancanaro; Paulo Busetta; Charles Callaway; Antonio Krüger; Michael Kruppa; Tsvi Kuflik; Elena Not; Cesare Rocchi

    Adaptive, Intelligent Presentation of Information for the Museum Visitor in PEACH

    In: Alfred Kobsa (Hrsg.). User Modeling and User-Adapted Interaction: The Journal of Personalization Research, Vol. 17, No. 3, Pages 257-304, …

  9. Ralf Jung; Tim Schwartz

    Peripheral Notification With Customized Embedded Audio Cues

    In: William L. Martens (Hrsg.). Proceedings of the 13th International Conference on Auditory Display. International Conference on Auditory Display …

  10. Ralf Jung; Tim Schwartz

    A Location-Adaptive Human-Centered Audio Email Notification Service for Multi-user Environments

    In: Julie A. Jacko (Hrsg.). Human-Computer Interaction. Human Computer Interaction International Conferences (HCII-07), July 22-27, Beijing, China, …

Jahr