Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 51 bis 60 von 61
  1. 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 …

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

  3. MMIR Framework: Multimodal Mobile Interaction and Rendering

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

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

  5. Towards Future Web-based Aerospace Enterprises (Dagstuhl Seminar 13252)

    In: Andreas Harth; Craig A. Knoblock; Kai-Uwe Sattler; Rudi Studer (Hrsg.). Dagstuhl Reports, Vol. 3, No. 6, Pages 118-120, Schloss …

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

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

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

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