• 7068 Citations
20022021

Research output per year

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

Research Output

2006

Fouten in SAP-referentiemodel

Aalst, van der, W. M. P., Dongen, van, B. F., Mendling, J. & Verbeek, H. M. W., 2006, In : De Automatisering Gids. 40, 20, p. 17-17

Research output: Contribution to journalArticleProfessional

4 Downloads (Pure)

Integration of EPC-related tools with ProM

Barborka, P., Helm, L., K̈oldorfer, G., Mendling, J., Neumann, G., van Dongen, B., Verbeek, E. & van der Aalst, W., 1 Dec 2006, p. 105-120. 16 p.

Research output: Contribution to conferencePaper

9 Citations (Scopus)
1 Downloads (Pure)

Interoperability in the ProM framework

Verbeek, H. M. W., Dongen, van, B. F., Mendling, J. & Aalst, van der, W. M. P., 2006, Proceedings of the EMOI-INTEROP Workshop at the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06). Latour, T. & Petit, M. (eds.). Namur University Press, p. 619-630

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

1 Downloads (Pure)

Process mining in a multi-agent auctioning system

Dongen, van, B. F., Luin, van, J. & Verbeek, H. M. W., 2006, Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA'06 ; [26th June, 2006, Turku, Finland]. Moldt, D. (ed.). Hamburg: University of Hamburg, p. 145-160 (Bericht Universität Hamburg, Department Informatik; vol. 272).

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

SAP's Referenzmodell : Sand im Getriebe

Mendling, J., Neumann, G., Aalst, van der, W. M. P., Dongen, van, B. F. & Verbeek, H. M. W., 2006, In : IX Magazin fuer professionelle Informationstechnik. 13, 8, p. 131-133

Research output: Contribution to journalArticleProfessional

2 Downloads (Pure)

Structural patterns for soundness of business process models

Dongen, van, B. F., Mendling, J. & Aalst, van der, W. M. P., 2006, Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06, Hong Kong, October 16-20, 2006). Hung, P., Li, Q. & Sparrow, D. (eds.). Piscataway: IEEE Computer Society, p. 116-128

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

57 Citations (Scopus)
2005

A meta model for process mining data

Dongen, van, B. F. & Aalst, van der, W. M. P., 2005, Proceedings of the CAiSE Workshops. Castro, J. & Tentiento, E. (eds.). Porto: FEUP, Vol. 2. p. 309-320

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

30 Citations (Scopus)

EPC verification in the ARIS for MySAP reference model database

Dongen, van, B. F. & Jansen-Vullers, M. H., 2005, Eindhoven: Technische Universiteit Eindhoven. 15 p. (BETA publicatie : working papers; vol. 142)

Research output: Book/ReportReportAcademic

Open Access
File
2 Citations (Scopus)
31 Downloads (Pure)

Multi-phase mining: aggregating instances graphs into EPC's and petri nets

Dongen, van, B. F. & Aalst, van der, W. M. P., 2005, Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management. Marinescu, D. (ed.). Miami, Florida: Florida International University, p. 35-58

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

Process mining and verification of properties : an approach based on temporal logic

Aalst, van der, W. M. P., Beer, de, H. T. & Dongen, van, B. F., 2005, On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings : part 1. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 130-147 (Lecture Notes in Computer Science; vol. 3760).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

181 Citations (Scopus)

Process mining and verification of properties : an approach based on temporal logic

Aalst, van der, W. M. P., Beer, de, H. T. & Dongen, van, B. F., 2005, Eindhoven: Technische Universiteit Eindhoven. 18 p. (BETA publicatie : working papers; vol. 136)

Research output: Book/ReportReportAcademic

Open Access
File
537 Downloads (Pure)

The PRoM framework : a new era in process mining tool support

