Publications

Dirk Pattinson; Lutz Schröder

In: Martin Giese; Arild Waaler (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods. International Conference on Automated …

Daniel Sonntag

In: Proceedings of the Twenty-first International Joint Conferences on Artificial Intelligence (IJCAI). International Joint Conference on Artificial …

Daniel Sonntag; Matthieu Deru; Simon Bergweiler

In: Proceedings of the International Conference on Artificial Intelligence (ICAI). International Conference on Artificial Intelligence (ICAI-09), July …

Rob Myers; Dirk Pattinson; Lutz Schröder

In: Luca de Alfaro (Hrsg.). Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science …

Christian Jansohn; Adrian Ulges; Thomas Breuel

In: Proceedings of the International Conference on Multimedia. ACM International Conference on Multimedia (ACM MM-09), October 19-23, Bejing, China, …

M. Duan; Adrian Ulges; Thomas Breuel; X.-Q. Wu

In: Proceedings of the International Conference on Image and Video Retrieval. ACM International Conference on Image and Video Retrieval (CIVR-09), …

Andrea Kohlhase; Michael Kohlhase

In: Proceedings of the 27th annual ACM International Conference on Design of communication. ACM International Conference on Design of Communication …

Andrea Kohlhase; Michael Kohlhase

In: Proceedings of the 27th annual ACM International Conference on Design of Communication. ACM International Conference on Design of Communication …

Michael Fellmann; Oliver Thomas

In: Proceedings der 9. Internationalen Tagung Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik (WI), February 25-27, Wien, Austria, …

Geert van Grootel; Peter Spyns; Stijn Christiaens; Brigitte Jörg; Herrero P.; R. Meersmann; et. al. (Hrsg.)

OnTheMove Federated Conferences & Workshops (OTM-09), OnTheMove to Meaningful Internet Systems and Ubiquitous Computing, November 1-6, Algarve, …