Publikationen

Mark Hillebrand; Wolfgang Paul

In: Karen Yorav (Hrsg.). Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, …

Feiyu Xu

PhD-Thesis, Saarland University, 2007.

Anette Frank; Hans-Ulrich Krieger; Feiyu Xu; Hans Uszkoreit; Berthold Crysmann; Ulrich Schäfer

In: Journal of Applied Logic, Vol. 5, No. 1, Pages 20-48, 2007.

Feiyu Xu; Hans Uszkoreit; Hong Li

In: Proceedings of ACL 2007, 45th Annual Meeting of the Association for Computational Linguistics. Annual Conference of the North American Chapter of …

Hans Uszkoreit; Feiyu Xu; Weiquan Liu

In: Proceedings of HCI International 2007, 12th International Conference on Human-Computer Interaction. Human Computer Interaction International …

Hans Uszkoreit; Feiyu Xu; Weiquan Liu; Jörg Steffen; Ilhan Aslan; Jin Liu; Christel Müller; Bernhard Holtkamp; Manfred Wojciechowski

In: Proceedings of HCI International 2007, 12th International Conference on Human-Computer Interaction. Human Computer Interaction International …

Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller

In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

Roy McCasland; Alan Bundy; Serge Autexier

In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 135-150, Studies in Logic, Grammar and …

Jörg Siekmann; Serge Autexier

In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and …

Matthias Deller; Achim Ebert; Michael Bender; Stefan Agne; Henning Barthel

In: HCM '07: Proceedings of the international workshop on Human-centered multimedia. International Workshop on Human-centered Multimedia (HCM), Pages …