 | 2009 |
|---|
| 9 |       | Michael Westergaard,
Sami Evangelista,
Lars Michael Kristensen:
ASAP: An Extensible Platform for State Space Analysis.
Petri Nets 2009: 303-312 |
| 8 | | Michael Westergaard,
Lars Michael Kristensen:
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator.
Petri Nets 2009: 313-322 |
| 7 | | Sami Evangelista,
Michael Westergaard,
Lars Michael Kristensen:
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.
T. Petri Nets and Other Models of Concurrency 3: 189-215 (2009) |
| 2008 |
|---|
| 6 | | Michael Westergaard:
A Game-theoretic Approach to Behavioural Visualisation.
Electr. Notes Theor. Comput. Sci. 208: 113-129 (2008) |
| 2007 |
|---|
| 5 | | 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 | | Michael Westergaard,
Kristian Bisgaard Lassen:
The BRITNeY Suite Animation Tool.
ICATPN 2006: 431-440 |
| 2005 |
|---|
| 3 | | 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 | | Thomas Mailund,
Michael Westergaard:
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.
TACAS 2004: 177-191 |
| 2003 |
|---|
| 1 | | 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 |
