Research Output

Filter
Chapter
2016

An algorithm, implementation and execution ontology design pattern

Lawrynowicz, A., Esteves, D., Panov, P., Soru, T., Dzeroski, S. & Vanschoren, J., 1 Nov 2016, ISWC Workshop on Ontology and Semantic Web Patterns.

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

Open Access
File
105 Downloads (Pure)
2015

Business process quality management

Reijers, H. A., Mendling, J. & Recker, J., 2015, Handbook on Business Process Management 1. Brocke, vom, J. & Rosemann, M. (eds.). 2nd ed. Berlin: Springer, p. 167-185 (International Handbooks on Information Systems).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

33 Citations (Scopus)
2 Downloads (Pure)

Business process simulation survival guide

Aalst, van der, W. M. P., 2015, Handbook on Business Process Management 1 second ed.. Brocke, vom, J. & Rosemann, M. (eds.). Berlin: Springer, p. 337-370 34 p. (International Handbooks on Information Systems).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

41 Citations (Scopus)
1 Downloads (Pure)

Liquid business process model collections

Aalst, van der, W. M. P., La Rosa, M., Hofstede, ter, A. H. M. & Wynn, M. T., 2015, Modeling and Simulation-Based Systems Engineering Handbook. Gianni, D., D'Ambrogio, A. & Tolk, A. (eds.). Boca Raton: CRC Press, p. 401-423 (Engineering Management Book Series).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Viewing the internet of events through a process lens

Aalst, van der, W. M. P., 2015, BPM everywhere. Fischer, L. (ed.). Lighthouse Point: Future Strategies, p. 213-221 246 p. (BPM and workflow handbook series).

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

45 Downloads (Pure)
2014

An extensible framework for analysing resource behaviour using event logs

Pika, A., Wynn, M. T., Fidge, C. J., Hofstede, ter, A. H. M., Leyer, M. & Aalst, van der, W. M. P., 2014, Advanced Information Systems Engineering (26th International Conference, CAISE'14, Thessaloniki, Greece, June 16-20, 2014). Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H. & Horkoff, J. (eds.). Berlin: Springer, p. 564-579 (Lecture Notes in Computer Science; vol. 8484).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

19 Citations (Scopus)

Behavioral service substitution

Stahl, C. & Aalst, van der, W. M. P., 2014, Web Services Foundations. Bouguettaya, A., Sheng, Q. Z. & Daniel, F. (eds.). New York: Springer, p. 215-244

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
1 Downloads (Pure)

Desire lines in big data

Aalst, van der, W. M. P., 2014, Encyclopedia of Social Network Analysis and Mining. Alhajj, R. & Rokne, J. (eds.). Berlin: Springer, p. 351-364

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Large-scale sensor network analysis: applications in structural health monitoring

Vanschoren, J., Vespier, U., Miao, S., Meeng, M., Cachucho, R. & Knobbe, A., 2014, Big Data Management, Technologies, and Applications. Hu, W. C. & Kaabouch, N. (eds.). Hershey: IGI Global, p. 314-347 34 p.

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

Leren van positieve afwijkingen

Aalst, van der, W. M. P., 2014, Het beste idee van 2014. Baijens, J. A. (ed.). Tilburg: De Wereld, p. 85-87 309 p.

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

2013

Analyzing vessel behavior using process mining

Maggi, F. M., Mooij, A. J. & Aalst, van der, W. M. P., 2013, Situation Awareness with Systems of Systems. Laar, van de, P., Tretmans, J. & Borth, M. (eds.). New York: Springer, p. 133-148

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

9 Citations (Scopus)
3 Downloads (Pure)

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

Beautiful workflows : a matter of taste?

Aalst, van der, W. M. P., Westergaard, M. & Reijers, H. A., 2013, The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. Achten, P. & Koopman, P. W. M. (eds.). Berlin: Springer, p. 211-233 285 p. (Lecture Notes in Computer Science; vol. 8106).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

Business process modeling using Petri nets

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 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. 116-161 (Lecture Notes in Computer Science; vol. 7480).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

12 Citations (Scopus)
11 Downloads (Pure)

Cost-informed operational process support

Wynn, M. T., Reijers, H. A., Adams, M., Ouyang, C., Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Rosemann, M. & Hoque, Z., 2013, Conceptual Modeling (32nd International Conference, ER 2013, Hong Kong, November 11-13, 2013. Proceedings). Ng, W., Storey, V. C. & Trujillo, J. (eds.). Berlin: Springer, p. 174-181 (Lecture Notes in Computer Science; vol. 8217).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

6 Citations (Scopus)
1 Downloads (Pure)

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

13 Citations (Scopus)
1 Downloads (Pure)

Grade/CPN : a tool and temporal logic for testing colored Petri net models in teaching

Westergaard, M. & Fahland, D., 2013, Transactions on Petri Nets and Other Models of Concurrency VIII. Koutny, M., Aalst, van der, W. M. P. & Yakovlev, A. (eds.). Berlin: Springer, p. 180-202 (Lecture Notes in Computer Science; vol. 8100).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)

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)

