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 61 bis 70 von 504
  1. 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 …

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

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

  4. Christian Stahl

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

    Mastersthesis, Technical University of Kaiserslautern, 2013.

  5. Christopher Schölzel

    Dynamic Model Switching for Body Tracking Based on Motion Pattern Classification

    Mastersthesis, Technical University of Kaiserslautern, 2013.

  6. Oliver Wasenmüller

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

    Mastersthesis, Technical University of Kaiserslautern, 2013.

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

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

  9. Marc Seissler

    Modellbasierte Entwicklung kontextsensitiver Benutzungsschnittstellen zur Unterstützung der mobilen Instandhaltung

    PhD-Thesis, Technische Universität Kaiserslautern, Fortschritt-Berichte pak, Vol. 24, ISBN 978-3-943995-20-6, Technische Universität Kaiserslautern, …

  10. Kristian Sons; Christian Schlinkmann; Felix Klein; Dmitri Rubinstein; Philipp Slusallek

    xml3d.js: Architecture of a Polyfill Implementation of XML3D

    In: Proceedings of the 6th Workshop on on Software Engineering and Architectures for Realtime Interactive Systems. Software Engineering and …