Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2013
Remove all filters
Displaying results 61 to 70 of 504.

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

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

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

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

  5. Sviatlana Danilava; Stephan Busemann; Christoph Schommer; Gudrun Ziegler

    Why are you Silent? - Towards Responsiveness in Chatbots

    In: Avec le Temps! Time, Tempo, and Turns in Human-Computer Interaction. CHI Workshop , located at SIGCHI Conference on Human Factors in Computing …

  6. Marc Hildebrandt

    Development, Evaluation and Validation of a Stereo Camera Underwater SLAM Algorithm

    PhD-Thesis, Universität Bremen, 12/2013.

  7. Christopher Schölzel

    Dynamic Model Switching for Body Tracking Based on Motion Pattern Classification

    Mastersthesis, Technical University of Kaiserslautern, 2013.

  8. Oliver Wasenmüller

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

    Mastersthesis, Technical University of Kaiserslautern, 2013.

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

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

Year