Publikationen

Stefan Bosse; Thomas Behrmann; Carolin Zschippig

In: Proceedings of 55. IWK Internationales Wissenschaftliches Kolloquium, Workshop A3 Analysis and Synthesis to Energy Efficiency Optimisation. Internationales Wissenschaftliches Kolloquium (IWK-10), Workshop A3 Analysis and Synthesis to Energy Efficiency Optimisation, September 13-17, Ilmenau, Germany, 9/2010.

Peter Loos; Silke Balzert-Walter; Dirk Werth

In: Roland Jochem; Kai Mertins; Thomas Knothe (Hrsg.). Prozessmanagement. Pages 443-471, Symposium Publishing GmbH, Düsseldorf, 2010.

Markus Eich; Frank Kirchner

In: Workshop Artificial Intelligence and Logistics (AILog). European Conference on Artificial Intelligence (ECAI-10), August 16, Lisbon, Portugal, 8/2010.

Serge Autexier; Dominik Dietrich

In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2010), July 11-14, Edinburgh, United Kingdom, Pages 99-114, Lecture Notes in Computer Sciences (LNCS), Vol. 6172, Springer, 7/2010.

Constantin Houy; Markus Reiter; Peter Fettke; Peter Loos

In: Werner Esswein; Klaus Turowski; Martin Juhrisch (Hrsg.). MobIS 2010. Modellierung betrieblicher Informationssysteme (MobIS-2010), September 15-17, Dresden, Germany, Pages 211-227, Lecture Notes in Informatics (LNI), Vol. 171, ISBN 978-3-88579-265-9, Gesellschaft für Informatik, Bonn, 9/2010.

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.