Publications

Michael Kruppa

In: Liliana Ardissono; Paul Brna; Antonija Mitrovic (Hrsg.). Proceedings of the User Modeling Conference 2005, Doctoral Consortium. International …

Ralf Jung; Andreas Butz

In: Proceedings of the workshop on Auditory Displays for Mobile Context-Aware Systems. Workshop on Auditory Displays for Mobile Context-Aware …

Michael Kruppa

University of Sydney, Computer Science Department, University of Sydney, Computer Science Department, Vol. TR-563, 1/2005.

Dennis Walter; Lutz Schröder; Till Mossakowski

In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

Ivana Kruijff-Korbayová; Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Michael Kaisser; Peter Poller; Jan Schehl; Verena Rieser

In: Claire Gardent; Bertrand Gaiffe (Hrsg.). Proceedings of DIALOR'05. Workshop Series on the Semantics and Pragmatics of Dialogue (SEMDIAL-05), 9th, …

Sven Jacobi; Cristián Madrigal Mora; Esteban León Soto; Klaus Fischer

In: AAMAS Industrial Applications. International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2005), July 25-29, Utrecht, …

David Aspinall; Christoph Lüth; Burkhart Wolff

In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical …

Christian Müller

PhD-Thesis, Computer Science Institute, University of the Saarland, Germany, 2005.

Anthony Jameson; Barbara Großmann-Hutter; Christian Müller; Frank Wittig; Jürgen Kiefer; Ralf Rummer

In: Proceedings of the Second International Workshop on Modeling and Retrieval of Context. International Workshop on Modeling and Retrieval of Context …

Jürgen Wiese; Armin Stahl

In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …