Publications

Martin Ring; Christoph Lüth

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.

Jakob Schwendner; Frank Kirchner

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.

Martin Mallwitz; Luis Manuel Vaca Benitez; Bertold Bongardt; Niels Will

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.

Hoang M. Le; Rolf Drechsler

In: Design and Verification Conference - Proceedings. Design and Verification Conference (DVCon Europe-15), October 14-15, München, Germany, nnn, 2014.

Michael Schmidt; Uta Schwertel; Christina Di Valentin; Andreas Emrich; Dirk Werth

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.

Alaa Shafaee; Hassan Issa; Stefan Agne; Stephan Baumann; Andreas Dengel

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.

Serge Autexier; Dieter Hutter

Abschlußbericht BMBF, BMBF, DFKI Final Reports (FR), Vol. noch nicht bestimmt. 5/2014.

Bernardo Magnini; Roberto Zanoli; Ido Dagan; Kathrin Eichler; Günter Neumann; Tae-Gil Noh; Sebastian Pado; Asher Stern; Omer Levy

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.