2006

Berichte

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

Helena Fohlin, Lasse Kliemann, Anand Srivastav

Randomized Algorithms for Mixed Matching and Covering in Hypergraphs in 3D Seed Reconstruction in Brachytherapy

Juli 2006

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