Dongen, van, B. F., Alves De Medeiros, A. K., Verbeek, H. M. W., Weijters, A. J. M. M. & Aalst, van der, W. M. P., 2005, Applications and Theory of Petri Nets 2005. Ciardo, G. & Darondeau, P. (eds.). Berlin: Springer, p. 444-454 (Lecture Notes in Computer Science; vol. 3536).

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

528 Citations (Scopus)
1 Downloads (Pure)

Verification of EPCs: using reduction rules and petri nets

van Dongen, B. F., van der Aalst, W. M. P. & Verbeek, H. M. W., 29 Sep 2005, Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, 13-17 June 2005, Porto, Portugal. Pastor, O. & Falcão e Cunha, J. (eds.). Berlin: Springer, p. 372-386 15 p. (Lecture Notes in Computer Science; vol. 3520).

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

69 Citations (Scopus)

Verification of SAP reference models

Dongen, van, B. F. & Jansen-Vullers, M. H., 2005, Business Process Management : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings. Aalst, van der, W. M. P., Benatallah, B. & Casati, F. (eds.). Berlin: Springer, p. 464-469 (Lecture Notes in Computer Science; vol. 3649).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)
2004

EMiT: a process mining tool

Dongen, van, B. F. & Aalst, van der, W. M. P., 2004, Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21¿25. Cortadella, J. & Reisig, W. (eds.). Berlin: Springer, p. 454-463 (Lecture Notes in Computer Science; vol. 3099).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

19 Citations (Scopus)

Multi-phase process mining : building instance graphs

Dongen, van, B. F. & Aalst, van der, W. M. P., 2004, Conceptual Modeling ¿ ER 2004: 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12. Atzeni, P., Chu, W., Lu, H., Zhou, S. & Ling, T. W. (eds.). Berlin: Springer, p. 362-376 (Lecture Notes in Computer Science; vol. 3288).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

89 Citations (Scopus)
1 Downloads (Pure)

Process mining : extending the alpha-algorithm to mine short loops

Alves De Medeiros, A. K., Dongen, van, B. F., Aalst, van der, W. M. P. & Weijters, A. J. M. M., 2004, Eindhoven: Technische Universiteit Eindhoven. 25 p. (BETA publicatie : working papers; vol. 113)

Research output: Book/ReportReportAcademic

Open Access
File
795 Downloads (Pure)

Process mining for ubiquitous mobile systems: An overview and a concrete algorithm

Alves De Medeiros, A. K., Dongen, van, B. F., Aalst, van der, W. M. P. & Weijters, A. J. M. M., 2004, Ubiquitous mobile information and collaboration systems. Baresi, L., Dustdar, S., Gall, H. & Matera, M. (eds.). UMICS, p. 156-170

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

19 Citations (Scopus)

Process mining for ubiquitous mobile systems : an overview and a concrete algorithm

Alves De Medeiros, A. K., Dongen, van, B. F., Aalst, van der, W. M. P. & Weijters, A. J. M. M., 2004, Ubiquitous Mobile Information and Collaboration Systems: Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers. Baresi, L., Dustdar, S., Gall, H. & Matera, M. (eds.). Berlin: Springer, p. 151-165 (Lecture Notes in Computer Science; vol. 3272).

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

19 Citations (Scopus)
2 Downloads (Pure)
2003

Workflow mining : A survey of issues and approaches

Aalst, van der, W. M. P., Dongen, van, B. F., Herbst, J., Maruster, L., Schimm, G. & Weijters, A. J. M. M., 2003, In : Data & Knowledge Engineering. 47, 2, p. 237-267

Research output: Contribution to journalArticleAcademicpeer-review

803 Citations (Scopus)
2002

Discovering workflow performance models from timed logs

Aalst, van der, W. M. P. & Dongen, van, B. F., 2002, Engineering and Deployment of Cooperative Information Systems (First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002). Han, Y., Tai, S. & Wikarski, D. (eds.). Berlin, Germany: Springer, p. 45-63 (Lecture Notes in Computer Science; vol. 2480).

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

116 Citations (Scopus)