2009 |
48 | EE | Kees M. van Hee,
Jan Hidders,
Geert-Jan Houben,
Jan Paredaens,
Philippe Thiran:
On the relationship between workflow models and document types.
Inf. Syst. 34(1): 178-208 (2009) |
47 | EE | Kees M. van Hee,
H. M. W. Verbeek,
Christian Stahl,
Natalia Sidorova:
A Framework for Linking and Pricing No-Cure-No-Pay Services.
T. Petri Nets and Other Models of Concurrency 2: 192-207 (2009) |
2008 |
46 | | Kees M. van Hee,
Rüdiger Valk:
Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings
Springer 2008 |
45 | EE | Kees M. van Hee,
Olivia Oanea,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve:
History-based joins: Semantics, soundness and implementation.
Data Knowl. Eng. 64(1): 24-37 (2008) |
44 | EE | Kees M. van Hee,
Alexander Serebrenik,
Natalia Sidorova:
Token History Petri Nets.
Fundam. Inform. 85(1-4): 219-234 (2008) |
43 | EE | Kees M. van Hee,
Alexander Serebrenik,
Natalia Sidorova,
Wil M. P. van der Aalst:
Working with the Past: Integrating History in Petri Nets.
Fundam. Inform. 88(3): 387-409 (2008) |
42 | EE | Kees M. van Hee,
Jeroen Keiren,
Reinier Post,
Natalia Sidorova,
Jan Martijn E. M. van der Werf:
Designing Case Handling Systems.
T. Petri Nets and Other Models of Concurrency 1: 119-133 (2008) |
41 | EE | Isaac Corro Ramos,
Alessandro Di Bucchianico,
Lusine Hakobyan,
Kees M. van Hee:
Model Driven Testing Based on Test History.
T. Petri Nets and Other Models of Concurrency 1: 134-151 (2008) |
2007 |
40 | EE | Kees M. van Hee,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve,
Jan Martijn E. M. van der Werf:
Modelling with History-Dependent Petri Nets.
BPM 2007: 320-327 |
39 | EE | Kees M. van Hee,
Helen Schonenberg,
Alexander Serebrenik,
Natalia Sidorova,
Jan Martijn E. M. van der Werf:
Adaptive Workflows for Healthcare Information Systems.
Business Process Management Workshops 2007: 359-370 |
38 | EE | Kees M. van Hee,
Alexander Serebrenik,
Natalia Sidorova,
Wil M. P. van der Aalst:
History-Dependent Petri Nets.
ICATPN 2007: 164-183 |
37 | EE | Carmen Bratosin,
Kees M. van Hee,
Natalia Sidorova:
Adaptive Workflow Nets for Grid Computing.
PaCT 2007: 15-21 |
36 | EE | Kees M. van Hee,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve,
Jan van der Wal:
Scheduling-free resource management.
Data Knowl. Eng. 61(1): 59-75 (2007) |
35 | EE | Kees M. van Hee,
Olivia Oanea,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve,
Irina A. Lomazova:
Checking Properties of Adaptive Workflow Nets.
Fundam. Inform. 79(3-4): 347-362 (2007) |
34 | EE | Kees M. van Hee,
Olivia Oanea,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve:
LogLogics: A logic for history-dependent business processes.
Sci. Comput. Program. 65(1): 30-40 (2007) |
2006 |
33 | EE | Kees M. van Hee,
Olivia Oanea,
Reinier Post,
Lou J. Somers,
Jan Martijn E. M. van der Werf:
Yasper: a tool for workflow modeling and analysis.
ACSD 2006: 279-282 |
32 | EE | Kees M. van Hee,
Olivia Oanea,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve:
History-Based Joins: Semantics, Soundness and Implementation.
Business Process Management 2006: 225-240 |
31 | EE | Kees M. van Hee,
Olivia Oanea,
Natalia Sidorova,
Marc Voorhoeve:
Verifying Generalized Soundness of Workflow Nets.
Ershov Memorial Conference 2006: 235-247 |
30 | EE | Kees M. van Hee,
Irina A. Lomazova,
Olivia Oanea,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve:
Nested Nets for Adaptive Systems.
ICATPN 2006: 241-260 |
29 | EE | R. Goud,
Kees M. van Hee,
R. D. J. Post,
Jan Martijn E. M. van der Werf:
Petriweb: A Repository for Petri Nets.
ICATPN 2006: 411-420 |
28 | | Kees M. van Hee,
Olivia Oanea,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve:
Modelling History-Dependent Business Processes.
MSVVEIS 2006: 76-85 |
27 | EE | Wil M. P. van der Aalst,
Michael Beisiegel,
Kees M. van Hee,
Dieter König,
Christian Stahl:
A SOA-Based Architecture Framework.
The Role of Business Processes in Service Oriented Architectures 2006 |
26 | EE | Kees M. van Hee,
Natalia Sidorova,
Lou J. Somers,
Marc Voorhoeve:
Consistency in model integration.
Data Knowl. Eng. 56(1): 4-22 (2006) |
25 | EE | Kees M. van Hee,
Natalia Sidorova,
Marc Voorhoeve:
Resource-Constrained Workflow Nets.
Fundam. Inform. 71(2-3): 243-257 (2006) |
2005 |
24 | EE | Jan Hidders,
Jan Paredaens,
Philippe Thiran,
Geert-Jan Houben,
Kees M. van Hee:
Non-destructive Integration of Form-Based Views.
ADBIS 2005: 74-86 |
23 | EE | Kees M. van Hee,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve,
Jan van der Wal:
The Price of Coordination in Resource Management.
Business Process Management 2005: 96-108 |
22 | EE | Kees M. van Hee,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve:
Soundness of Resource-Constrained Workflow Nets.
ICATPN 2005: 250-267 |
21 | EE | Kees M. van Hee,
Olivia Oanea,
Natalia Sidorova:
Colored Petri Nets to Verify Extended Event-Driven Process Chains.
OTM Conferences (1) 2005: 183-201 |
2004 |
20 | EE | Kees M. van Hee,
Natalia Sidorova,
Lou J. Somers,
Marc Voorhoeve:
Consistency in Model Integration.
Business Process Management 2004: 1-16 |
19 | EE | Kees M. van Hee,
Natalia Sidorova,
Marc Voorhoeve:
Generalised Soundness of Workflow Nets Is Decidable.
ICATPN 2004: 197-215 |
2003 |
18 | EE | Michel R. V. Chaudron,
Kees M. van Hee,
Lou J. Somers:
Use Cases as Workflows.
Business Process Management 2003: 88-103 |
17 | EE | Kees M. van Hee,
Natalia Sidorova,
Marc Voorhoeve:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.
ICATPN 2003: 337-356 |
16 | EE | Jonathan Billington,
Søren Christensen,
Kees M. van Hee,
Ekkart Kindler,
Olaf Kummer,
Laure Petrucci,
Reinier Post,
Christian Stehno,
Michael Weber:
The Petri Net Markup Language: Concepts, Technology, and Tools.
ICATPN 2003: 483-505 |
2002 |
15 | | Wil M. P. van der Aalst,
Kees M. van Hee:
Workflow Management: Models, Methods, and Systems
MIT Press 2002 |
14 | | Loucif Zerguini,
Kees M. van Hee:
A new reduction method for the analysis of large workflow models.
Promise 2002: 188-201 |
13 | | Wil M. P. van der Aalst,
Kees M. van Hee,
Robert A. van der Toorn:
Component-based software architectures: a framework based on inheritance of behavior.
Sci. Comput. Program. 42(2-3): 129-171 (2002) |
12 | EE | Wil M. P. van der Aalst,
Kees M. van Hee,
Robert A. van der Toorn:
"Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171].
Sci. Comput. Program. 44(3): 343-344 (2002) |
2000 |
11 | EE | Kees M. van Hee,
Hajo A. Reijers:
Using Formal Analysis Techniques in Business Process Redesign.
Business Process Management 2000: 142-160 |
10 | EE | Wil M. P. van der Aalst,
Poul J. N. de Crom,
Roy R. H. M. J. Goverde,
Kees M. van Hee,
Wout J. Hofman,
Hajo A. Reijers,
Robert A. van der Toorn:
Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets.
ICATPN 2000: 455-464 |
1995 |
9 | EE | Wil M. P. van der Aalst,
Kees M. van Hee:
Framework for business process redesign.
WETICE 1995: 36-45 |
1993 |
8 | | Kees M. van Hee,
P. M. P. Rambags,
Peter A. C. Verkoulen:
Specification and Simulation with ExSpect.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 296-327 |
1991 |
7 | | Kees M. van Hee,
Lou J. Somers,
Marc Voorhoeve:
Z and High Level Petri Nets.
VDM Europe (1) 1991: 204-219 |
6 | | Kees M. van Hee,
Lou J. Somers,
Marc Voorhoeve:
The EXSPECT Tool.
VDM Europe (1) 1991: 683-684 |
1990 |
5 | | A. E. Eiben,
Emile H. L. Aarts,
Kees M. van Hee:
Global Convergence of Genetic Algorithms: A Markov Chain Analysis.
PPSN 1990: 4-12 |
4 | | M. J. van Diepen,
Kees M. van Hee:
A Formal Semantics for Z and the Link between Z and the Relational Algebra.
VDM Europe 1990: 526-551 |
1989 |
3 | | Kees M. van Hee,
Geert-Jan Houben,
Jan L. G. Dietz:
Modeling of discrete dynamic systems-framework and examples.
Inf. Syst. 14(4): 277-289 (1989) |
1987 |
2 | | Jan L. G. Dietz,
Kees M. van Hee:
A Framework for the Conceptual Modeling of Discrete Dynamic Systems.
Temporal Aspects in Information Systems 1987: 61-75 |
1975 |
1 | | Kees M. van Hee:
The Policy Iteration Method for the Optimal Stopping of a Markov Chain with an Application.
Optimization Techniques 1975: 22-36 |