Kees M. van Hee

	2011
65		Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova: Discovering Characteristics of Stochastic Collections of Process Models. BPM 2011: 298-312
64		Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf: Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! Petri Nets 2011: 149-168
63		Kees M. van Hee, Zheng Liu, Natalia Sidorova: Is my event log complete? - A probabilistic approach to process mining. RCIS 2011: 1-7
62		Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Akhil Kumar, Marc Verdonk: Conceptual model for online auditing. Decision Support Systems 50(3): 636-647 (2011)
61		Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3): 333-363 (2011)
	2010
60		Kees M. van Hee, Zheng Liu: Generating Benchmarks by Random Stepwise Refinement of Petri Nets. ACSD/Petri Nets Workshops 2010: 403-417
59		Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf: Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! Software Composition 2010: 106-121
58		Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf: Soundness-Preserving Refinements of Service Compositions. WS-FM 2010: 131-145
57		Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Marc Verdonk: Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. IEEE Computer 43(3): 90-93 (2010)
56		Kees M. van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran: On-the-Fly Auditing of Business Processes. T. Petri Nets and Other Models of Concurrency 4: 144-173 (2010)
	2009
55		Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee: History-Dependent Stochastic Petri Nets. Ershov Memorial Conference 2009: 366-379
54		Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf: Compositional Service Trees. Petri Nets 2009: 283-302
53		Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf: Generation of Database Transactions with Petri Nets. Fundam. Inform. 93(1-3): 171-184 (2009)
52		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)
51		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)
50		Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn: Soundness of Workflow Nets with Reset Arcs. T. Petri Nets and Other Models of Concurrency 3: 50-70 (2009)
	2008
49		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
48		Alessandro Di Bucchianico, Jan Friso Groote, Kees M. van Hee, Ronald Kruidhof: Statistical Certification of Software Systems. Communications in Statistics - Simulation and Computation 37(2): 346-359 (2008)
47		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)
46		Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova: Token History Petri Nets. Fundam. Inform. 85(1-4): 219-234 (2008)
45		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)
44		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)
43		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
42		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
41		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
40		Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: History-Dependent Petri Nets. ICATPN 2007: 164-183
39		Carmen Bratosin, Kees M. van Hee, Natalia Sidorova: Adaptive Workflow Nets for Grid Computing. PaCT 2007: 15-21
38		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)
37		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)
36		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
35		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
34		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
33		Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve: Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247
32		Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Nested Nets for Adaptive Systems. ICATPN 2006: 241-260
31		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
30		Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85
29		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
28		Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve: Consistency in model integration. Data Knowl. Eng. 56(1): 4-22 (2006)
27		Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Resource-Constrained Workflow Nets. Fundam. Inform. 71(2-3): 243-257 (2006)
	2005
26		Jan Hidders, Jan Paredaens, Philippe Thiran, Geert-Jan Houben, Kees M. van Hee: Non-destructive Integration of Form-Based Views. ADBIS 2005: 74-86
25		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
24		Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267
23		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
22		Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve: Consistency in Model Integration. Business Process Management 2004: 1-16
21		Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Generalised Soundness of Workflow Nets Is Decidable. ICATPN 2004: 197-215
	2003
20		Michel R. V. Chaudron, Kees M. van Hee, Lou J. Somers: Use Cases as Workflows. Business Process Management 2003: 88-103
19		Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN 2003: 337-356
18		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
17		Wil M. P. van der Aalst, Kees M. van Hee: Workflow Management: Models, Methods, and Systems MIT Press 2002
16		Loucif Zerguini, Kees M. van Hee: A new reduction method for the analysis of large workflow models. Promise 2002: 188-201
15		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)
14		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
13		Kees M. van Hee, Hajo A. Reijers: Using Formal Analysis Techniques in Business Process Redesign. Business Process Management 2000: 142-160
12		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
11		Wil M. P. van der Aalst, Kees M. van Hee: Framework for business process redesign. WETICE 1995: 36-45
	1994
