Publications

Till Mossakowski

In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. International Conference on Algebraic Methodology and Software Technology (AMAST-06), 11th, July 5-8, …

Till Mossakowski

In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His …

Maksym Bortin; Einar Broch Johnsen; Christoph Lüth

In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.

David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz

In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented …

Stefan Wölfl; Till Mossakowski (Hrsg.)

German Conference on Artificial Intelligence (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, …

Tim Laue; Thomas Röfer

In: Enrico Pagello; Changjiu Zhou; Emanuele Menegatti (Hrsg.). Proceedings of the Workshop on Humanoid Soccer Robots in conjunction with the 2006 IEEE …

Kai Hübner; J. Zhang

In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots …

Peter Poller

In: Aaron Quigley; K.P. Fishkin; B. Schiele; P. Nixon (Hrsg.). Pervasive 2006 Workshop Proceedings. International Conference on Pervasive Computing …

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

In: Proceedings of The 5th Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2006), …

Oliver Thomas; Michael Fellmann

In: J. Schelp; R. Winter; U. Frank; B. Rieger; K. Turowski (Hrsg.). Integration, Informationslogistik und Architektur. Data Warehousing (DW-2006), …