Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2009
Remove all filters
Displaying results 121 to 130 of 533.

  1. Sergey Goncharov; Lutz Schröder; Till Mossakowski

    Kleene Monads: Handling Iteration in a Framework of Generic Effects

    In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

  2. Mark Hillebrand; Dirk Leinenbach

    Formal Verification of a Reader-Writer Lock Implementation in C

    In: Proceedings of the 4th International Workshop on Systems Software Verification. International Workshop on Systems Software Verification …

  3. Carsten Ullrich; Tianxiang Lu; Erica Melis

    A New Framework for Dynamic Adaptations and Actions

    In: Marcus Specht; Vania Dimitrova; Ulrike Cress (Hrsg.). Learning in the Synergy of Multiple Disciplines. European Conference on Technology Enhanced …

  4. Thomas Burkhart; Silke Balzert-Walter; Dirk Werth; Peter Loos

    An email-based interoperability approach for SMEs

    In: Proceeding of the International Conference on Interoperability for Enterprise Software and Applications. International Conference on …

  5. Martin Wolpers; Martin Memmel; Alberto Giretti

    Metadata in architecture education - first evaluation results of the MACE system

    In: Ulrike Cress; Vania Dimitrova; Marcus Specht (Hrsg.). Proceedings of EC-TEL 2009 - Learning in the Synergy of Multiple Disciplines. European …

  6. Martin Wolpers; Martin Memmel; Hans-Christian Schmitz; Martin Friedrich; Marco Jahn; Rafael Schirru

    Usage metadata based support for learning activity reflection

    In: Klaus Tochtermann; Hermann Maurer (Hrsg.). Proceedings of I-KNOW '09. International Conference on Knowledge Management and New Media Technology …

  7. Benjamin Adrian; Jörn Hees; Ludger van Elst; Andreas Dengel

    iDocument: Using Ontologies for Extracting and Annotating Information from Unstructured text

    In: Bärbel Mersching; Marcus Hund; Zaheer Aziz (Hrsg.). KI 2009: Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

  8. Jan Alexandersson; Gottfried Zimmermann; Jürgen Bund

    User Interfaces for AAL: How can I Satisfy All Users?

    In: Proceedings of Ambient Assisted Living - AAL. 2. Deutscher Kongress mit Ausstellung/ Technologien - Anwendungen - Management. Deutscher …

  9. Michael Repplinger; Alexander Löffler; Dmitri Rubinstein; Philipp Slusallek

    DRONE: a Flexible Framework for Distributed Rendering and Display

    In: Proceedings of the 5th International Symposium on Visual Computing 2009. International Conference on Visual Computing (ISVC-09), November 30 - …

  10. Christian Müller; Gerald Friedland

    Multimodal interfaces for automotive applications (MIAA)

    In: IUI '09: Proceedings of the 13th international conference on Intelligent user interfaces. International Conference on Intelligent User Interfaces …

Year