Model-driven design-space exploration for software-intensive embedded systems

Basten, T., Hendriks, M., Trcka, N., Somers, L. J. A. M., Geilen, M. C. W., Yang, Y., Igna, G., Smet, de, S., Voorhoeve, M., Aalst, van der, W. M. P., Corporaal, H. & Vaandrager, F. W., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). New York: Springer, p. 189-244 (Embedded Systems; vol. 22).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

3 Downloads (Pure)

Process mining in healthcare : data challenges when answering frequently posed questions

Mans, R. S., Aalst, van der, W. M. P., Vanwersch, R. J. B. & Moleman, A. J., 2013, Process Support and Knowledge Representation in Health Care (BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers). Lenz, R., Miksch, S., Peleg, M., Reichert, M., Riaño, D. & Teije, ten, A. (eds.). Berlin: Springer, p. 140-153 (Lecture Notes in Computer Science; vol. 7738).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

81 Citations (Scopus)

Profiling event logs to configure risk indicators for process delays

Pika, A., Aalst, van der, W. M. P., Fidge, C. J., Hofstede, ter, A. H. M. & Wynn, M. T., 2013, Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings). Salinesi, C., Norrie, M. C. & Pastor, O. (eds.). Berlin: Springer, p. 465-481 (Lecture Notes in Computer Science; vol. 7908).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

13 Citations (Scopus)

Reflections on a decade of interorganizational workflow research

Aalst, van der, W. M. P. & Weske, M. H., 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. 307-313

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Similarity measuring between patient traces for clinical pathway analysis

Huang, Z., Lu, X. & Duan, H., 2013, Proceedings of the 14th Conference on Artificial Intelligence in Medicine, AIME2013, 29 May - 1 June 2013, Murcia, Spain. Peek, N., Marin Morales, R. & Peleg, M. (eds.). Berlin: Springer, p. 268-272 (Lecture Notes in Computer Science; vol. 7885).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
4 Citations (Scopus)
105 Downloads (Pure)

Specification and generation of adapters for system integration

Mooij, A. J. & Voorhoeve, M., 2013, Situation Awareness with Systems of Systems. Laar, van de, P., Tretmans, J. & Borth, M. (eds.). New York: Springer, p. 173-187

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

6 Citations (Scopus)

Strategies for modeling complex processes using colored Petri nets

Aalst, van der, W. M. P., Stahl, C. & Westergaard, M., 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. 6-55 (Lecture Notes in Computer Science; vol. 7480).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

23 Citations (Scopus)
3 Downloads (Pure)

The P2P approach to interorganizational workflows

Aalst, van der, W. M. P. & Weske, M. H., 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. 289-305

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

When can we trust a third party?

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VIII. Koutny, M., Aalst, van der, W. M. P. & Yakovlev, A. (eds.). Berlin: Springer, p. 106-122 (Lecture Notes in Computer Science; vol. 8100).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
1 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

1 Citation (Scopus)

A graphical approach to component-based and extensible model checking platforms

Westergaard, M. & Kristensen, L. M., 2012, Transactions on Petri Nets and Other Models of Concurrency V. Jensen, K., Donatelli, S. & Kleijn, J. (eds.). Berlin: Springer, p. 265-291 (Lecture Notes in Computer Science; vol. 6900).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Process mining and visual analytics : breathing life into business process models

Aalst, van der, W. M. P., Leoni, de, M. & Hofstede, ter, A. H. M., 2012, Computational intelligence. Floares, A. (ed.). Hauppauge: Nova Publishers, p. 107-138 222 p. (Computer Science, Technology and Applications).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

3 Citations (Scopus)

Verifying parallel algorithms and programs using coloured Petri nets

Westergaard, M., 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. 146-168 (Lecture Notes in Computer Science; vol. 7400).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

3 Citations (Scopus)
2011

Behind the screen it happens : from DSS to TSR

