Auf dieser Seite finden Sie eine Liste aller technischen Berichte des Jahres 2003. Indem Sie den Links folgen, können Sie entweder einen Abstract oder die Postscript-Version des entsprechenden Berichtes aufrufen.

Die Berichte bis Dezember 1994 sind in gedruckter Form vorhanden. Falls Sie Kopien wünschen, dann schreiben Sie bitte an:

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

Der Großteil der Berichte ist als Postscript-Version auf dem ftp-Server des 'Instituts für Informatik' abgelegt. Die Adresse lautet: ftp.informatik.uni-freiburg.de/documents/reports.

Bei Fragen und Problemen schreiben Sie bitte eine Mail an r_ncstrl@informatik.uni-freiburg.de !

Bericht Nr.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)

Bericht Nr.192, August 2003 (PostScript)

Thomas Eschbach, Wolfgang Günther, Bernd Becker:

Orthogonal Hypergraph Routing for Improved Visibility

Keywords: Othorgonal, Hypergraph, Visualisation, Visibility Routing

(Abstract)

Bericht Nr.191, Dezember 2003 (PostScript)

Jan-Georg Smaus:

Termination of Logic Programs for Various Dynamic Selection Rules

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

(Abstract)

Bericht Nr.190, August 2003 (PostScript)

Michael Brenner:

Multiagent Planning with Partially Ordered Temporal Plans

Keywords: Multiagent Systems, Planning

(Abstract)

Bericht Nr.189, Juli 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)

Bericht Nr.188, Juli 2003 (PostScript)

Marc Herbstritt:

zChaff: Modifications and Extensions

Keywords: Satisfiability, Davis-Putnam, Conflict Analysis

(Abstract)

Bericht Nr.187, Juli 2003 (PostScript)

David: Wolff Basin:

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

Keywords: Theorem Proving, Semantics, Verification

(Abstract)

Bericht Nr.186, Juli 2003 (PostScript)

Felix Klaedtke:

On the Automata Size for Presburger Arithmetic

Keywords: Presburger Arithmetic, Automata, Complexity

(Abstract)

Bericht Nr.185, März 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)

Bericht Nr.184, Februar 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)

Bericht Nr.183, Januar 2003 (PostScript)

Ronen I. Brafman, Joerg Hoffmann:

Conformant Planning via Heuristic Forward Search

Keywords: planning, uncertainty

(Abstract)