H. M. W. (Eric) Verbeek

H. M. W. Verbeek, Eric Verbeek

	2009
36		Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond: Soundness-preserving reduction rules for reset workflow nets. Inf. Sci. 179(6): 769-790 (2009)
35		Moe Thandar Wynn, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond: Reduction rules for YAWL workflows with cancellation regions and OR-joins. Information & Software Technology 51(6): 1010-1020 (2009)
34		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)
33		Niels Lohmann, Eric Verbeek, Remco M. Dijkman: Petri Net Transformations for Business Processes - A Survey. T. Petri Nets and Other Models of Concurrency 2: 46-63 (2009)
32		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
31		Elliot A. Ludvig, Richard S. Sutton, Eric Verbeek, E. James Kehoe: A computational model of hippocampal function in trace conditioning. NIPS 2008: 993-1000
30		Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek: Conformance checking of service behavior. ACM Trans. Internet Techn. 8(3): (2008)
29		Jan Mendling, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst, Gustaf Neumann: Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64(1): 312-329 (2008)
28		Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek: Process Mining in Web Services: The WebSphere Case. IEEE Data Eng. Bull. 31(3): 45-48 (2008)
27		Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek: Protos2CPN: using colored Petri nets for configuring and testing business processes. STTT 10(1): 95-110 (2008)
26		H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk: Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. T. Petri Nets and Other Models of Concurrency 1: 152-171 (2008)
	2007
25		Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R. S. Mans, Ana Karla Alves de Medeiros, Anne Rozinat, Vladimir Rubin, Minseok Song, H. M. W. (Eric) Verbeek, A. J. M. M. Weijters: ProM 4.0: Comprehensive Support for Real Process Analysis. ICATPN 2007: 484-494
24		H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. Comput. J. 50(3): 294-314 (2007)
23		Boudewijn F. van Dongen, Monique H. Jansen-Vullers, H. M. W. Verbeek, Wil M. P. van der Aalst: Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Computers in Industry 58(6): 578-601 (2007)
22		Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera, Eric Verbeek: Business process management: Where business processes and web services meet. Data Knowl. Eng. 61(1): 1-5 (2007)
21		Wil M. P. van der Aalst, Hajo A. Reijers, A. J. M. M. Weijters, Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, Minseok Song, H. M. W. (Eric) Verbeek: Business process mining: An industrial application. Inf. Syst. 32(5): 713-732 (2007)
20		Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3): 162-198 (2007)
	2006
19		Jan Mendling, Michael Moser, Gustaf Neumann, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Faulty EPCs in the SAP Reference Model. Business Process Management 2006: 451-457
18		H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst: Interoperability in the ProM Framework. EMOI-INTEROP 2006
17		Paul Barborka, Lukas Helm, Georg Köldorfer, Jan Mendling, Gustaf Neumann, Boudewijn F. van Dongen, Eric Verbeek, Wil M. P. van der Aalst: Integration of EPC-related Tools with ProM. EPK 2006: 105-120
16		Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek: Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. The Role of Business Processes in Service Oriented Architectures 2006
	2005
15		Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek: Verification of EPCs: Using Reduction Rules and Petri Nets. CAiSE 2005: 372-386
14		Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. (Eric) Verbeek, Petia Wohed: Life After BPEL? EPEW/WS-FM 2005: 35-50
13		Boudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, Wil M. P. van der Aalst: The ProM Framework: A New Era in Process Mining Tool Support. ICATPN 2005: 444-454
12		Eric Verbeek, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk: Protos 7.0: Simulation Made Accessible. ICATPN 2005: 465-474
11		Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede: WofBPEL: A Tool for Automated Analysis of BPEL Processes. ICSOC 2005: 484-489
	2004
10		Eric Verbeek, Robert A. van der Toorn: Transit Case Study. ICATPN 2004: 391-410
9		Mathias Weske, Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek: Advances in business process management. Data Knowl. Eng. 50(1): 1-8 (2004)
	2003
8		H. M. W. (Eric) Verbeek, Twan Basten: Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63
7		Wil M. P. van der Aalst, Akhil Kumar, H. M. W. (Eric) Verbeek: Organizational Modeling in UML and XML in the Context of Workflow Systems. SAC 2003: 603-608
	2002
6		Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. (Eric) Verbeek: An Alternative Way to Analyze Workflow Graphs. CAiSE 2002: 535-552
5		H. M. W. (Eric) Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst: XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. WES 2002: 93-108
	2001
4		Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kumar: Verification of XRL: An XML-based Workflow Language. CSCWD 2001: 427-432
3		H. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst: Diagnosing Workflow Processes using Woflan. Comput. J. 44(4): 246-279 (2001)
	2000
2		H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst: Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. ICATPN 2000: 475-484
	1999
1		Wil M. P. van der Aalst, Twan Basten, H. M. W. (Eric) Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve: Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS 1999: 353-360

Coauthor Index

1	Wil M. P. van der Aalst	[1] [2] [3] [4] [5] [6] [7] [9] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [32] [35] [36]
2	Paul Barborka	[17]
3	Twan Basten	[1] [3] [8]
4	Boualem Benatallah	[22]
5	Stephan Breutel	[11] [20]
6	Fabio Casati	[22]
7	Francisco Curbera	[22]
8	Remco M. Dijkman	[33]
9	Boudewijn F. van Dongen	[13] [15] [17] [18] [19] [21] [23] [25] [29]
10	Marlon Dumas	[11] [14] [16] [20] [30]
11	David Edmond	[35] [36]
12	Florian Gottschalk	[27]
13	Christian W. Günther	[25]
14	Maarte van Hattem	[12]
15	Kees M. van Hee	[32] [34]
16	Lukas Helm	[17]
17	Alexander Hirnschall	[5] [6]
18	Arthur H. M. ter Hofstede	[11] [14] [20] [24] [32] [35] [36]
19	Monique H. Jansen-Vullers	[23] [27]
20	E. James Kehoe	[31]
21	Georg Köldorfer	[17]
22	A. Kumar	[4]
23	Akhil Kumar	[7]
24	Niels Lohmann	[33]
25	Elliot A. Ludvig	[31]
26	R. S. Mans (Ronny Mans)	[25]
27	Ana Karla A. de Medeiros (Ana Karla Alves de Medeiros)	[13] [21] [25]
28	Jan Mendling	[17] [18] [19] [29]
29	Michael Moser	[19]
30	Wendy de Munk	[12]
31	Gustaf Neumann	[17] [19] [29]
32	Chun Ouyang	[11] [16] [20] [30]
33	A. Johannes Pretorius	[26]
34	Hajo A. Reijers	[12] [21]
35	Anne Rozinat	[16] [25] [30]
36	Vladimir Rubin	[25]
37	Nick Russell (Nick C. Russell)	[14]
38	Natalia Sidorova	[32] [34]
39	Minseok Song	[21] [25]
40	Christian Stahl	[34]
41	Richard S. Sutton	[31]
42	Robert A. van der Toorn	[10]
43	Peter A. C. Verkoulen	[1]
44	Marc Voorhoeve	[1] [32]
45	A. J. M. M. Weijters (Ton Weijters)	[13] [21] [25]
46	Mathias Weske	[9]
47	Jarke J. van Wijk	[26]
48	Petia Wohed (Petia Assenova)	[14]
49	Moe Thandar Wynn	[32] [35] [36]

Colors in the list of coauthors