Hee, van, K. M., 2011, Jan Karel Lenstra, the traveling science man. Liber amicorum. Vonderen, van, C. (ed.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 152-161

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

1 Downloads (Pure)

Process mining from educational data

Trcka, N., Pechenizkiy, M. & Aalst, van der, W. M. P., 2011, Handbook of Educational Data Mining. Romero, C., Ventura, S., Pechenizkiy, M. & Baker, R. (eds.). London: CRC Press, p. 123-142 (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)
2010

Advanced synchronization

Wynn, M. T., Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 103-119

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Beyond process mining : from the past to present and future

Aalst, van der, W. M. P., Pesic, M. & Song, M. S., 2010, Advanced Information Systems Engineering (22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings). Pernici, B. (ed.). Berlin: Springer, p. 38-52 (Lecture Notes in Computer Science; vol. 6051).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

70 Citations (Scopus)
1 Downloads (Pure)

Business process simulation

Aalst, van der, W. M. P., Nakatumba, J., Rozinat, A. & Russell, N. C., 2010, Handbook on Business Process Management 1 : introduction, methods and information systems. Brocke, vom, J. & Rosemann, M. (eds.). Berlin: Springer, p. 313-338 (International Handbooks on Information Systems).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

17 Downloads (Pure)

Business trend analysis by simulation

Schonenberg, H., Jian, J., Sidorova, N. & Aalst, van der, W. M. P., 2010, Advanced Information Systems Engineering (22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings). Pernici, B. (ed.). Berlin: Springer, p. 515-529 (Lecture Notes in Computer Science; vol. 6051).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

7 Citations (Scopus)
1 Downloads (Pure)

Configurable services in the cloud : supporting variability while enabling

Aalst, van der, W. M. P., 2010, On the Move to Meaningful Internet Systems: OTM 2010 (Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I). Meersman, R., Dillon, T. & Herrero, P. (eds.). Berlin: Springer, p. 8-25 (Lecture Notes in Computer Science; vol. 6426).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

28 Citations (Scopus)
1 Downloads (Pure)

Correctness ensuring process configuration : an approach based on partner synthesis

Aalst, van der, W. M. P., Lohmann, N., La Rosa, M. & Xu, J., 2010, Business Process Management (8th International Conference, BPM 2010, Hoboken NJ, USA, September 13-16, 2010. Proceedings). Hull, R., Mendling, J. & Tai, S. (eds.). Berlin: Springer, p. 95-111 (Lecture Notes in Computer Science; vol. 6336).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

30 Citations (Scopus)

Declarative workflow

Pesic, M., Schonenberg, H. & Aalst, van der, W. M. P., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 175-201

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

17 Citations (Scopus)

Discovering process models with genetic algorithms using sampling

Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2010, Knowledge-Based and Intelligent Information and Engineering Systems (14th International Conference, KES'2010, Cardiff, UK, September 8-10, 2010. Proceedings). Setchi, R., Jordanov, I., Howlett, R. J. & Jain, L. C. (eds.). Berlin: Springer, p. 41-50 (Lecture Notes in Computer Science; vol. 6276).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

7 Citations (Scopus)
1 Downloads (Pure)

Epilogue

Aalst, van der, W. M. P., Adams, M., Hofstede, ter, A. H. M. & Russell, N. C., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 591-596

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

History-dependent stochastic Petri nets

Schonenberg, H., Sidorova, N., Aalst, van der, W. M. P. & Hee, van, K. M., 2010, Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (eds.). Berlin: Springer, p. 366-379 (Lecture Notes in Computer Science; vol. 5947).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

4 Citations (Scopus)
3 Downloads (Pure)

How the structuring of domain knowledge helps casual process modelers

Pinggera, J., Zugal, S., Weber, B., Fahland, D., Weidlich, M., Mendling, J. & Reijers, H. A., 2010, Conceptual Modeling - ER 2010 (29th International Conference on Conceptual Modeling, Vancouver BC, Canada, November 1-4, 2010. Proceedings). Parsons, J., Saeki, M., Shoval, P., Woo, C. & Wand, Y. (eds.). Berlin: Springer, p. 445-451 (Lecture Notes in Computer Science; vol. 6412).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

19 Citations (Scopus)

Introduction

Aalst, van der, W. M. P., Adams, M., Hofstede, ter, A. H. M. & Russell, N. C., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 3-19

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
1 Downloads (Pure)

Managing process model collections with AProMoRe

Fauvet, M. C., La Rosa, M., Sadegh, M., Alshareef, A., Dijkman, R. M., García-Bañuelos, L., Reijers, H. A., Aalst, van der, W. M. P., Dumas, M. & Mendling, J., 2010, Service-Oriented Computing (8th International Conference, ICSOC 2010, San Francisco CA, USA, December 7-10, 2010. Proceedings). Maglio, P. P., Weske, M., Yang, J. & Fabtinato, M. (eds.). Berlin: Springer, p. 699-701 (Lecture Notes in Computer Science; vol. 6470).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
5 Citations (Scopus)
75 Downloads (Pure)

Mining e-mail messages : uncovering interaction patterns and processes using e-mail logs (Chapter 11)

Aalst, van der, W. M. P. & Nikolov, A., 2010, Methodological advancements in intelligent information technologies : evolutionary trends. Sugumaran, V. (ed.). Information Science Reference, p. 212-233 (Advances in Intelligent Information Technologies (AIIT) Book Series).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

On-the-fly auditing of business processes

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P. A. P., 2010, Transactions on Petri Nets and Other Models of Concurrency IV. Jensen, K., Donatelli, S. & Koutny, M. (eds.). Berlin: Springer, p. 144-173 (Lecture Notes in Computer Science; vol. 6550).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
3 Downloads (Pure)

Process mining and simulation

Wynn, M. T., Rozinat, A., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Fidge, C. J., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 437-457

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

11 Citations (Scopus)
1 Downloads (Pure)

Schedule-aware workflow management systems

Mans, R. S., Russell, N. C., Aalst, van der, W. M. P., Moleman, A. J. & Bakker, P. J. M., 2010, Transactions on Petri Nets and Other Models of Concurrency IV. Jensen, K., Donatelli, S. & Koutny, M. (eds.). Berlin: Springer, p. 121-143 (Lecture Notes in Computer Science; vol. 6550).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

12 Citations (Scopus)