Skip to main content Skip to main navigation

Publications

Displaying results 51 to 60 of 501.
  1. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

    A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

    MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …

  2. Christoph Igel; Martin Haag

    Innovative e-Learning Technologies in Medicine and Healthcare.

    In: M. Fischer; N Graf (Hrsg.). GMS Medical Informatics, Biometry and Epidemiology (MIBE), 2013.

  3. Kristin Stamm; Marcus Liwicki; Andreas Dengel

    Continuous Partial Order Planning for Multichannel Document Analysis: A Process-Driven Approach

    In: Proceedings ICDAR 2013. International Conference on Document Analysis and Recognition (ICDAR), Washington D.C. USA, Pages 626-630, IEEE, 8/2013.

  4. Sviatlana Danilava; Stephan Busemann; Christoph Schommer; Gudrun Ziegler

    Why are you Silent? - Towards Responsiveness in Chatbots

    In: Avec le Temps! Time, Tempo, and Turns in Human-Computer Interaction. CHI Workshop , located at SIGCHI Conference on Human Factors in Computing …

  5. Till Mossakowski; Markus Roggenbach; Lutz Schröder

    Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

    In: Till Mossakowski; Markus Roggenbach; Lutz Schröder (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by …

  6. Matthias Kreil; Kristof Van Laerhoven; Paul Lukowicz

    Allowing early inspection of activity data from a highly distributed bodynet with a hierarchical-clustering-of-segments approach

    In: Body Sensor Networks (BSN), 2013 IEEE International Conference on. IEEE International Conference on Body Sensor Networks (BSN-2013), May 6-9, …

  7. Tobias Kowatsch; Wolfgang Maaß

    Towards Empirically Validated Ubiquitous Information Systems: Results From A Pretest And Three Empirical Studies

    In: 21st European Conference on Information Systems, ECIS 2013, Utrecht, The Netherlands, June 5-8, 2013. European Conference on Information Systems …

  8. Wolfgang Maaß; Shahd Zahran

    Self-Controlled Production: Forecasting with Smart Sensor Technologies

    In: 23rd Workshop on Information Technology and Systems (WITS), Milan, Italy. Workshop on Information Technology and Systems (WITS), Springer, 2013.

  9. Tobias Kowatsch; Dirk Büchter; Irena Pletikosa Cvijikj; Runhua Xu; Björn Brogle; Anneco Dintheer; Dunja Wiegand; Wolfgang Maass

    Design and Preliminary Evaluation of a Mobile Application for Obesity Experts and Children Teams (Poster)

    2013.