In: G. Klein; R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014), located at Vienna Summer of Logic, July 14-17, Wien, Austria, Pages 467-482, Lecture Notes in Computer Science (LNCS), Vol. 8558, Springer Verlag, 7/2014.
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 28, No. 2, Pages 67-69, Springer, 6/2014.
In: Workshop Proceedings of the IEEE International Conference on Robotics and Automation 2014. IEEE International Conference on Robotics and Automation (ICRA-2014), May 31 - June 5, Hong Kong, China, 6/2014.
Frank Hilken; Philipp Niemann; Martin Gogolla; Robert Wille
In: International Conference on Tests & Proofs - Proceedings. International Conference on Tests & Proofs (TAP-14), 8th, July 24-25, York, United Kingdom, 2014.
In: Proceedings of the 9th European Conference on Technology Enhanced Learning. European Conference on Technology Enhanced Learning (EC-TEL-14), 9th, September 16-19, Graz, Austria, Springer, 2014.
In: LNCS/LNAI post Proceedings of PAKDD 2014. Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-14), 18th, May 13-16, Tainan, Taiwan, Province of China, Springer, 7/2014.
Tiago Hormigo; Clement Gu; Tobias Lutz; Stanislav Gardecki; Florian Cordes; Anton Böljes; Joerg Bolz; Peter De Maagt
In: Proceedings of the ESA GNC 2014: 9th International ESA Conference on Guidance, Navigation and Control Systems. International ESA Conference on Guidance, Navigation and Control Systems (GNC-2014), 9th, June 2-6, Porto, Portugal, ESA, 6/2014.
In: Proceedings of the ACL 2014 System Demonstrations. Annual Meeting of the Association for Computational Linguistics (ACL-2014), June 23-25, Baltimore, Maryland, USA, ACL, 6/2014.