Skip to main content Skip to main navigation

Publications

 

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

Displaying results 41 to 50 of 504.
  1. Thomas Röfer; Tim Laue; Judith Müller; Michel Bartsch; Malte Jonas Batram; Arne Böckmann; Martin Böschen; Martin Kroker; Florian Maaß; Thomas Münder; Marcel Steinbeck; Andreas Stolpmann; Simon Taddiken; Alexis Tsogias; Felix Wenk

    B-Human Team Report and Code Release 2013

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

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

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

  7. Christian Stahl

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

    Mastersthesis, Technical University of Kaiserslautern, 2013.