Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2013
Remove all filters
Displaying results 61 to 70 of 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. 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. Y. Nevatia; F. Bulens; J. Gancet; Y. Gao; S. Al-Mili; R. Kandiyil; Roland Sonsalla; Martin Fritsche; Thomas Vögele; E. Allouis; K. Skocki; S. Ransom; C. Saaj; M. Matthews; B. Yeomans; L. Richter; T.P. Kaupisch

    Safe Long-Range Traversal for Planetary Rovers through Forward Sensing

    In: Proceedings of the 12th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in …

  7. Jörn Hees; Mohamed Khamis; Ralf Biedert; Slim Abdennadher; Andreas Dengel

    Collecting Links between Entities Ranked by Human Association Strengths

    In: Philipp Cimiano; Óscar Corcho; Valentina Presutti; Laura Hollink; Sebastian Rudolph (Hrsg.). ESWC. Extended Semantic Web Conference (ESWC-13), The …

  8. Rafael Schirru

    Contextualized Recommendations for the Socio-Semantic Web

    PhD-Thesis, DFKI GmbH, 2013.

  9. Alexandra Theobalt; Andreas Emrich; Dirk Werth; Peter Loos

    A Conceptual Architecture for an ICT-based Personal Health System for Cardiac Rehabilitation

    In: Proceedings of the 2013 Americas Conference on Information Systems. Americas Conference on Information Systems (AMCIS-13), August 14-17, Chicago, …

  10. Jannis Ulrich Stoppe; Robert Wille; Rolf Drechsler

    Cone of Influence Analysis at the Electronic System Level Using Machine Learning

    In: José Silva Matos; Francesco Leporati (Hrsg.). 16th Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital …

Year