TR-2002-20

UNI - Et eksempel på anvendelse af teknikker til Struktureret Analyse og Design
Author: Jan Pries-Heje

TR-2002-19

On the Formal Semantics of VisualSTATE Statecharts
Authors: Andrzej Wasowski and Peter Sestoft

TR-2002-18

A Region-Based Abstract Machine for the ML Kit
Authors: Martin Elsman and Niels Hallenberg

TR-2002-17

IT-støtte til produktionsgrupper. Et debatoplæg.
Authors: Peter Carstensen, Hans Jørgen Lynggaard, Kjeld Schmidt, Alex Skandorff Vestergaard and Uffe Koch Wiil

TR-2002-16

A Calculus of Mobile Resources
Authors: Jens Chr. Godskesen, Thomas Hildebrandt, and Vladimiro Sassone

TR-2002-15

Simplifying Fixpoint Computations in Verification of Real-Time Systems
Author: Jesper B. Møller

TR-2002-14

An Implementation of the MR Calculus
Authors: Jens Christian Godskesen, Thomas Hildebrandt, and Søren Eduard Jacobsen

TR-2002-13

Efficient Entropy Coding for Image Compression
Author: Alexandre Krivoulets

TR-2002-12

DDDLIB: A Library For Solving Quantified Difference Inequalities
Author: Jesper Møller

TR-2002-11

Efficient Verification Of Timed Systems Using Backward Reachability Analysis
Author: Jesper Møller