Kees M. van Hee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
1989–2014
Best venue rank
A
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SIMULTECH | Relationship between Simulink and Petri nets. | Debjyoti Bera, Kees M. van Hee, Henk Nijmeijer |
| 2014 | SIMULTECH | Modeling Hybrid Systems with Petri Nets. | Debjyoti Bera, Kees M. van Hee, Henk Nijmeijer |
| 2011 | BPM | Discovering Characteristics of Stochastic Collections of Process Models. | Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova |
| 2011 | RCIS | Is my event log complete? - A probabilistic approach to process mining. | Kees M. van Hee, Zheng Liu, Natalia Sidorova |
| 2007 | BPM | Adaptive Workflows for Healthcare Information Systems. | Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf |
| 2007 | BPM | Modelling with History-Dependent Petri Nets. | Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf |
| 2007 | PACT | Adaptive Workflow Nets for Grid Computing. | Carmen Bratosin, Kees M. van Hee, Natalia Sidorova |
| 2006 | BPM | History-Based Joins: Semantics, Soundness and Implementation. | Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve |
| 2005 | ADBIS | Non-destructive Integration of Form-Based Views. | Jan Hidders, Jan Paredaens, Philippe Thiran, Geert-Jan Houben, Kees M. van Hee |
| 2005 | BPM | The Price of Coordination in Resource Management. | Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal |
| 2004 | BPM | Consistency in Model Integration. | Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve |
| 2003 | BPM | Use Cases as Workflows. | Michel R. V. Chaudron, Kees M. van Hee, Lou J. Somers |
| 2000 | BPM | Using Formal Analysis Techniques in Business Process Redesign. | Kees M. van Hee, Hajo A. Reijers |
| 1995 | WETICE | Framework for business process redesign. | Wil M. P. van der Aalst, Kees M. van Hee |
| 1991 | FM | Z and High Level Petri Nets. | Kees M. van Hee, Lou J. Somers, Marc Voorhoeve |
| 1991 | FM | The EXSPECT Tool. | Kees M. van Hee, Lou J. Somers, Marc Voorhoeve |
| 1990 | FM | A Formal Semantics for Z and the Link between Z and the Relational Algebra. | M. J. van Diepen, Kees M. van Hee |
| 1990 | PPSN | Global Convergence of Genetic Algorithms: A Markov Chain Analysis. | A. E. Eiben, Emile H. L. Aarts, Kees M. van Hee |
| 1989 | ISCO | Executable Specifications for Distributed Information Systems. | Kees M. van Hee, Lou J. Somers, Marc Voorhoeve |