dblp.uni-trier.dewww.uni-trier.de

Henry Michael Lassen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
4EEAnne 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
2001
3EEMichel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen: CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. ICATPN 2001: 71-80
2EEMichel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen: CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. TACAS 2001: 574-577
2000
1EEMichel Beaudouin-Lafon, Henry Michael Lassen: The architecture and implementation of CPN2000, a post-WIMP graphical application. UIST 2000: 181-190

Coauthor Index

1Peter Andersen [2] [3]
2Michel Beaudouin-Lafon [1] [2] [3]
3Søren Christensen [2] [3] [4]
4Paul Janecek [2] [3]
5Kurt Jensen [2] [3] [4]
6Mads Jensen [2] [3]
7Mads Laursen [4]
8Kasper Lund [2] [3]
9Wendy E. Mackay [2] [3]
10Kjeld Høyer Mortensen [2] [3]
11Stephanie Munck [2] [3]
12Jacob Frank Qvortrup [4]
13Anne V. Ratzer [2] [3] [4]
14Katrine Ravn [2] [3]
15Martin Stig Stissing [4]
16Lisa Wells [4]
17Michael Westergaard [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)