Skip to main content Skip to main navigation

Publications

Displaying results 51 to 60 of 501.
  1. iGreen -- Vom Segen und Fluch eines interdisziplinären Forschungsprojekts

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

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

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

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

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