Publications

Dieter Hutter; Raul Monroy

In: Luca Vigano; Pierpaolo Degano (Hrsg.). Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the …

Yohei Kurata; Hui Shi

In: Bärbel Mertsching; Marcus Hund; Muhammad Zaheer Aziz (Hrsg.). Proceedings of the 32nd Annual German Conference on Artifical Intelligence. German …

Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on …

Bernd Krieg-Brückner; Hui Shi; Bernd Gersdorf; Mathias Döhle; Thomas Röfer

In: Fulvio Mastrogiovanni; Nak-Young Chong (Hrsg.). Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives. …

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