Kjeld Høyer Mortensen

Publication Activity (10 Years)

Years Active: 1994-2004
Publications (10 Years): 0

Publications

Kjeld Høyer Mortensen, Kari R. Schougaard, Ulrik Pagh Schultz
Distance-Based Access Modifiers Applied to Safety in Home Networks. EUSAI (2004)
Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen
Simulation Based Performance Analysis of Web Servers. PNPM (2001)
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
CPN/tools: revisiting the desktop metaphor with post-WIMP interaction techniques. CHI Extended Abstracts (2001)
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
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. TACAS (2001)
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
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. ICATPN (2001)
Kjeld Høyer Mortensen
Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. ICATPN (2000)
Søren Christensen, Kjeld Høyer Mortensen
Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. ICATPN (1997)
Jens Bæk Jørgensen, Kjeld Høyer Mortensen
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. Application and Theory of Petri Nets (1996)
Kjeld Høyer Mortensen, Valerio O. Pinci
Modelling the Work Flow of a Nuclear Waste Management Program. Application and Theory of Petri Nets (1994)