Publications

Mihai Codescu

In: Andrea Corradini; Ugo Montanari (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner

In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), …

Bernd Krieg-Brückner; Hui Shi

In: Helge Ritter; Gerhard Sagerer; Jochen Steil (Hrsg.). Proceedings of Third International Workshop on Human Centered Robotic Systems. International …

Cui Jian; Hui Shi; Bernd Krieg-Brückner

In: Report of the AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems. AAAI Spring Symposium (AAAI SSS), March …

Bernd Krieg-Brückner; Bernd Gersdorf; Mathias Döhle; Kerstin Schill

In: Ambient Assisted Living, 2. Deutscher AAL-Kongress 2009. Deutscher AAL-Kongress (AAL), January 27-28, Berlin, Germany, VDE-Verlag, 2009.

Christian Husodo Schulz; Jan Alexandersson; Tilman Becker

In: Harry Bunt; Volha Pethukova; Sander Wubben (Hrsg.). IWCS-8 '09: Proceedings of the Eighth International Conference on Computational Semantics. …

Bart Cramer; Yi Zhang

In: Proceedings of the Workshop on Grammar Engineering Across Frameworks. Workshop on Grammar Engineering Across Frameworks (GEAF-2009), located at …

Bärbel Mertsching (Hrsg.)

German Conference on Artificial Intelligence (KI-09), September 15-18, Paderborn, Germany, Lecture Notes in Artificial Intelligence (LNAI), …

Dominik Dietrich; Ewaryst Schulz

In: Journal of Automated Reasoning (JAR), Vol. 43, No. 3, Pages 1-32, Springer, 2009.

Oliver Birbach; Udo Frese

In: Proceedings of the 7th International Conference on Computer Vision Systems. International Conference on Computer Vision Systems (ICVS-2009), …