| 2007 |
|---|
| 5 | EE | Michael Westergaard,
Lars Michael Kristensen,
Gerth Stølting Brodal,
Lars Arge:
The ComBack Method - Extending Hash Compaction with Backtracking.
ICATPN 2007: 445-464 |
| 2006 |
|---|
| 4 | EE | Michael Westergaard,
Kristian Bisgaard Lassen:
The BRITNeY Suite Animation Tool.
ICATPN 2006: 431-440 |
| 2005 |
|---|
| 3 | EE | Lars Michael Kristensen,
Michael Westergaard,
Peder Christian Nørgaard:
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks.
IFM 2005: 266-286 |
| 2004 |
|---|
| 2 | EE | Thomas Mailund,
Michael Westergaard:
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.
TACAS 2004: 177-191 |
| 2003 |
|---|
| 1 | EE | Anne V. Ratzer,
Lisa Wells,
Henry Michael Lassen,
Mads Laursen,
Jacob Frank Qvortrup,
Martin Stig Stissing,
Michael Westergaard,
Søren Christensen,
Kurt Jensen:
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
ICATPN 2003: 450-462 |
