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

  4. Daniel Roggen; Paul Lukowicz; Lois Ferscha; José del R. Millán; Gerhard Tröster; Ricardo Chavarriaga

    Opportunistic human activity and context recognition

    In: IEEE Computer, Vol. 46, No. 2, Pages 36-45, IEEE, 2013.

  5. Gerald Bauer; Ulf Blanke; Paul Lukowicz; Bernt Schiele

    User independent, multi-modal spotting of subtle arm actions with minimal training data

    In: Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 IEEE International Conference on . IEEE International Conference on …

  6. Miguel Sousa; Axel Techmer; Axel Steinhage; Christl Lauterbach; Paul Lukowicz

    Human tracking and identification using a sensitive floor and wearable accelerometers

    In: Pervasive Computing and Communications (PerCom), 2013 IEEE International Conference on. IEEE International Conference on Pervasive Computing and …

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

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

  9. Tobias Kowatsch; Dirk Büchter; Irena Pletikosa Cvijikj; Runhua Xu; Björn Brogle; Anneco Dintheer; Dunja Wiegand; Wolfgang Maass

    Design and Preliminary Evaluation of a Mobile Application for Obesity Experts and Children Teams (Poster)

    2013.