TR-2003-41

Substitution and Flip BDDs
Authors: Rune Møller Jensen and Henrik Reif Andersen

TR-2003-40

DES Controller Synthesis and Fault Tolerant Control: A Survey of Recent Advances
Author: Rune Møller Jensen

TR-2003-39

An Infrastructure for Context Dependent Mobile Communication
Authors: John Aasted Sørensen, Kåre Jelling Kristoffersen, Anders Cervera, Martin Schiøtz, Thomas Lynge, Zoltan Safar, Lars Birkedal

TR-2003-37

Event-Based Runtime Checking of Timed LTL
Author: Kåre Jelling Kristoffersen

TR-2003-36

Computing Symmetry Sets from 2D Shapes
Author: Arjan Kuijper

TR-2003-35

Ordered Tree Edit Distance with Merge and Split Operations
Author: Philip Bille

TR-2003-33

Generalized static orthogonal range searching in less space
Author: Christian Worm Mortensen

TR-2003-32

On Redundancy of Rice Coding
Author: Alexandre Krivoulets

TR-2003-30

Correctness of a Garbage Collector via Local Reasoning
Author: Lars Birkedal, Noah Torp-Smith, and John C. Reynolds

TR-2003-29

The Scale Structure of the Gradient Magnitude
Author: Ole Fogh Olsen

TR-2003-27

A distributed, value-oriented XML store
Authors: Tine Thorn, Anders Baumann, Mikkel Fennestad and Peter Sestoft

TR-2003-26

Sociografiske iagttagelser af nyhedsgrupper
Author: Jesper Tække

TR-2003-25

Worst-Case Union-Find with Fast Deletions
Author: Stephen Alstrup, Inge Li Gørtz, Theis Rauhe, and Mikkel Thorup

TR-2003-24

Asymmetry in k-Center Variants
Author: Inge Li Gørtz, and Anthony Wirth

TR-2003-23

Tree Edit Distance, Alignment Distance and Inclusion
Author: Philip Bille

TR-2003-22

Fully-dynamic orthogonal range reporting on RAM
Author: Christian Worm Mortensen