TR-2005-75

Scalable Computation of Acyclic Joins
Authors: Anna Pagh and Rasmus Pagh

TR-2005-74
Bigraphical Models of Context-aware Systems

Authors:Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas Hildebrandt, Henning Niss

TR-2005-72

Pre-Symmetry Set Based Shape Matching
Author: Arjan Kuijper

TR-2005-71

Axiomatizing Binding Bigraphs (revised)
Authors: Troels C. Damgaard and Lars Birkedal

TR-2005-70

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names
Author: Mikkel Bundgaard and Thomas Hildebrandt

TR-2005-69
BI Hyperdoctrines, Higher-Order Separation Logic, and Abstraction
Author: Bodil Biering, Lars Birkedal and Noah Torp-Smith

TR-2005-68

Interactive Reconfiguration in Power Supply Restoration
Author: Tarik Hadzic and Henrik Reif Andersen

TR-2005-67

Interactive Configuration Based on Linear Programming
Author: Tarik Hadzic and Henrik Reif Andersen

TR-2005-66
Asymmetric k-Center with Minimum Coverage

Author: Inge Li Gørtz

TR-2005-65

Matching 2D Shapes Using Their Symmetry Sets
Author: Arjan Kuijper

TR-2005-64
Semi-Automatic Foreground Extraction For Natural Images

Andreas Rishede Hyllested and Martin Wallengren Nilsson

TR-2005-63
Axiomatizing Binding Bigraphs

Authors: Troels C. Damgaard and Lars Birkedal
Author's note: This report is superseded by TR-2005-71

TR-2005-62

Distributed Reactive XML: an XML-centric coordination middleware
Thomas Hildebrandt, Henning Niss, Martin Olsen and Jacob W. Winther

TR-2005-61

Bigraphs by Example
Authors: Søren Debois and Troels Christoffer Damgaard

TR-2005-60

Parametric Completion for Models of Polymorphic Linear / Intuitionistic Lambda Calculus
Author: Rasmus Ejlers Møgelberg

TR-2005-59

Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

Authors: Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

TR-2005-58
Categorical Models of PILL

Authors: Rasmus Ejlers Møgelberg, Lars Birkedal and Rasmus Lerchedahl Petersen

TR-2005-57
Parametric Domain-theoretic models of Linear Abadi & Plotkin Logic

Authors: Rasmus Ejlers Møgelberg, Lars Birkedal and Rasmus Lerchedahl Petersen

TR-2005-56
Bigraphs and (Reactive) XML - an XML-centric model of computation

Author: Thomas Hildebrandt and Jacob W. Winther

TR-2005-55

Probabilistic models for concurrency - Notes for a minicourse

Author: Daniele Varacca

TR-2005-54

The Tree Inclusion Problem: In Optimal Space and Faster
Author: Philip Bille and Inge Li Gørtz