10		Kees M. van Hee: Information systems engineering - a formal approach. Cambridge University Press 1994: I-XIII, 1-421
	1993
9		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
	1992
8		Kees M. van Hee, Theodor Hildebrand, Sergio Copelli: PROOFS: Application engineering based on formal methods. Microprocessing and Microprogramming 35(1-5): 29-36 (1992)
	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	[11] [12] [14] [15] [17] [29] [40] [45] [50] [54] [55] [57] [61] [62]
2	Emile H. L. Aarts	[5]
3	Michael Beisiegel	[29]
4	Jonathan Billington	[18]
5	Carmen Bratosin	[39]
6	Alessandro Di Bucchianico	[43] [48]
7	Michel R. V. Chaudron	[20]
8	Søren Christensen	[18]
9	Sergio Copelli	[8]
10	Poul J. N. de Crom	[12]
11	M. J. van Diepen	[4]
12	Jan L. G. Dietz	[2] [3]
13	A. E. Eiben (Ágoston E. Eiben, Guszti Eiben)	[5]
14	R. Goud	[31]
15	Roy R. H. M. J. Goverde	[12]
16	Jan Friso Groote	[48]
17	Lusine Hakobyan	[43]
18	Jan Hidders	[26] [52] [56]
19	Theodor Hildebrand	[8]
20	Wout J. Hofman	[12]
21	Arthur H. M. ter Hofstede	[50] [61]
22	Geert-Jan Houben	[3] [26] [52] [56]
23	Jeroen Keiren	[44]
24	Ekkart Kindler	[18]
25	Dieter König	[29]
26	Ronald Kruidhof	[48]
27	Akhil Kumar	[62]
28	Olaf Kummer	[18]
29	Zheng Liu	[60] [63] [65]
30	Irina A. Lomazova	[32] [37]
31	Peter Massuthe	[54]
32	Arjan J. Mooij	[58]
33	Olivia Oanea	[23] [30] [32] [33] [34] [35] [36] [37] [47]
34	Jan Paredaens	[26] [52] [56]
35	Laure Petrucci (Laure Petrucci-Dauchy)	[18]
36	Reinier Post (R. D. J. Post)	[18] [31] [35] [44]
37	P. M. P. Rambags	[9]
38	Isaac Corro Ramos	[43]
39	Hajo A. Reijers	[12] [13]
40	Marcello La Rosa	[65]
41	Helen Schonenberg (M. H. Schonenberg)	[41] [55]
42	Alexander Serebrenik	[24] [25] [30] [32] [34] [36] [37] [38] [40] [41] [42] [45] [46] [47]
43	Natalia Sidorova	[19] [21] [22] [23] [24] [25] [27] [28] [30] [32] [33] [34] [36] [37] [38] [39] [40] [41] [42] [44] [45] [46] [47] [50] [51] [53] [54] [55] [58] [59] [61] [63] [64] [65]
44	Lou J. Somers	[6] [7] [20] [22] [28] [35]
45	Christian Stahl	[29] [51]
46	Christian Stehno	[18]
47	Philippe Thiran (Ph. Thiran)	[26] [52] [56]
48	Robert A. van der Toorn	[12] [14] [15]
49	Rüdiger Valk	[49]
50	H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek)	[50] [51] [61]
51	Marc Verdonk	[57] [62]
52	Peter A. C. Verkoulen	[9]
53	Marc Voorhoeve	[6] [7] [19] [21] [22] [24] [25] [27] [28] [30] [32] [33] [34] [36] [37] [38] [42] [47] [50] [53] [61]
54	Jan van der Wal	[25] [38]
55	Michael Weber	[18]
56	Jan Martijn E. M. van der Werf	[31] [35] [41] [42] [44] [53] [54] [57] [58] [59] [62] [64]
57	Moe Thandar Wynn	[50] [61]
58	Loucif Zerguini	[16]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page