Nummer | Autoren / Titel | erschienen |
TR_0802 | Lennart Wietzke, Gerald Sommer
The 2D Analytic Signal | September 2008 |
TR_0803 | Michael Hanus
Call Pattern Analysis for Functional Logic Programs | Juni 2008 |
TR_0804 | Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
Composing Personalised Services on top of Abstract State Services | Juni 2008 |
TR_0805 | Stephen J. Hegner
Information-Based Distance Measures and the Canonical Reflection of View Updates | Oktober 2008 |
TR_0806 | Lars Prädel
Reverse-Fit: Ein approximativer Algorithmus für das Strip-Packing-Problem | Dezember 2008 |
TR_0807 | Reinhard von Hanxleden, Michael Mendler, Claus Traulsen
WCRT Algebra and Scheduling Interfaces for Esterel-Style Synchronous Multithreading | Juli 2008 |
TR_0808 | Klaus Jansen, Ralf Thöle
Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2 | September 2008 |
TR_0809 | Henning Schnoor
Symbolic Verification of Computational Security for Branching-Time Properties | September 2008 |
TR_0810 | Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke
Computationally Secure Two-Round Authenticated Message Exchange | Mai 2009 |
TR_0811 | Michael Hanus, Sebastian Fischer
Programmiersprachen und Rechenkonzepte : 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef, 5.-7. Mai 2008 | Oktober 2008 |
TR_0812 | Florian Diedrich, Klaus Jansen, Fanny Pascual, Denis Trystram
Approximation Algorithms for Scheduling with Reservations | Oktober 2008 |
TR_0814 | Lasse Kliemann
The Price of Anarchy and Computation of Equilibria in Non-atomic Consumption-Relevance Congestion Games | Dezember 2008 |
TR_0815 | Lasse Kliemann
Experimental Studies of the Price of Anarchy in Non-atomic Consumption-Relevance Congestion Games | Dezember 2008 |
Statische URL | https://www.uni-kiel.de/journals/receive/jportal_jpvolume_00000557 |