2002

Research Reports

Kurt Lautenbach.
Logical Reasoning and Petri Nets.
Research Report 12-2002 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Margret Groß-Hardt.

Processing of Concept Based Queries for XML Data.
Research Report 11-2002 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Hanno Binder, Jérôme Diebold, Tobias Feldmann, Andreas Kern, David Polock, Dennis Reif, Stephan Schmidt, Frank Schmitt, Dieter Zöbel.
Fahrassistenzsystem zur Unterstützung beim Rückwärtsfahren mit einachsigen Gespannen.
Research Report 10-2002 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Jürgen Ebert, Bernt Kullbach, Franz Lehner.

4. Workshop Software Reengineering (Bad Honnef, 29./30. April 2002).
Research Report 9-2002 (Abstract, Report, BiBTeX Entry)

Richard C. Holt, Andreas Winter, Jingwei Wu.
Towards a Common Query Language for Reverse Engineering.
Research Report 8-2002 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Jürgen Ebert, Bernt Kullbach, Volker Riediger, Andreas Winter.
GUPRO -- Generic Understanding of Programs, An Overview.
Research Report 7-2002 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Margret Groß-Hardt.
Concept based querying of semistructured data.
Research Report 6-2002 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Anna Simon, Marianne Valerius.
User Requirements -- Lessons Learned from a Computer Science Course.
Research Report 5-2002 (Abstract, Report, BiBTeX Entry)

Frieder Stolzenburg, Oliver Obst, Jan Murray.
Qualitative Velocity and Ball Interception.
Research Report 4-2002 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Peter Baumgartner.

A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure.
Research Report 3-2002 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Peter Baumgartner, Ulrich Furbach.

Automated Deduction Techniques for the Management of Personalized Documents.
Research Report 2-2002 (Abstract, Report as [PDF | postscript], BiBTeX Entry)

Jürgen Ebert, Bernt Kullbach, Franz Lehner.
3. Workshop Software Reengineering (Bad Honnef, 10./11. Mai 2001).
Research Report 1-2002 (Abstract, Report, BiBTeX Entry)