Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 501.
  1. Christian Stahl

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

    Mastersthesis, Technical University of Kaiserslautern, 2013.

  2. Christopher Schölzel

    Dynamic Model Switching for Body Tracking Based on Motion Pattern Classification

    Mastersthesis, Technical University of Kaiserslautern, 2013.

  3. Oliver Wasenmüller

    Enhancing Dense 3D Models by Multi-View Triangulation and Subsequent Illumination Estimation

    Mastersthesis, Technical University of Kaiserslautern, 2013.

  4. Lucas Davi; Alexandra Dmitrienko; Stefan Nürnberger; Ahmad-Reza Sadeghi

    Gadge Me if You Can: Secure and Efficient Ad-Hoc Instruction-Level Randomization for x86 and ARM

    In: Proceedings of the 8th ACM SIGSAC Symposium on Information, Computer and Communications Security. ACM Symposium on Information, Computer and …

  5. Sören Bleikertz; Sven Bugiel; Hugo Ideler; Stefan Nürnberger; Ahmad-Reza Sadeghi

    Client-controlled Cryptography-as-a-Service in the Cloud

    In: Proceedings of the 11th International Conference on Applied Cryptography and Network Security 2013. International Conference on Applied …

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

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

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

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