Kees M. van Hee

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

Coauthor Index

1	Wil M. P. van der Aalst	[9] [10] [12] [13] [15] [27] [38] [43]
2	Emile H. L. Aarts	[5]
3	Michael Beisiegel	[27]
4	Jonathan Billington	[16]
5	Carmen Bratosin	[37]
6	Alessandro Di Bucchianico	[41]
7	Michel R. V. Chaudron	[18]
8	Søren Christensen	[16]
9	Poul J. N. de Crom	[10]
10	M. J. van Diepen	[4]
11	Jan L. G. Dietz	[2] [3]
12	A. E. Eiben (Ágoston E. Eiben, Guszti Eiben)	[5]
13	R. Goud	[29]
14	Roy R. H. M. J. Goverde	[10]
15	Lusine Hakobyan	[41]
16	Jan Hidders	[24] [48]
17	Wout J. Hofman	[10]
18	Geert-Jan Houben	[3] [24] [48]
19	Jeroen Keiren	[42]
20	Ekkart Kindler	[16]
21	Dieter König	[27]
22	Olaf Kummer	[16]
23	Irina A. Lomazova	[30] [35]
24	Olivia Oanea	[21] [28] [30] [31] [32] [33] [34] [35] [45]
25	Jan Paredaens	[24] [48]
26	Laure Petrucci (Laure Petrucci-Dauchy)	[16]
27	Reinier Post (R. D. J. Post)	[16] [29] [33] [42]
28	P. M. P. Rambags	[8]
29	Isaac Corro Ramos	[41]
30	Hajo A. Reijers	[10] [11]
31	Helen Schonenberg (M. H. Schonenberg)	[39]
32	Alexander Serebrenik	[22] [23] [28] [30] [32] [34] [35] [36] [38] [39] [40] [43] [44] [45]
33	Natalia Sidorova	[17] [19] [20] [21] [22] [23] [25] [26] [28] [30] [31] [32] [34] [35] [36] [37] [38] [39] [40] [42] [43] [44] [45] [47]
34	Lou J. Somers	[6] [7] [18] [20] [26] [33]
35	Christian Stahl	[27] [47]
36	Christian Stehno	[16]
37	Philippe Thiran (Ph. Thiran)	[24] [48]
38	Robert A. van der Toorn	[10] [12] [13]
39	Rüdiger Valk	[46]
40	H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek)	[47]
41	Peter A. C. Verkoulen	[8]
42	Marc Voorhoeve	[6] [7] [17] [19] [20] [22] [23] [25] [26] [28] [30] [31] [32] [34] [35] [36] [40] [45]
43	Jan van der Wal	[23] [36]
44	Michael Weber	[16]
45	Jan Martijn E. M. van der Werf	[29] [33] [39] [40] [42]
46	Loucif Zerguini	[14]

Colors in the list of coauthors