Publikationen

Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe

In: James H. Davenport; William M. Farmer; Josef Urban; Florian Rabe (Hrsg.). Intelligent Computer Mathematics. Conference on Intelligent Computer …

Till Mossakowski; Mihai Codescu; Oliver Kutz

In: Michael Schenk; Hartmut Zadek; Gerhard Müller; Klaus Richter; Holger Seidel (Hrsg.). 16. Magdeburger Logistiktage "Sichere und nachhaltige …

Mihai Codescu; Till Mossakowski

In: Andrea Corradini; Bartek Klin (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

Mihai Codescu; Gregor Horsinka; Oliver Kutz; Till Mossakowski; Rafaela Rau

In: C. Claramunt; S. Levashkin; M. Bertolotto (Hrsg.). Fourth International Conference on GeoSpatial Semantics. International Conference on GeoSpatial …

Barbora Micenkova; Joost van Beusekom

In: Proceedings of the International Conference on Document Analysis and Recognition. International Conference on Document Analysis and Recognition …

Takumi Toyama

In: DAGM'11 Proceedings of the 33rd International Conference on Pattern Recognition. Annual Symposium of the German Association for Pattern …

Hendrik Zender

Saarbrücken Dissertations in Computational Linguistics and Language Technology, Vol. 36, ISBN 978-3-933218-35-3, German Research Center for Artificial …

Gorka Epelde; Eduardo Carrasco; Gottfried Zimmermann; Jan Alexandersson; Robert Neßelrath; Markus Dubielzig

In: Universal Access in the Information Society, Vol. 10, Pages 1-15, Springer, Berlin / Heidelberg, 2011.

Jakob Schwendner; Sylvain Joyeux

In: Proceedings of 2011 IEEE International Conference on Robotics and Biomimetics. IEEE International Conference on Robotics and Biomimetics …

Michael Feld

PhD-Thesis, Computer Science Institute, Saarland University, 12/2011.