TR-2006-95

λ-sub as an explicit substitution calculus
Author: Shane O'Conchúir 

TR-2006-94

Bigraphical Location Models
Author: Ebbe Elsborg

TR-2006-93

BDNF-Based Matching of Bigraphs
Authors: Arne John Glenstrup, Troels Cristoffer Damgaard, Lars Birkedal and Martin Elsman

TR-2006-92

Proceedings of the 2nd International REA Technology Workshop
Editors: Mette Jaquet, Anders Hessellund, Pavel Hruby, Jesper Kiehn, William E. McCarthy

TR-2006-91

A Spreadsheet Core Implementation in C#
Author: Peter Sestoft

TR-2006-90

Variational Deinterlacing
Authors: Sune Keller, Francois Lauze and Mads Nielsen

TR-2006-86

The 4P Taxonomy: A Survey of Software Development Environments
Author: Anders Hessellund

TR-2006-85

Business Process Execution with Bigraphs and Reactive XML

Authors: Thomas Hildebrandt, Henning Niss and Martin Olsen

TR-2006-84

Sortings for Reactive Systems
Authors: Lars Birkedal, Søren Debois and Thomas Hildebrandt

TR-2006-83

LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic
Authors: Lars Birkedal, Rasmus L. Petersen, Rasmus E. Møgelberg, C. Varming

TR-2006-82

Preliminary results of a persistent execution engine
Author: Kasper Østerbye

TR-2006-81

The Context-Dependent Mobile Communication Platform
Author: Thomas Bodin

TR-2006-80

Supply Chain Modeling with REA
Author: Anders Hessellund

TR-2006-79

The YUIO Language: Supporting Evaluation and Implementation of Virtual Windows
Author: Jacob W. Jespersen

TR-2006-78

Toward a Design-Oriented User Interface Specification That Runs
Author: Jacob W. Jespersen

TR-2006-77

User Interface Development by Proxy
Author: Jacob W. Jespersen

TR-2006-76

The C5 Generic Collection Library for C# and CLI
Authors: Niels Kokholm and Peter Sestoft