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 21 to 30 of 504.
  1. Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler

    Exact Ttemplate Matching using Boolean Satisfiability

    In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS), Pages 328-333, …

  2. 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.

  3. 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 …

  4. 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 …

  5. 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.

  6. iGreen -- Vom Segen und Fluch eines interdisziplinären Forschungsprojekts

    In: LU aktuell, Vol. 2013, No. 6, Page 34, Bundesverband Lohnunternehmen e.V. 6/2013.

  7. 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 …

  8. Martin Wirz; Tobias Franke; Daniel Roggen; Eve Mitleton-Kelly; Paul Lukowicz; Gerhard Tröster

    Probing crowd density through smartphones in city-scale mass gatherings

    In: The European Physical Journal - Data Science (EPJ DS), Vol. 2, Pages 1-24, Springer, Berlin, 6/2013.

  9. 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, …