Nummer | Autoren / Titel | erschienen |
TR_0601 | Erika Ábrahám, Andreas Gruener, Martin Steffen
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes | Februar 2006 |
TR_0602 | Yohannes Kassahun
Towards a Unified Approach to Learning and Adaptation | Februar 2006 |
TR_0603 | Xin Li, Marian Boldt, Reinhard von Hanxleden
A Concurrent Reactive Esterel Processor based on Multi-Threading | September 2006 |
TR_0604 | Harald Fecher, Michael Huth
Complete abstraction through extensions of disjunctive modal transition systems | März 2006 |
TR_0605 | Gunar Fiedler, Andreas Czerniak, Dirk Fleischer, Heye Rumohr und 2 and more ...
Content Warehouses | März 2006 |
TR_0606 | Di Zang, Gerald Sommer
A Novel Representation for Two-dimensional Image Structures | Juni 2006 |
TR_0607 | Detlef Kähler, Ralf Kuesters, Thomas Wilke
A Dolev-Yao-based Definition of Abuse-free Protocols | Mai 2006 |
TR_0609 | Max Tuengerthal
Implementing a Unification Algorithm for Protocol Analysis with XOR | September 2006 |
TR_0611 | Helena Fohlin, Lasse Kliemann, Anand Srivastav
Randomized Algorithms for Mixed Matching and Covering in Hypergraphs in 3D Seed Reconstruction in Brachytherapy | Juli 2006 |
TR_0612 | Erika Ábrahám, Andreas Gruener, Martin Steffen
Abstract Interface Behavior of Object-Oriented Languages with Monitors | Oktober 2006 |
TR_0613 | Klaus-Dieter Schewe, Bernhard Thalheim
Usage-Based Storyboarding for Web Information Systems | November 2006 |
TR_0614 | Wolfram Timm
Markovianity of Trabecular Networks | Dezember 2006 |
Statische URL | https://www.uni-kiel.de/journals/receive/jportal_jpvolume_00000560 |