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 504.
  1. MMIR Framework: Multimodal Mobile Interaction and Rendering

    In: Matthias Horbach (Hrsg.). INFORMATIK 2013: Informatik angepasst an Mensch, Organisation und Umwelt. Workshop Modellbasierte Entwicklung von …

  2. Aaron Ruß; Michael Kaisser

    Exploratory Search on Social Media

    In: Pavel Serdyukov; Pavel Braslavski; Sergei O. Kuznetsov; Jaap Kamps; Stefan Rüger; Eugene Agichtein; Ilya Segalovich; Emine Yilmaz (Hrsg.). …

  3. Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler

    Reducing the depth of quantum circuits using additional circuit lines

    In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC), Pages 221-233, …

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

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

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

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

  9. Mixed Intention Sets in Dialogue Planning

    In: 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI) (Informatik 2013), Koblenz, Germany. Jahrestagung der Gesellschaft für Informatik …