Publikationen

Axel Schairer; Dieter Hutter

In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic …

Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer

In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic …

Serge Autexier; Dieter Hutter

In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for …

Klaus Fischer; Dieter Hutter

DFKI, Workshop-proceedings, First International Joint Conference on Autonomous Agents and Multi-Agent Systems, also DFKI-Reseach Report RR-02-03, DFKI …

Serge Autexier; Dieter Hutter

In: Springer-Verlag, 2002.

Dieter Hutter; David Basin; Christoph Lüth; Peter Lindsay

Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report, Copenhagen, Denmark, 2002.

Bernd Reuther; Achim Ebert; Paul Müller; Hans Hagen

In: IEEE Visualization 2002. IEEE Visualization Conference (IEEE Vis), Boston, MA, USA, IEEE, 2002.

Andreas Divivier; Achim Ebert; Michael Bender; Hans Hagen

In: IEEE Visualization 2002. IEEE Visualization Conference (IEEE Vis), Boston, MA, USA, 2002.

Andreas Divivier; Achim Ebert; Henning Barthel; Hans Hagen; Michael Bender

In: Proceedings IASTED International Conference on Visualization, Imaging and Image Processing. IASTED International Conference on Visualization …

Achim Ebert; Ingo Ginkel; Henning Barthel; Andreas Divivier; Michael Bender

In: J. J. Villanueva (Hrsg.). Proceedings of the IASTED International Conference on Visualization, Imaging and Image Processing. IASTED International …