Here follows a list of all Technical Reports from 2003. By following the respective links, you can have a look at a report´s abstract or the postscript version. Generally, the abstracts are written in English, since most of the reports are in this language.

Only the reports from December 1994 and earlier are available in paperbound form. To order copies, please write to

Ms. Susanne Hauser
Institut für Informatik
Universität Freiburg
Georges-Köhler-Allee 101
D-79110 Freiburg
Germany

Alternatively, you can also access our institute's ftp server to get the postscript version of a report in case it is stored there. The location is ftp.informatik.uni-freiburg.de/documents/reports.

Should you run into problems concerning the electronic retrieval of the reports, or in case of any questions please write to (r_ncstrl@informatik.uni-freiburg.de)!

Report No.193, September 2003 (PostScript)

Tilman Mehler, Peter Leven:

Introduction to StEAM - An Assembly-Level Software Model Checker

Keywords: Software Model Checking, C++, Virtual Machine

(Abstract)

Report No.192, August 2003 (PostScript)

Thomas Eschbach, Wolfgang Günther, Bernd Becker:

Orthogonal Hypergraph Routing for Improved Visibility

Keywords: Othorgonal, Hypergraph, Visualisation, Visibility Routing

(Abstract)

Report No.191, December 2003 (PostScript)

Jan-Georg Smaus:

Termination of Logic Programs for Various Dynamic Selection Rules

Keywords: logic programming, termination, dynamic scheduling, input-consuming derivations

(Abstract)

Report No.190, August 2003 (PostScript)

Michael Brenner:

Multiagent Planning with Partially Ordered Temporal Plans

Keywords: Multiagent Systems, Planning

(Abstract)

Report No.189, July 2003 (PostScript)

David: Lüth Aspinall:

Proceedings of the International Workshop on User Interfaces for Theorem Provers UITP 03

Keywords: Human Computer Interaction, Theorem Proving, Verification

(Abstract)

Report No.188, July 2003 (PostScript)

Marc Herbstritt:

zChaff: Modifications and Extensions

Keywords: Satisfiability, Davis-Putnam, Conflict Analysis

(Abstract)

Report No.187, July 2003 (PostScript)

David: Wolff Basin:

Theorem Proving in Higher Order Logics 2003 --- Proceedings of the Emerging Trends Track

Keywords: Theorem Proving, Semantics, Verification

(Abstract)

Report No.186, July 2003 (PostScript)

Felix Klaedtke:

On the Automata Size for Presburger Arithmetic

Keywords: Presburger Arithmetic, Automata, Complexity

(Abstract)

Report No.185, March 2003 (PostScript)

Joerg Hoffmann:

Where Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks

Keywords: planning, planning as heuristic search, problem structure, planning benchmarks

(Abstract)

Report No.184, February 2003 (PostScript)

Alberto Lluch Lafuente:

First Attempts to Combine Symmetry Reduction and Heuristic Search for Error Detection

Keywords: Model Checking, Error Detection, Symmetry Reduction, Heuristic Search

(Abstract)

Report No.183, January 2003 (PostScript)

Ronen I. Brafman, Joerg Hoffmann:

Conformant Planning via Heuristic Forward Search

Keywords: planning, uncertainty

(Abstract)