In: 13. Internationale Tagung Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik (WI-2017), Towards Thought Leadership in Digital Transformation, February 12-15, St. Gallen, Switzerland, AIS e-Library, 2017.
Mario Michael Krell; Nils Wilshusen; Anett Seeland; Su-Kyoung Kim
In: Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. International ICST Conference on Pervasive Computing Technologies for Healthcare (Pervasive Health-17), 11th EAI International Conference on Pervasive Computing Technologies for Healthcare, May 23-26, Barcelona, Spain, ACM Digital Library, 2017.
In: 20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-20), February 8-9, Bremen, Germany, 2017.
Sebastian Huhn; Stephan Eggersglüß; Krishnendu Chakrabarty; Rolf Drechsler
In: 19th International Conference on Advanced Communications Technology. International Conference on Advanced Communications Technology (ICACT-17), February 19-22, Pyeonchang, Korea, Republic of, IEEE, 2/2017.
In: Sven Behnke; Raymond Sheh; Sanem Sariel; Daniel D. Lee (Hrsg.). RoboCup 2016: Robot World Cup XX. RoboCup International Symposium (RoboCup-2016), July 4, Leipzig, Germany, Pages 503-514, Lecture Notes in Artificial Intelligence, Vol. 9776, Springer, 2017.
In: Carlos Valderrama; Nuno M. Garcia; Ciprian Dobre; Ivan Ganchev; Rossitza Ivanova Goleva. Enhanced Living Environments: From models to technologies. Chapter End-users’ AAL and ELE service scenarios in, Pages 101-132, IET Digital Library, 2017.
In: Serge Autexier; Pedro Queresma (Hrsg.). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016), located at International Joint Conference on Automated Reasoning IJCAR 2016, July 2, Coimbra, Portugal, Pages 43-52, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 239, Open Publishing Association, 1/2017.