TR-2004-53

Simplifying Structures by Selectively Specifying Suited Scale Space Saddles
Author: Arjan Kuijper

TR-2004-52

Bisimulation Congruences for Homer - a Calculus of Higher Order Mobile Embedded Resources
Authors: Thomas Hildebrandt, Jens Chr. Godskesen, and Mikkel Bundgaard

TR-2004-51
Tree Edit Distances from Singularity Theory

Author: Ole Fogh Olsen

TR-2004-49

An introduction to solving interactive configuration problems
Authors:Tarik Hadzic and Henrik Reif Andersen

TR-2004-48

Computing Symmetry Sets from 3D Shapes
Author: Arjan Kuijper

TR-2004-47

On Data Structures from Symmetry Sets of 2D Shapes
Author: Arjan Kuijper

TR-2004-46

CLab 1.0 User Manual
Author: Rune Møller Jensen

TR-2004-45

Saying it all in 160 Characters: Four classes of SMS conversations
Authors: Louise Barkhuus and Anna Vallgårda

TR-2004-44

On the Definition of Parametricity
Authors: L. Birkedal and R. Mogelberg

TR-2004-43

Type-Specialized Serialization with Sharing

Author: Martin Elsman

 

TR-2004-42

Succinctness of Hierarchical State Diagrams in Absence of Message Passing

Author: Andrzej Wasowski