H. M. W. (Eric) Verbeek

H. M. W. Verbeek, Eric Verbeek

2009
33	EE	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)
32	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)
31	EE	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)
2008
30	EE	Elliot A. Ludvig, Richard S. Sutton, Eric Verbeek, E. James Kehoe: A computational model of hippocampal function in trace conditioning. NIPS 2008: 993-1000
29	EE	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)
28	EE	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)
27	EE	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)
26	EE	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)
25	EE	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
24	EE	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
23	EE	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)
22	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Eric Verbeek, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk: Protos 7.0: Simulation Made Accessible. ICATPN 2005: 465-474
11	EE	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	EE	Eric Verbeek, Robert A. van der Toorn: Transit Case Study. ICATPN 2004: 391-410
9	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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] [33]
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	[31]
9	Boudewijn F. van Dongen	[13] [15] [17] [18] [19] [21] [24] [28]
10	Marlon Dumas	[11] [14] [16] [20] [29]
11	David Edmond	[33]
12	Florian Gottschalk	[26]
13	Christian W. Günther	[24]
14	Maarte van Hattem	[12]
15	Kees M. van Hee	[32]
16	Lukas Helm	[17]
17	Alexander Hirnschall	[5] [6]
18	Arthur H. M. ter Hofstede	[11] [14] [20] [23] [33]
19	Monique H. Jansen-Vullers	[26]
20	E. James Kehoe	[30]
21	Georg Köldorfer	[17]
22	A. Kumar	[4]
23	Akhil Kumar	[7]
24	Niels Lohmann	[31]
25	Elliot A. Ludvig	[30]
26	R. S. Mans	[24]
27	Ana Karla A. de Medeiros (Ana Karla Alves de Medeiros)	[13] [21] [24]
28	Jan Mendling	[17] [18] [19] [28]
29	Michael Moser	[19]
30	Wendy de Munk	[12]
31	Gustaf Neumann	[17] [19] [28]
32	Chun Ouyang	[11] [16] [20] [29]
33	A. Johannes Pretorius	[25]
34	Hajo A. Reijers	[12] [21]
35	Anne Rozinat	[16] [24] [29]
36	Vladimir Rubin	[24]
37	Nick Russell	[14]
38	Natalia Sidorova	[32]
39	Minseok Song	[21] [24]
40	Christian Stahl	[32]
41	Richard S. Sutton	[30]
42	Robert A. van der Toorn	[10]
43	Peter A. C. Verkoulen	[1]
44	Marc Voorhoeve	[1]
45	A. J. M. M. Weijters (Ton Weijters)	[13] [21] [24]
46	Mathias Weske	[9]
47	Jarke J. van Wijk	[25]
48	Petia Wohed	[14]
49	Moe Thandar Wynn	[33]

Colors in the list of coauthors