Publications

Serge Autexier; Dieter Hutter

In: Proceedings of the 26th International Workshop on Description Logics, 2013. International Workshop on Description Logics (DL-13), July 23-26, Ulm, …

Christoph Lüth; Cezary Kaliszyk (Hrsg.)

Workshop on User Interfaces for Theorem Provers (UITP), July 11, Bremen, Germany, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. …

Andreas Emrich; Alexandra Theobalt; Dirk Werth; Peter Loos

In: Kriti Gupta; Sanil Thomus (Hrsg.). International Journal of Engineering and Innovative Technology (IJEIT), Vol. 3, No. 1, Pages 1-10, IJEIT, …

Su-Kyoung Kim; Suraj Kumar Sanga; Elsa Andrea Kirchner

In: Proceedings of the 6th International IEEE EMBS Conference on Neural Engineering. International IEEE/EMBS Conference on Neural Engineering …

Elsa Andrea Kirchner; Su-Kyoung Kim; Manfred Fahle

In: Perception, Vol. 42 ECVP Abstract Supplement, Pages 220-220, 8/2013.

Michael Kohlhase; Corneliu Prodescu; Christian Liguda

In: Simon Thorne; Grenville Croll (Hrsg.). Prodeedings of the EuSpRIG 2013 Conference "Spreadsheet Risk Management". European Spreadsheet Risks …

Jingyuan Cheng; Oliver Amft; Gernot Bahle; Paul Lukowicz

In: IEEE Sensors Journal, Vol. 13, No. 10, Pages 3935-3947, IEEE Sensors Council, 2013.

Jingyuan Cheng; Paul Lukowicz; Niels Henze; Albrecht Schmidt; Oliver Amft; Giovanni A Salvatore; Gerhard Tröster

In: IEEE Pervasive Computing, Vol. 12, No. 3, Pages 0081-84, IEEE Computer Society, 2013.

Abhinav Parate; Matthias Böhmer; David Chu; Deepak Ganesan; Benjamin M. Marlin

In: Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing. International Conference on Ubiquitous Computing …

Matthias Böhmer; Christian Lander; Antonio Krüger

In: Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication. International Conference on Ubiquitous Computing …