Kjeld Høyer Mortensen
According to our database1,
Kjeld Høyer Mortensen
authored at least 9 papers
between 1994 and 2004.
Collaborative distances:
Collaborative distances:
Timeline
1994
1996
1998
2000
2002
2004
0
1
2
3
4
5
1
4
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
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.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
Proceedings of the CHI 2001 Extended Abstracts on Human Factors in Computing Systems, 2001
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.
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.
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.
Proceedings of the Application and Theory of Petri Nets 1996, 1996
1994
Proceedings of the Application and Theory of Petri Nets 1994, 1994