Publikationen

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 …

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.

Bernd Krieg-Brückner; Bernd Gersdorf; Christian Mandel; Christoph Budelmann; M.-S. Schröder

Navigation Aid for Mobility Assistant

In: Joint CEWIT-TZI-acatech Workshop. Joint CEWIT-TZI-acatech Workshop (CEWIT-TZI-13), March 19-20, Bremen, Germany, IEEE, 2013.

Aljoscha Burchardt; Cindy Tscherwinka; Eleftherios Avramidis; Hans Uszkoreit

Machine Translation at Work

In: Adam Przepiórkowski; Maciej Piasecki; Krzysztof Jassem; Piotr Fuglewicz (Hrsg.). Computational Linguistics - Applications. Pages 241-261, Studies …

Feiyu Xu; Hans Uszkoreit; Hong Li; Peter Adolphs; Xiwen Cheng

Domain Adaptive Relation Extraction for Semantic Web

In: Hermann Friedrich; Hans-Joachim Grallert; Wolfgang Wahlster; Stefan Wess; Thomas Widenka (Hrsg.). Theseus-Buch. Chapter X, Springer, 2013.

Jörg Schneider; Markus Reiter

Green IT-Service-Management: Eine empirische Voruntersuchung der konzeptionellen Grundlagen

In: Rainder Alt; Bogdan Fanczyk (Hrsg.). Proceedings of the 11th International Conference on Wirtschaftsinformatik. Internationale Tagung …

Constantin Houy; Markus Reiter; Peter Fettke; Peter Loos

Agile Social Business Process Management using Sensor Technologies and Web 2.0

In: Jörg Becker; Martin Matzner (Hrsg.). Promoting Business Process Management Excellence in Russia - Proceedings and Report of the PropelleR 2012 …

Amir Bonakdar; Tobias Weiblen; Christina Di Valentin; Theresa Zeißner; Anton Pussep; Markus Schief

Transformative Influence of Business Processes on the Business Model: Classifying the State of the Practice in the Software Industry

In: Proceedings of the 46th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-13), …

Hendrik Wöhrle; Johannes Teiwes; Elsa Andrea Kirchner; Frank Kirchner

A Framework for High Performance Embedded Signal Processing and Classification of Psychophysiological Data

In: APCBEE Procedia. International Conference on Biomedical Engineering and Technology (ICBET-2013), 3rd, May 19-20, Kopenhagen, Denmark, Elsevier, …

Christopher Buston; Georg Tamm; Sanket Jain; Thomas Fogal; Jens Krüger

Evaluation of Interactive Visualization on Mobile Computing Platforms for Selection of Deep Brain Stimulation Parameters

In: IEEE Transactions on Visualization and Computer Graphics, Vol. 19, Pages 108-117, IEEE Educational Activities Department, 2013.