Publications

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, …

Serge Autexier; Dominik Dietrich

In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on …

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, …

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 …

Kathrin Eichler; Günter Neumann

In: Proceedings of the Fifth International Workshop on Semantic Evaluations. International Workshop on Semantic Evaluation (SemEval-2010), located at …

Lutz Schröder; Yde Venema

In: Paul Gastin; François Laroussinie (Hrsg.). Proceedings of the 21st International Conference on Concurrency Theory. International Conference on …

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 …

Lutz Schröder; Dirk Pattinson

In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International …

Lutz Schröder; Dirk Pattinson

In: Jean-Yves Marion; Thomas Schwentick (Hrsg.). Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science. …