Katrine Ravn

According to our database1, Katrine Ravn authored at least 3 papers in 2001.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

CPN/tools: revisiting the desktop metaphor with post-WIMP interaction techniques.
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.
Proceedings of the Application and Theory of Petri Nets 2001, 2001


  Loading...