In: Juan Carlos Augusto; Reiner Wichert (Hrsg.). Proceedings of the Fourth International Joint Conference on Ambient Intelligence. International Joint Conference on Ambient Intelligence (Aml-2013), December 3-5, Dublin, Ireland, Springer-Verlag, CCIS, 12/2013.
Gudrun Tschirner-Vinke; Ronny Hartanto; Max Reinecke; Volker Viereck
In: Proceedings of the 6th International IEEE EMBS Conference on Neural Engineering. International IEEE/EMBS Conference on Neural Engineering (NER-2013), November 6-8, San Diego, CA, USA, Pages 41-44, 11/2013.
In: Proceedings of the Neurotechnix 2013. International Congress on Neurotechnology, Electronics and Informatics (NEUROTECHNIX-2013), September 18-20, Vilamoura, Portugal, Pages 13-20, ISBN 978-989-8565-80-8, SCITEPRESS, 9/2013.
In: Proceedings of the Sixth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services. International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services (CENTRIC-13), 6th , located at IARIA, October 27 - November 1, Venice, Italy, IARIA, 10/2013.
Thomas Bauereiß; Stefan Gohmann; Dieter Hutter; Alexander Kläser
In: Proceedings Open Identity Summit 2013. Open Identity Summit (OID-2013), September 9-11, Kloster Banz, Germany, Lecture Notes in Informatics (LNI), Springer, 2013.
In: Proceedings of the 26th International Workshop on Description Logics, 2013. International Workshop on Description Logics (DL-13), July 23-26, Ulm, Germany, Pages 501-512, CEUR, Vol. 1014, CEUR Workshop Proceedings, ceur-ws.org/Vol-1014/, 7/2013.
Workshop on User Interfaces for Theorem Provers (UITP), July 11, Bremen, Germany, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 118, www.eptcs.org, 7/2013.