In: Christoph Lange; Josef Urban (Hrsg.). Proceedings of the ITP 2011 Workshop on Mathematical Wikis (MathWikis 2011). International Conference on Interactive Theorem Proving (ITP-2011), August 22-25, Nijmegen, Netherlands, Pages 19-27, CEUR Workshop Proceedings, Vol. 767, CEUR-WS.org, 8/2011.
Jean-Marie Gaillourdet; Thomas Grundmann; Martin Memmel; Karsten Schmidt; Arnd Poetzsch-Heffter; Stefan Desloch
In: A. König; et. al. (Hrsg.). Knowledge-Based and Intelligent Information and Engineering Systems, Part IV. International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES-2011), September 12-14, Kaiserslautern, Germany, Pages 126-135, LNAI, Vol. 6884, Springer, 9/2011.
In: Harold Liu; Alexander Kröner; Chris Speed; Pan Hui; Fahim Kawsar; Wenjie Wang; Dan Wang; Boris Brandherm; Thomas Ploetz; Michael Schneider; Jens Haupert; Peter Stephan (Hrsg.). Proceedings of the International Workshop on Networking and Object Memories for the Internet of Things. Workshop on Digital Object Memories (DOME-11), located at UbiComp 2011, September 17-21, Peking, China, Pages 27-28, ISBN 978-1-4503-0929-5/11/09, ACM, 9/2011.
In: Proceedings of EMNLP - WMT workshop. Workshop on Statistical Machine Translation (WMT-11), located at EMNLP, July 30-31, Edinburgh, United Kingdom, NA, Edinburgh, UK, 7/2011.
In: Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing. Conference on Empirical Methods in Natural Language Processing (EMNLP-2011), July 27-31, Edinburgh, Scotland, United Kingdom, Pages 970-979, ACL, 7/2011.
In: Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies (ACL HLT 2011). Annual Meeting of the Association for Computational Linguistics: Human Language Technologies (ACL-HLT-2011), June 19-24, Portland, Oregon, USA, Pages 1385-1394, ACL, 6/2011.
In: Hamburg Working Paper in Multilingualism. Conference of the German Society for Computational Linguistics and Language Technology (GSCL-11), September 28-30, Hamburg, Germany, Hamburg Working Paper in Multilingualism, German Society for Computational Linguistics and Language Technology, 9/2011.
In: Hamburg Working Paper in Multilingualism. Conference of the German Society for Computational Linguistics and Language Technology (GSCL-11), September 28-30, Hamburg, Germany, Hamburg Working Paper in Multilingualism, German Society for Computational Linguistics and Language Technology, 9/2011.