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 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. Tobias Franke; Paul Lukowicz; Martin Wirz; Eve Mitleton-Kelly

    Participatory sensing and crowd management in public spaces

    In: Proceeding of the 11th annual international conference on Mobile systems, applications, and services. International Conference on Mobile Systems, …

  7. Henrik Blunck; Niels Olof Bouvin; Tobias Franke; Kaj Grønbæk; Mikkel B Kjaergaard; Paul Lukowicz; Markus Wüstenberg

    On heterogeneity in mobile sensing applications aiming at representative data collection

    In: Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication. International Joint Conference on Pervasive and …

  8. Josef Neuburger; Christopher Lammel; Agnes Grünerbl; M Brecht; V Grosse; K Hager; Michael Marschollek; Paul Lukowicz

    Neue Möglichkeiten der Sturzrisikoerfassung

    In: Lebensqualität im Wandel von Demografie und Technik . Deutscher AAL-Kongress (AAL-13), January 22-23, Berlin, VDE VERLAG GmbH, 2013.

  9. Eve Mitleton-Kelly; Paul Lukowicz

    Introduction: The SOCIONICAL FP7 Project and an Outline of the Volume

    In: Eve Mitleton-Kelly (Hrsg.). Co-Evolution of Intelligent Socio-Technical Systems: Modelling and Applications in Large Scale Emergency and Transport …