If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where H.M.W. (Eric) Verbeek is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles
Petri nets Engineering & Materials Science
Process Mining Mathematics
Decomposition Engineering & Materials Science
Inductive logic programming (ILP) Engineering & Materials Science
Acoustic waves Engineering & Materials Science
Industry Engineering & Materials Science
Merging Engineering & Materials Science
Process Model Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2018 2021

Research Output 1986 2019

12 Downloads (Pure)

Improving merging conditions for recomposing conformance checking

Lee, W. L. J., Munoz-Gama, J., Verbeek, H. M. W., van der Aalst, W. M. P. & Sepúlveda, M., 1 Jan 2019, Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (eds.). Cham: Springer, p. 31-43 13 p. (Lecture Notes in Business Information Processing; vol. 342).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Merging
Process Mining
Alignment
Decomposition Techniques
Scalability
4 Citations (Scopus)
65 Downloads (Pure)

Discovering workflow nets using integer linear programming

van Zelst, S. J., van Dongen, B. F., van der Aalst, W. M. P. & Verbeek, H. M. W., May 2018, In : Computing. 100, 5, p. 529-556

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Integer Linear Programming
Linear programming
Work Flow
Inductive logic programming (ILP)
Process Mining
2 Citations (Scopus)

Fast conformance analysis based on activity log abstraction

Dixit, P. M., Verbeek, H. M. W. & van der Aalst, W. M. P., Oct 2018, Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. Piscataway: Institute of Electrical and Electronics Engineers, p. 135-144 10 p. 8536157

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Genetic algorithms
Industry
Process model
Incremental
Process mining
2 Citations (Scopus)

Fast incremental conformance analysis for interactive process discovery

Dixit, P. M., Buijs, J. C. A. M., Verbeek, H. M. W. & van der Aalst, W. M. P., 1 Jan 2018, Business Information Systems - 21st International Conference, BIS 2018, Proceedings. Abramowicz, W. & Paschke, A. (eds.). Cham: Springer, p. 163-175 13 p. (Lecture Notes in Business Information Processing; vol. 320).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Process Model
Decision making
Domain Knowledge
Incremental
Correctness

Incremental computation of synthesis rules for free-choice Petri nets

Dixit, P. M., Verbeek, H. M. W. & van der Aalst, W. M. P., 1 Jan 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Cham: Springer, p. 97-117 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Petri nets
Petri Nets
Synthesis
Interactive Systems
Business Process

Activities 2007 2007

  • 1 Editorial activity

Data & Knowledge Engineering (Journal)

Eric Verbeek (Editorial board member)
2007

Activity: Publication peer-review and editorial work typesEditorial activityScientific

Student theses

A layout algorithm for workflow nets

Author: Teurlings, M., 29 Feb 2012

Supervisor: van de Wetering, H. (Supervisor 1) & Verbeek, H. (Supervisor 2)

Student thesis: Master

File

A study of nested-relational joins in mediator-based distributed environments

Author: Boersma, M., 31 Aug 2011

Supervisor: Fletcher, G. (Supervisor 1), Bosma, G. (External person) (Supervisor 2), Verbeek, H. (Supervisor 2) & De Bra, P. (Supervisor 2)

Student thesis: Master

File

Discovering process models from log skeletons using an evolutionary approach

Author: Hu, X., 31 Aug 2018

Supervisor: Medeiros de Carvalho, R. (Supervisor 1), Verbeek, H. (Supervisor 2) & Firat, M. (Supervisor 2)

Student thesis: Master

File

Gebruikersinterface voor de EXSPECT-interpreter

Author: Verbeek, H., 31 May 1989

Supervisor: van Hee, K. (Supervisor 1) & Somers, L. (Supervisor 2)

Student thesis: Master

Mapping data sources to XES in a generic way

Author: Buijs, J., 31 May 2010

Supervisor: van der Aalst, W. (Supervisor 1), Verbeek, H. (Supervisor 2) & Fletcher, G. (Supervisor 2)

Student thesis: Master

File