Publications

Christian Federmann; Andreas Eisele; Hans Uszkoreit; Yu Chen; Sabine Hunsicker; Jia Xu

In: Chris Callison-Burch; Philipp Koehn; Christof Monz; Kay Peterson; Omar Zaidan (Hrsg.). Proceedings of the Joint Fifth Workshop on Statistical Machine Translation and MetricsMATR. Workshop on Statistical Machine Translation (WMT-10), located at ACL 2010, July 15-16, Uppsala, Sweden, Pages 77-81, ACL, 7/2010.

Kathrin Eichler; Günter Neumann

In: Proceedings of the Fifth International Workshop on Semantic Evaluations. International Workshop on Semantic Evaluation (SemEval-2010), located at ACL, June 15-16, Uppsala, Sweden, ACL, 2010.

Lutz Schröder; Yde Venema

In: Paul Gastin; François Laroussinie (Hrsg.). Proceedings of the 21st International Conference on Concurrency Theory. International Conference on Concurrency Theory (CONCUR-2010), 21st, August 31 - September 3, Paris, France, Lecture Notes in Computer Science, Springer, Berlin, 8/2010.

Lutz Schröder; Dirk Pattinson; Daniel Hausmann

In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2010), 19th, August 16-20, Lisbon, Portugal, Frontiers in Artificial Intelligence and Applications, IOS Press, 8/2010.

Lutz Schröder; Dirk Pattinson

In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2010), 13th, located at ETAPS 2010, March 20-28, Paphos, Cyprus, Pages 328-342, Lecture Notes in Computer Science, Vol. 6014, Springer, Berlin, 3/2010.

Lutz Schröder; Dirk Pattinson

In: Jean-Yves Marion; Thomas Schwentick (Hrsg.). Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science. International Symposium on Theoretical Aspects of Computer Science (STACS-2010), 27th, March 4-6, Nancy, France, Pages 645-656, Leibniz International Proceedings in Informatics, Vol. 5, Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl, Germany, 3/2010.

Carsten Lutz; Lutz Schröder

In: Fangzhen Lin; Ulrike Sattler (Hrsg.). Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning. International Conference on Principles of Knowledge Representation and Reasoning (KR-2010), 12th, May 9-13, Toronto, Ontario, Canada, AAAI Press, Menlo, CA, 5/2010.

Daniel Hausmann; Lutz Schröder

In: Thomas Bolander; Torben Braüner (Hrsg.). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6), 6th Workshop on Methods for Modalities, November 12-14, Kopenhagen, Denmark, Pages 157-171, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 262, Elsevier, Amsterdam, 5/2010.

Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.)

Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference AISC 2010, 17th Symposium Calculemus 2010 and 9th International Conference MKM 2010, located at Conferences on Intelligent Computer Mathematics, July 5-10, Paris, France, LNCS (LNCS), Vol. 6167, ISBN 978-3-642-14127-0, Springer, Heidelberg, Germany, 7/2010.

Rajeev Gore; Clemens Kupke; Dirk Pattinson; Lutz Schröder

In: Jürgen Giesl; Reiner Haehnle (Hrsg.). Proceeding of the 5th International Joint Conference on Automated Reasoning. International Joint Conference on Automated Reasoning (IJCAR-2010), 5th, located at FLoC 2010, July 16-19, Edinburgh, United Kingdom, Lecture Notes in Computer Science (LNCS), Springer, 2010.