Publikationen

Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel

In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 146-197, 2006.

Till Mossakowski; Lutz Schröder; Stefan Wölfl

In: Stefan Wölfl; Till Mossakowski (Hrsg.). Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006. Qualitative Constraint …

Ralf Jung; Dominikus Heckmann

In: Workshop on Ubiquitous User Modeling. Workshop on Ubiquitous User Modeling (UbiqUM-06), Ubiquitous User Modeling, located at ECAI 2006, August 28, …

Till Mossakowski

Department of Computer Science; Universität Bremen, o.A. 2006.

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

Matthias Deller; Achim Ebert; Michael Bender; Hans Hagen

In: IV. International Conference on Information Visualisation (IV), Pages 563-568, 2006.