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 41 to 50 of 498.

  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. René Schubotz

    Towards Future Web-based Aerospace Enterprises (Dagstuhl Seminar 13252)

    In: Andreas Harth; Craig A. Knoblock; Kai-Uwe Sattler; Rudi Studer (Hrsg.). Dagstuhl Reports, Vol. 3, No. 6, Pages 118-120, Schloss …

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

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

  9. Tobias Kowatsch; Wolfgang Maaß

    Towards Empirically Validated Ubiquitous Information Systems: Results From A Pretest And Three Empirical Studies

    In: 21st European Conference on Information Systems, ECIS 2013, Utrecht, The Netherlands, June 5-8, 2013. European Conference on Information Systems …

  10. Wolfgang Maaß; Shahd Zahran

    Self-Controlled Production: Forecasting with Smart Sensor Technologies

    In: 23rd Workshop on Information Technology and Systems (WITS), Milan, Italy. Workshop on Information Technology and Systems (WITS), Springer, 2013.

Year