In: Proceedings of the First Conference on Machine Translation. Workshop on Statistical Machine Translation (WMT-16), located at The 54th Annual Meeting of the Association for Computational Linguistics, August 11-12, Berlin, Germany, Pages 415-422, Association for Computational Linguistics, 8/2016.
In: Proceedings of the 1st Workshop on Representation Learning for NLP. ACL Workshop on Representation Learning for NLP (RepL4NLP-2016), August 11, Berlin, Germany, ACL, 2016.
In: Der Universitätspräsident (Hrsg.). Universitätsreden . Pages 7-8, Universitätsreden, Vol. 106, ISBN 978-3-86223-191-1, Universität des Saarlandes, Saarbrücken, 2/2015.
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.
K. Konstantinidis; C.L. Flores Martinez; Marc Hildebrandt; R. Förstner