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 281 to 290 of 572.
  1. K. Breiner; Marc Seissler; Gerrit Meixner; P. Forbrig; A. Seffah; K. Klöckner

    Pattern-Driven Engineering of Interactive Computing Systems (PEICS)

    In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems. ACM SIGCHI Symposium on Engineering Interactive …

  2. K. Breiner; Marc Seissler; Gerrit Meixner; P. Forbrig; A. Seffah; K. Klöckner

    PEICS: Towards HCI Patterns into Engineering of Interactive Systems

    In: Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems. International Workshop on …

  3. Kai Breiner; Gerrit Meixner (Hrsg.)

    Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems

    International Workshop on Pattern-Driven Engineering of Interactive Computing Systems (PEICS-2010), 2nd ACM SIGCHI Symposium on Engineering …

  4. J. M. Cantera Fonseca; J. M. González Calleros; Gerrit Meixner; F. Paternó; J. Pullmann; D. Raggett; D. Schwabe; J. Vanderdonckt

    Model-Based UI XG Final Report

    W3C, W3C Incubator Group Report, Vol. 04 May 2010, 5/2010.

  5. Gerrit Meixner

    Model-based Useware Engineering

    In: Proceedings of the W3C Workshop on Future Standards for Model-Based User Interfaces. W3C Workshop on Future Standards for Model-Based User …

  6. Daniel Sonntag; Manuel Möller

    Prototyping Semantic Dialogue Systems for Radiologists

    In: Proceedings of the 6th International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE-2010), 6th, …

  7. Manuel Möller; Patrick Ernst; Andreas Dengel

    Spatial Reasoning for Plausibility Checks of Medical Object Recognition Results Using the Foundational Model of Anatomy

    In: Proceedings of the 2nd Malaysian Joint Conference on Artificial Intelligence. Malaysian Joint Conference on Artificial Intelligence (MJCAI-2010), …

  8. Serge Autexier; Petr Sojka; Masakazu Suzuki

    Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge (Foreword)

    In: Journal Mathematics in Computer Science, Vol. 3, No. 3, Pages 225-226, Birkhaeuser, Basle, Switzerland, 3/2010.

  9. Adding Change Impact Analysis to the Formal Verification of C Programs

    In: Dominique Méry; Stephan Merz (Hrsg.). Proceedings 8th International Conference on Integrated Formal Methods (iFM 2010). International Conference …

  10. Thierry Declerck; Antonia Scheidel; Piroska Lendvai

    Proppian Content Descriptors in an Augmented Annotation Schema for Fairy Tales

    In: Caroline Sporleder; Kalliopi Zervanou (Hrsg.). Proceedings of the ECAI 2010 Workshop on Language Technology for Cultural Heritage, Social …