Kurt Jensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1980–2001
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CHI | 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 Hyer Mortensen, Stephanie Munck, Katrine Ravn, Anne V. Ratzer, Sren Christensen, Kurt Jensen |
| 2001 | TACAS | 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 Hyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Sren Christensen, Kurt Jensen |
| 1997 | TACAS | A Brief Introduction to Coloured Petri Nets. | Kurt Jensen |
| 1981 | MFCS | How to Find Invariants for Coloured Petri Nets. | Kurt Jensen |
| 1980 | MFCS | A Method to Compare the Descriptive Power of Different Types of Petri Nets. | Kurt Jensen |