Technische Berichte des Instituts für Informatik

Publikation

Autor / Titel

Datum

0803

Michael Hanus
Call Pattern Analysis for Functional Logic Programs

Juni 2008

0804

Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
Composing Personalised Services on top of Abstract State Services

Juni 2008

0807

Reinhard von Hanxleden, Michael Mendler, Claus Traulsen
WCRT Algebra and Scheduling Interfaces for Esterel-Style Synchronous Multithreading

Juli 2008

0802

Lennart Wietzke, Gerald Sommer
The 2D Analytic Signal

September 2008

0808

Klaus Jansen, Ralf Thöle
Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2

September 2008

0809

Henning Schnoor
Symbolic Verification of Computational Security for Branching-Time Properties

September 2008

0810

Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke
Computationally Secure Two-Round Authenticated Message Exchange

Oktober 2008

0811

Michael Hanus, Sebastian Fischer
25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef, 5.-7. Mai 2008

Oktober 2008

0812

Florian Diedrich, Klaus Jansen, Fanny Pascual, Denis Trystram
Approximation Algorithms for Scheduling with Reservations

Oktober 2008

0806

Lars Prädel
Reverse-Fit: Ein approximativer Algorithmus für das Strip-Packing-Problem

Dezember 2008

0814

Lasse Kliemann
The Price of Anarchy and Computation of Equilibria in Non-atomic Consumption-Relevance Congestion Games

Dezember 2008

0815

Lasse Kliemann
Experimental Studies of the Price of Anarchy in Non-atomic Consumption-Relevance Congestion Games

Dezember 2008