Kjeld Høyer Mortensen

According to our database, Kjeld Høyer Mortensen authored at least 9 papers between 1994 and 2004.

Collaborative distances:

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

2004

Distance-Based Access Modifiers Applied to Safety in Home Networks.

Kjeld Høyer Mortensen, Kari R. Schougaard, Ulrik Pagh Schultz

Proceedings of the Ambient Intelligence: Second European Symposium, 2004

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

Simulation Based Performance Analysis of Web Servers.

Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 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

2000

Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System.

Kjeld Høyer Mortensen

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

1997

Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course.

Søren Christensen, Kjeld Høyer Mortensen

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

1996

Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets.

Jens Bæk Jørgensen, Kjeld Høyer Mortensen

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

1994

Modelling the Work Flow of a Nuclear Waste Management Program.

Kjeld Høyer Mortensen, Valerio O. Pinci

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