Technical Reports from 2003

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.

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)