Auf dieser Seite finden Sie eine Liste aller technischen Berichte des Jahres 2001. 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.165, November 2001 (PostScript)

Joerg Hoffmann:

Local Search Topology in Planning Benchmarks: A Theoretical Analysis

Keywords: heuristic search planning, domain analysis, domain independent planning

(Abstract)

Bericht Nr.164, Dezember 2001 (PostScript)

R. Drechsler, W. G\ünther, T. Eschbach, L. Linhard, G. Angst:

Recursive Bi-Partitioning of Netlists for Large Number of Partitions

Keywords: k-way, Partitioning, Bi-Partitioning

(Abstract)

Bericht Nr.162, Oktober 2001 (PostScript)

Alberto Lluch-Lafuente, Leue Edelkamp, Stefan Leue:

Partial Order Reduction in Directed Model Checking

Keywords: Model Checking, Directed Search, Partial Order Reduction

(Abstract)

Bericht Nr.161, Oktober 2001 (PostScript)

Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente:

Directed Explicit-State Model Checking in the Validation of Communication Protocols

Keywords: Model Checking, Directed Search, Protocol Validation

(Abstract)

Bericht Nr.160, September 2001 (PostScript)

Stefan Edelkamp:

First Solutions to PDDL+ Planning Problems

Keywords: Planning with Time and Resources, Heuristic Search, Pattern Databases, Model Checking

(Abstract)

Bericht Nr.159, August 2001 (PostScript)

Heiko Mantel, Axel Schairer, Matthias Kabatnik, Michael Kreutzer, Alf Zugenmaier:

Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks

Keywords: Security, Access Control, Information Flow Control, Mobile Devices, Pervasive Computing

(Abstract)

Bericht Nr.158, August 2001 (PostScript)

Christoph: Wolff L\üth:

sml_tk: Functional Programming for GUIs --- Reference Manual

Keywords: Functional Programming, SML, Graphical User Interfaces, Tcl/Tk

(Abstract)

Bericht Nr.157, November 2001 (PostScript)

Achim D. Brucker, Burkhart Wolff:

Checking OCL Constraints in Distributed Systems Using J2EE/EJB

Keywords: OCL, Constraint checking, EJB, J2EE, Design by Contract, Design Pattern, Distributed Systems

(Abstract)

Bericht Nr.156, Juli 2001 (PostScript)

Stephan Trahasch:

Funktionen einer Uebungskomponente fuer netzgestuetzte Kurse

Keywords: Lehr-/Lernplattform, Uebungsbetrieb, Virtuelle Hochschule

(Abstract)

Bericht Nr.155, Juli 2001 (PostScript)

Michael Brenner:

A Formal Model of Planning for Concurrency

Keywords: multi-agent planning, temporal planning, complex domain models, concurrency

(Abstract)

Bericht Nr.154, Juni 2001 (PostScript)

David Basin, Frank Rittinger, Luca Viganò:

A Formal Analysis of the CORBA Security Service

Keywords: CORBA Security,Formal Methods,Specification,Z

(Abstract)

Bericht Nr.153, Mai 2001 (PostScript)

Joerg Hoffmann, Bernhard Nebel:

RIFO Revisited: Detecting Relaxed Irrelevance

Keywords: planning

(Abstract)

Bericht Nr.151, April 2001 (PostScript)

Kristian Kersting, Luc De Raedt:

Bayesian Logic Programs

Keywords: Uncertainty, first-order probabilistic representations, knowledge-based model construction, Bayesian networks, definite clause logic, pure Prolog, temporal models

(Abstract)

Bericht Nr.150, April 2001 (PostScript)

Stefan Edelkamp:

Prediction of Regular Search Tree Growth by Spectral Analysis

Keywords: Heuristic Search, Computational Complexity

(Abstract)

Bericht Nr.149, Februar 2001 (PostScript)

WOlfgang May:

XPath-Logic and XPathLog: A Logic-Based Approach for Declarative XML Data Manipulation

Keywords: Semistructured Data, XML, Database Language

(Abstract)

Bericht Nr.148, Februar 2001 (PostScript)

Cristiano Calcagno, Simon Helsen, Peter Thiemann:

Syntactic Type Soundness Results for the Region Calculus

Keywords: Operational Semantics, Regions

(Abstract)

Bericht Nr.147, Januar 2001 (PostScript)

Pedro Jose Marron, Georg Lausen:

HLCaches: An LDAP-based Distributed Cache Technology for XML

Keywords: Semistructured Databases, XML, XPath, LDAP, Query Processing, Distributed Caching

(Abstract)

Bericht Nr.146, Januar 2001 (PostScript)

Georg Struth:

Church-Rosser Proofs in Kleene Algebra and Allegories

Keywords: Kleene algebra, Allegory, Rewriting, Church-Rosser theorem, Newman's lemma, Formal Methods

(Abstract)