TR-2008-116

A Language for the Cell

Authors: Troels C. Damgaard, Vincent Danos, and Jean Krivine

TR-2008-115

A Generic Language for Biological Systems based on Bigraphs
Authors: Troels C. Damgaard and Jean Krivine

TR-2008-112

Verifying design patterns in Hoare Type Theory
Authors: Kasper Svendsen, Alexandre Buisse, and Lars Birkedal

TR-2008-110

Type Systems for Bigraphs

Authors: Ebbe Elsborg, Thomas T. Hildebrandt, and Davide Sangiorgi

TR-2008-109

Preliminary Proceedings First International Workshop on Formal Methods for Wireless Systems (FMWS'08)
Editors: Jens Chr. Godskesen (IT University of Copenhagen), and
Massimo Merro (University of Verona)

TR-2008-108

Preliminary Proceedings of the 15^th International Workshop on Expressiveness in Concurrency (EXPRESS'08)
Editors: Daniele Gorla and Thomas Hildebrandt

TR-2008-107

Minimizing Lid Overstows in Master Stowage Plans for Container Vessels is NP-Complete
Authors: Mai Lise Ajspur, Rune Møller Jensen, and Nicolas Guilbert

TR-2008-106

On Encoding the Pi-calculus in Higher-Order Calculi
Authors: Mikkel Bundgaard , Jens Chr. Godskesen, and Thomas Hildebrandt

TR-2008-105 Customization and Upgrading of ERP Systems An Empirical Perspective Authors: Yvonne Dittrich and Sebastien Vaucouleur

TR-2008-104

Constraint Optimization for Highly Constrained Logistic Problems
Authors: M. K. Mochnacs, M. A. Tanaka, A. Nyborg, and R. M. Jensen

TR-2008-103

Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool
Authors: Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt, Espen Højsgaard, and Henning Niss

TR-2008-102

An Experiment on Creating Enterprise Specific BPM Languages and Tools
Author: Steen Brahe