Kurt Jensen - RankMe

52 papers A 3B 2Journal 15Unranked 19

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Accurate Prediction of Knee Angles during Open-Chain Rehabilitation Exercises Using a Wearable Array of Nanocomposite Stretch Sensors. Sensors David S. Wood, Kurt Jensen, Allison Crane, Hyunwook Lee, Hayden Dennis, Joshua Gladwell, Anne Shurtz, David T. Fullwood, Matthew K. Seeley, Ulrike H. Mitchell, William F. Christensen, Anton E. Bowden
2019	—	`ch.`	Carl Adam Petri: A Tribute from Aarhus. Carl Adam Petri: Ideas, Personality, Impact Kurt Jensen, Mogens Nielsen
2015	J	`jnl`	Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM Kurt Jensen, Lars Michael Kristensen
2013	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency VII Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
2012	J	`jnl`	The sweep-line state space exploration method. Theor. Comput. Sci. Kurt Jensen, Lars Michael Kristensen, Thomas Mailund
2012	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency V Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Susanna Donatelli, Jetty Kleijn
2012	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency VI Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen
2010	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency IV Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Susanna Donatelli, Maciej Koutny
2009	—	`book`	Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Kurt Jensen, Lars Michael Kristensen
2009	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Wil M. P. van der Aalst
2009	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency III Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Jonathan Billington, Maciej Koutny
2008	J	`jnl`	Special section on Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. Kurt Jensen
2008	J	`jnl`	Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. Trans. Petri Nets Other Model. Concurr. Lars Michael Kristensen, Kurt Jensen
2008	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency I Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington
2007	J	`jnl`	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. Kurt Jensen, Lars Michael Kristensen, Lisa Wells
2007	J	`jnl`	Special section on coloured Petri nets. Int. J. Softw. Tools Technol. Transf. Kurt Jensen
2006	J	`jnl`	Tools and algorithms for the construction and analysis of systems. Int. J. Softw. Tools Technol. Transf. Kurt Jensen, Andreas Podelski
2005	J	`jnl`	Special issue. Theor. Comput. Sci. Kurt Jensen, Andreas Podelski
2004	—	`conf`	Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. SoftSpez Final Report Lars Michael Kristensen, Kurt Jensen
2004	A	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings TACAS Kurt Jensen, Andreas Podelski
2003	—	`conf`	Application of Coloured Petri Nets in System Development. Lectures on Concurrency and Petri Nets Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
2003	—	`conf`	CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ICATPN Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen
2003	—	`conf`	Coloured Petri Nets: Status and Outlook. ICATPN Kurt Jensen
2001	—	`conf`	CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. ICATPN 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
2001	A	`conf`	CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. 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
2001	—	`conf`	CPN/tools: revisiting the desktop metaphor with post-WIMP interaction techniques. CHI Extended Abstracts 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
2001	J	`jnl`	Special Section on the Practical Use of High-Level Petri Nets: Preface by the section editor. Int. J. Softw. Tools Technol. Transf. Kurt Jensen
1998	J	`jnl`	Coloured Petri Nets - Preface by the Section Editor. Int. J. Softw. Tools Technol. Transf. Kurt Jensen
1998	J	`jnl`	The Practitioner's Guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. Lars Michael Kristensen, Søren Christensen, Kurt Jensen
1997	A	`conf`	A Brief Introduction to Coloured Petri Nets. TACAS Kurt Jensen
1997	—	`book`	Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 3 Kurt Jensen
1996	—	`conf`	An Introduction to the Practical Use of Coloured Petri Nets. Petri Nets (2) Kurt Jensen
1996	—	`book`	Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1, Second Edition Kurt Jensen
1996	J	`jnl`	Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods Syst. Des. Kurt Jensen
1993	—	`conf`	An Introduction to the Theoretical Aspects of Coloured Petri Nets. REX School/Symposium Kurt Jensen
1992	—	`ed.`	Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings Application and Theory of Petri Nets Kurt Jensen
1992	—	`book`	Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1 Kurt Jensen
1989	—	`conf`	Coloured Petri nets: A high level language for system design and analysis. Applications and Theory of Petri Nets Kurt Jensen
1989	—	`conf`	Hierarchies in coloured Petri nets. Applications and Theory of Petri Nets Peter Huber, Kurt Jensen, Robert M. Shapiro
1986	—	`conf`	Coloured Petri Nets. Advances in Petri Nets Kurt Jensen
1986	—	`conf`	Computer Tools for Construction, Modification and Analysis of Petri Nets. Advances in Petri Nets Kurt Jensen
1986	—	`conf`	Petri Net Tool Overview 1986. Advances in Petri Nets Frits Feldbrugge, Kurt Jensen
1986	J	`jnl`	Reachability Trees for High-level Petri Nets. Theor. Comput. Sci. Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen
1985	—	`conf`	Pascal semantics by a combination of denotational semantics and high-level Petri nets. Applications and Theory in Petri Nets Kurt Jensen, Erik Meineche Schmidt
1984	—	`conf`	The design of a program package for an introductory Petri net course. European Workshop on Applications and Theory in Petri Nets Kurt Jensen
1984	—	`conf`	Towards reachability trees for high-level Petri nets. European Workshop on Applications and Theory in Petri Nets Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen
1982	—	`conf`	High-Level Petri Nets. European Workshop on Applications and Theory of Petri Nets Kurt Jensen
1981	J	`jnl`	Coloured Petri Nets and the Invariant-Method. Theor. Comput. Sci. Kurt Jensen
1981	B	`conf`	How to Find Invariants for Coloured Petri Nets. MFCS Kurt Jensen
1981	—	`conf`	Petri Nets and Semantics of System Descriptions. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Kurt Jensen, Morten Kyng
1980	B	`conf`	A Method to Compare the Descriptive Power of Different Types of Petri Nets. MFCS Kurt Jensen
1979	—	`conf`	A Petri Net Definition of a System Description Language. Semantics of Concurrent Computation Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen