Skip to main content Skip to main navigation

Publications

Search narrowed by:

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

  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. David Enke; Nijat Mehdiyev

    Type-2 Fuzzy Clustering and a Type-2 Fuzzy Inference Neural Network for the Prediction of Short-term Interest Rates

    In: Procedia Computer Science, Vol. 20, Pages 115-120, Elsevier, 2013.

  4. G. Spina; F. Roberts; Jens Weppner; Paul Lukowicz; O. Amft

    CRNTC+: A smartphone-based sensor processing framework for prototyping personal healthcare applications

    In: Pervasive Computing Technologies for Healthcare. International ICST Conference on Pervasive Computing Technologies for Healthcare (Pervasive …

  5. Matthias Reif

    Automatic Support for the Development of Classification Systems

    PhD-Thesis, DFKI, 2013.

  6. Ralf Biedert

    Gaze Based Human-Text Interaction Text 2.0

    PhD-Thesis, DFKI, 2013.

  7. Matthias Loskyll

    Entwicklung einer Methodik zur dynamischen kontextbasierten Orchestrierung semantischer Feldgerätefunktionalitäten

    PhD-Thesis, DFKI, 2013.

  8. Heiko Maus; Olivier Dobberkau; Maria Wolters; Claudia Niederée

    ForgetIT Deliverable D9.1: Application Use Cases & Requirements Document

    Deliverable, ForgetIT consortium, ForgetIT Deliverables, Vol. D9.1, 7/2013.

  9. Josef Neuburger; Christopher Lammel; Agnes Grünerbl; M Brecht; V Grosse; K Hager; Michael Marschollek; Paul Lukowicz

    Neue Möglichkeiten der Sturzrisikoerfassung

    In: Lebensqualität im Wandel von Demografie und Technik . Deutscher AAL-Kongress (AAL-13), January 22-23, Berlin, VDE VERLAG GmbH, 2013.

  10. Eve Mitleton-Kelly; Paul Lukowicz

    Introduction: The SOCIONICAL FP7 Project and an Outline of the Volume

    In: Eve Mitleton-Kelly (Hrsg.). Co-Evolution of Intelligent Socio-Technical Systems: Modelling and Applications in Large Scale Emergency and Transport …

Year