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

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

  5. Alekh Jindal; Endre Palatinus; Vladimir Pavlov; Jens Dittrich

    A Comparison of Knives for Bread Slicing

    In: Peer Kröger; Stratis D. Viglas (Hrsg.). Proceedings of the 39th International Conference on Very Large Data Bases. International Conference on …

  6. Frederik Wiehr; Vidya Setlur; Alark Joshi

    DriveSense: Contextual handling of large-scale route map data for the automobile

    In: IEEE Conference Publications. IEEE International Conference on Big Data (IEEE BigData-2013), October 6-9, Santa Clara, CA, USA, Pages 87-94, IEEE, …

  7. Christian Stahl

    Distortion-free 3D reconstruction and discrepancy check using an PGBD camera.

    Mastersthesis, Technical University of Kaiserslautern, 2013.