Stephanie Munck

According to our database, Stephanie Munck authored at least 3 papers in 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.

Michel 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

CPN/tools: revisiting the desktop metaphor with post-WIMP interaction techniques.

Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Katrine Ravn, Anne V. Ratzer, Søren Christensen, Kurt Jensen

Proceedings of the CHI 2001 Extended Abstracts on Human Factors in Computing Systems, 2001

CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.

Michel 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

Proceedings of the Application and Theory of Petri Nets 2001, 2001