Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2013
Alle Filter entfernen
Zeige Ergebnisse 61 bis 70 von 504

  1. Marc Hildebrandt

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

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

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

  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. Ansgar Bernardi

    iGreen -- Vom Segen und Fluch eines interdisziplinären Forschungsprojekts

    In: LU aktuell, Vol. 2013, No. 6, Page 34, Bundesverband Lohnunternehmen e.V. 6/2013.

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

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

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

  8. Constantin Houy; Tim Niesen; Peter Fettke; Peter Loos

    Towards Automated Identification and Analysis of Argumentation Structures in the Decision Corpus of the German Federal Constitutional Court

    In: 7th IEEE International Conference on Digital Ecosystems and Technologies. Special Theme - Smart Planet and Cyber Physical Systems as Embodiment of …

  9. Benjamin Bergner; Jan Exner; Martin Memmel; Rania Raslan; Dina Taha; Manar Talal; Peter Zeile

    Human Sensory Assessment Methods in Urban Planning - a Case Study in Alexandria

    In: Manfred Schrenk; Vasily V. Popovich; Peter Zeile; Pietro Elisei (Hrsg.). Proceedings of REAL CORP 2013. International Conference on Urban …

  10. Robert Wille; Simon Stelter; Rolf Drechsler

    Exploiting Reversibility in the Complete Simulation of Reversible Circuits

    In: IEEE AFRICON 2013 Proceedings. IEEE AFRICON (AFRICON-13), September 9-12, Mauritius, Mauritius, IEEE, 2013.

Jahr