Nummer | Autoren / Titel | erschienen |
TR_0901 | Hauke Fuhrmann, Reinhard von Hanxleden
Enhancing Graphical Model-Based System Design - An Avionics Case Study | Januar 2009 |
TR_0902 | Florian Diedrich, Klaus Jansen
Tight Approximation Algorithms for Scheduling with Fixed Jobs and Non-Availability | Februar 2009 |
TR_0903 | Hannu Jaakkola, Bernhard Thalheim
A Formal Approach to High Quality Software Design and Development | Februar 2009 |
TR_0904 | Klaus Jansen, Lars Prädel, Ulrich M. Schwarz
A 2-approximation for 2D bin packing | März 2009 |
TR_0906 | Klaus Jansen, Hu Zhang
Scheduling Malleable Tasks with Precedence Constraints | März 2009 |
TR_0907 | Falk Starke, Claus Traulsen, Reinhard von Hanxleden
Executing Safe State Machines on a Reactive Processor | März 2009 |
TR_0908 | Klaus Jansen, Lars Prädel
How to Maximize the Total Area of Rectangles Packed into a Rectangle? | März 2009 |
TR_0909 | Klaus Jansen
Parameterized Approximation Scheme for the Multiple Knapsack Problem | März 2009 |
TR_0910 | Reinhard von Hanxleden
SyncCharts in C | Mai 2009 |
TR_0911 | Mihhail Aizatulin, Henning Schnoor, Thomas Wilke
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol | April 2009 |
TR_0912 | Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen
Tight WCRT Analysis for Synchronous C Programs | Mai 2009 |
TR_0913 | Hauke Fuhrmann, Reinhard von Hanxleden
On the Pragmatics of Model-Based Design | Juni 2009 |
TR_0914 | Miro Spönemann, Hauke Fuhrmann, Reinhard von Hanxleden
Automatic Layout of Data Flow Diagrams in KIELER and Ptolemy II | Juli 2009 |
TR_0915 | Bernd Brassel, Michael Hanus
Programmiersprachen und Rechenkonzepte - 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 4.-6. Mai 2009 | Juli 2009 |
TR_0916 | Klaus Jansen
A fast approximation scheme for the multiple knapsack problem | Juli 2009 |
TR_0917 | Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke
A Simulation-Based Treatment of Authenticated Message Exchange | August 2009 |
TR_0918 | Henning Schnoor
Probabilistic ATL with Incomplete Information | September 2009 |
TR_0919 | Johannes Rückelt, Volkmar Sauerland, Thomas Slawig, Anand Srivastav und 2 and more ...
Parameter Optimization and Validation of a Marine Biogeochemical Model using a Hybrid Algorithm | Oktober 2009 |
TR_0921 | André van Hoorn, Wilhelm Hasselbring, Jan Waller, Jens Ehlers und 2 and more ...
Continuous Monitoring of Software Services: Design and Application of the Kieker Framework | Dezember 2009 |
TR_0922 | Marco Antonio Chavarria Fabila
Monocular Pose Estimation Based on Global and Local Features | November 2009 |
TR_0923 | Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden
Semantics and Execution of Domain Specific Models | Dezember 2009 |
TR_0924 | Oliver Fleischmann
The Hilbert transform on the two-sphere: A spectral characterization | Dezember 2009 |
Statische URL | https://www.uni-kiel.de/journals/receive/jportal_jpvolume_00000556 |