Technical Reports by Department of Computer Science

Publication

Author / Title

Date

0803

Michael Hanus
Call Pattern Analysis for Functional Logic Programs

June 2008

0804

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

June 2008

0807

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

July 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

October 2008

0811

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

October 2008

0812

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

October 2008