1999

Research Reports

Jürgen Ebert, Luuk Groenewegen, Roger Süttenbach.
A Formalization of SOCCA.
Research Report 10-99 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Hassan Diab, Ulrich Furbach, Hassan Tabbara.
On the Use of Fuzzy Techniques in Cache Memory Managament.
Research Report 9-99 (Abstract, Report, BiBTeX Entry)

Jens Woch, Friedbert Widmann.
Implementation of a Schema-TAG-Parser.
Research Report 8-99 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Jürgen Ebert, Bernt Kullbach, Franz Lehner (Hrsg.).

Workshop Software-Reengineering (Bad Honnef, 27./28. Mai 1999).
Research Report 7-99 (Abstract, Report, BiBTeX Entry)

Peter Baumgartner, Michael Kühn.

Abductive Coreference by Model Construction.
Research Report 6-99 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Jürgen Ebert, Bernt Kullbach, Andreas Winter.
GraX -- An Interchange Format for Reengineering Tools.
Research Report 5-99 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Frieder Stolzenburg, Oliver Obst, Jan Murray, Björn Bremer.
Spatial Agents Implemented in a Logical Expressible Language.
Research Report 4-99 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Kurt Lautenbach, Carlo Simon.

Erweiterte Zeitstempelnetze zur Modellierung hybrider Systeme.
Research Report 3-99 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Frieder Stolzenburg.

Loop-Detection in Hyper-Tableaux by Powerful Model Generation.
Research Report 2-99 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Peter Baumgartner, J.D. Horton, Bruce Spencer.

Merge Path Improvements for Minimal Model Hyper Tableaux.
Research Report 1-99 (Abstract, Report as [PDF | postscript], BiBTeX Entry)