Skip to main content Skip to main navigation

Publications

Displaying results 51 to 60 of 504.
  1. 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, …

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

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

  4. MMIR Framework: Multimodal Mobile Interaction and Rendering

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

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

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

  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 …