• Source: Scopus
20022021

Research activity per year

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

Search results

  • 2018

    Computing alignments of event data and process models

    van Zelst, S. J., Bolt, A. & van Dongen, B. F., 1 Jan 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). Berlin: Springer, p. 1-26 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11090 LNCS).

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

    1 Citation (Scopus)
  • 2016

    Introduction to the 11th International Workshop on Business Process Intelligence (BPI 2015)

    van Dongen, B. F., Ferreira, D. R., De Weerdt, J. & Burattin, A., 2016, Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised Papers . Dordrecht: Springer, p. 110-111 (Lecture Notes in Business Information Processing; vol. 256).

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

    1 Downloads (Pure)
  • 2013

    A short survey on process model similarity

    Dijkman, R. M., Dongen, van, B. F., Dumas, M., García-Bañuelos, L., Kunze, M., Leopold, H., Mendling, J., Uba, R., Weidlich, M., Weske, M. H. & Yan, Z., 2013, Seminal Contributions to Information Systems Engineering : 25 Years of CAiSE. Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C. & Sølvberg, A. (eds.). Berlin: Springer, p. 421-428

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Discovering Petri nets from event logs

    Aalst, van der, W. M. P. & Dongen, van, B. F., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin: Springer, p. 372-422 (Lecture Notes in Computer Science; vol. 7480).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    14 Citations (Scopus)
    1 Downloads (Pure)
  • Measuring similarity between business process models

    Dongen, van, B. F., Dijkman, R. M. & Mendling, J., 2013, Seminal Contributions to Information Systems Engineering : 25 years of CAiSE. Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C. & Sølvberg, A. (eds.). Berlin: Springer, p. 405-420

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    2 Downloads (Pure)
  • 2012

    Aggregating causal runs into workflow nets

    Dongen, van, B. F., Desel, J. & Aalst, van der, W. M. P., 2012, Transactions on Petri Nets and Other Models of Concurrency VI. Jensen, K., Aalst, van der, W. M. P., Ajmone Marsan, M., Franceschinis, G., Kleijn, J. & Kristensen, L. M. (eds.). Berlin: Springer, p. 334-363 (Lecture Notes in Computer Science; vol. 7400).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    2 Citations (Scopus)
  • 2009

    Process mining : overview and outlook of Petri net discovery algorithms

    Dongen, van, B. F., Alves De Medeiros, A. K. & Wen, L., 2009, Transactions on Petri Nets and Other Models of Concurrency II. Jensen, K. & Aalst, van der, W. M. P. (eds.). Berlin: Springer, p. 225-242 (Lecture Notes in Computer Science; vol. 5460).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    75 Citations (Scopus)
    2 Downloads (Pure)
  • 2008

    Translating message sequence charts to other process languages using process mining

    Lassen, K. B. & Dongen, van, B. F., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (eds.). Berlin: Springer, p. 71-85 (Lecture Notes in Computer Science; vol. 5100).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • 2005

    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

    193 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

    21 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

    93 Citations (Scopus)
    1 Downloads (Pure)