2001

Research Reports

Annette Pook.
Schlussbericht "FUN - Funkunterrichtsnetzwerk''.
Research Report 13-2001 (Abstract, Report, BiBTeX Entry)

Toshiaki Arai, Frieder Stolzenburg.
Multiagent Systems Specification by UML Statecharts Aiming at Intelligent Manufacturing.
Research Report 12-2001 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Kurt Lautenbach.
Reproducibility of the Empty Marking.
Research Report 11-2001 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Jan Murray.
Specifying Agents with UML in Robotic Soccer.
Research Report 10-2001 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Andreas Winter.

Exchanging Graphs with GXL.
Research Report 9-2001 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Marianne Valerius, Anna Simon.

Slicing Book Technology --- eine neue Technik für eine neue Lehre?.
Research Report 8-2001 (Abstract, Report, BiBTeX Entry)

Bernt Kullbach, Volker Riediger.

Folding: An Approach to Enable Program Understanding of Preprocessed Languages.
Research Report 7-2001 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Frieder Stolzenburg.

From the Specification of Multiagent Systems by Statecharts to their Formal Analysis by Model Checking.
Research Report 6-2001 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Oliver Obst.

Specifying Rational Agents with Statecharts and Utility Functions.
Research Report 5-2001 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Torsten Gipp, Jürgen Ebert.

Conceptual Modelling and Web Site Generation using Graph Technology.
Research Report 4-2001 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Carlos I. Chesñevar, Jürgen Dix, Frieder Stolzenburg, Guillermo R. Simari.
Relating Defeasible and Normal Logic Programming through Transformation Properties.
Research Report 3-2001 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Carola Lange, Harry M. Sneed, Andreas Winter.

Applying GUPRO to GEOS -- A Case Study.
Research Report 2-2001 (Abstract, Report, BiBTeX Entry)

Pascal von Hutten, Stephan Philippi.
Modelling a concurrent ray-tracing algorithm using object-oriented Petri-Nets.
Research Report 1-2001 (Abstract, Report as [PDF | postscript], BiBTeX Entry)