Publications

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 41 to 50 of 102.

Axel Schairer

A Technique for Reusing Proofs in Software Verification

Mastersthesis, FB 14 (Informatik) der Universität des Saarlandes und Institut A für Mechanik der Universität Stuttgart, Saarbrücken/Stuttgar, 3/1998.
Jürgen Lind

The EMS Model

DFKI, DFKI Technical Memos (TM), Vol. 98-09, 1998.
Michael Schillo; Petra Funk

Spontane Gruppenbildung in künstlichen Gesellschaften

DFKI, DFKI Technical Memos (TM), Vol. 98-08, 1998.
Markus Perling

The RAWAM: Relfun-Adapted WAM Emulation in C

DFKI, DFKI Technical Memos (TM), Vol. 98-07, 1998.
Jürgen Lind; Klaus Fischer

Transportation Scheduling and Simulation in a Railroad scenario: A Multi-Agent Approach

DFKI, DFKI Technical Memos (TM), Vol. 98-05, 1998.
Christian Gerber; Christian Ruß; Gero Vierke

An Empirical Evaluation on the Suitability of Market-Based Mechanisms for Telematics Applications

DFKI, DFKI Technical Memos (TM), Vol. 98-02, 1998.
Christian Gerber

Bottleneck Analysis as a Heuristic for Self-Adaption in Multi-Agent Societies

DFKI, DFKI Technical Memos (TM), Vol. 98-01, 1998.
Bernd Kiefer; Hans-Ulrich Krieger

A Bag of Useful Techniques for Efficient and Robust Parsing

DFKI, DFKI Research Reports (RR), Vol. 98-04, 12/1998.
Klaus Fischer; Christian Ruß; Gero Vierke

Decision Theory and Coordination in Multiagent Systems

DFKI, DFKI Research Reports (RR), Vol. 98-02, 1998.
Christoph Georg Jung; Klaus Fischer

Methodological Comparison of Agent Models

DFKI, DFKI Research Reports (RR), Vol. 98-01, 1998.