12/12/11

Publications Wil van der Aalst [2010]

Click here for full list, recent publications, 2010, 2009, 2008, 2007, 2006, 2005, 2000-2004, before 2000.

 

565

M.H. Schonenberg, N. Sidorova, W.M.P. van der Aalst, and K. van Hee. History-Dependent Stochastic Petri Nets. In A. Pnueli, I. Virbitskaite, and A. Voronkov, editors, Perspectives of Systems Informatics, volume 5947 of Lecture Notes in Computer Science, pages 366-379. Springer-Verlag, Berlin, 2010.
 

566

H.M.W. Verbeek, J.C.A.M. Buijs, B.F. van Dongen, and W.M.P. van der Aalst. XES, XESame, and ProM 6. In P. Soffer and E. Proper, editors, Information Systems Evolution, volume 72 of Lecture Notes in Business Information Processing, pages 60-75. Springer-Verlag, Berlin, 2010.
 

567

R.S. Mans, N.C. Russell, W.M.P. van der Aalst, P.J.M. Bakker, and A.J. Moleman. Simulation to analyze the impact of a Schedule-Aware Workflow Management System. Simulation: Transactions of The Society for Modeling and Simulation International, 86(8-9):519-541, 2010.
 

568

W.M.P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. The Computer Journal, 53(1):90-106, 2010.
 

569

W.M.P. van der Aalst, J. Nakatumba, A. Rozinat, and N. Russell. Business Process Simulation. In J. vom Brocke and M. Rosemann, editors, Handbook on Business Process Management, International Handbooks on Information Systems, pages 313-338. Springer-Verlag, Berlin, 2010.
 

570

W.M.P. van der Aalst, V. Rubin, H.M.W. Verbeek, B.F. van Dongen, E. Kindler, and C.W. Günther. Process Mining: A Two-Step Approach to Balance Between Underfitting and Overfitting. Software and Systems Modeling, 9(1):87-111, 2010.
 

571

W.M.P. van der Aalst, M. Dumas, F. Gottschalk, A.H.M. ter Hofstede, M. La Rosa, and J. Mendling. Preserving Correctness During Business Process Model Configuration. Formal Aspects of Computing, 22(3):459-482, 2010.
 

572

H.M.W. Verbeek, M.T. Wynn, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Reduction Rules for Reset/Inhibitor Nets. Journal of Computer and System Sciences, 76(2):125-143, 2010.
 

573

M. Montali, M. Pesic, W.M.P. van der Aalst, F. Chesani, P. Mello, and S. Storari. Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web, 4(1):1-62, 2010.
 

574

J. Mendling, H. Reijers, and W.M.P. van der Aalst. Seven Process Modeling Guidelines (7PMG). Information and Software Technology, 52(2):127-136, 2010.
 

575

L. Wen, J. Wang, W.M.P. van der Aalst, B. Huang, and J. Sun. Mining Process Models with Prime Invisible Tasks. Data and Knowledge Engineering, 69(10):999-1021, 2010.
 

576

W.M.P. van der Aalst and A. Nikolov. Mining E-Mail Messages: Uncovering Interaction Patterns and Processes using E-mail Logs. In V. Sugumaran, editor, Methodological Advancements in Intelligent Information Technologies: Evolutionary Trends, pages 212-234. Information Science Reference, 2010.
 

577

A.H.M. ter Hofstede, W.M.P. van der Aalst, M. Adams, and N. Russell. Modern Business Process Automation: YAWL and its Support Environment. Springer-Verlag, Berlin, 2010.
 

578

W.M.P. van der Aalst, M. Adams, A.H.M. ter Hofstede, and N. Russell. Chapter 1: Introduction. In Modern Business Process Automation: YAWL and its Support Environment, pages 3-19. Springer-Verlag, Berlin, 2010.
 

579

M. Wynn, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Chapter 3: Advanced Synchronization. In Modern Business Process Automation: YAWL and its Support Environment, pages 103-119. Springer-Verlag, Berlin, 2010.
 

580

M. Pesic, H. Schonenberg, and W.M.P. van der Aalst. Chapter 6: Declarative Workflow. In Modern Business Process Automation: YAWL and its Support Environment, pages 175-201. Springer-Verlag, Berlin, 2010.
 

581

M. Pesic, H. Schonenberg, and W.M.P. van der Aalst. Chapter 12: The Declare Service. In Modern Business Process Automation: YAWL and its Support Environment, pages 327-343. Springer-Verlag, Berlin, 2010.
 

582

M. Wynn, A. Rozinat, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge. Chapter 17: Process Mining and Simulation. In Modern Business Process Automation: YAWL and its Support Environment, pages 437-457. Springer-Verlag, Berlin, 2010.
 

583

R. Mans, W.M.P. van der Aalst, N. Russell, A. Moleman, P. Bakker, and M. Jaspers. Chapter 21: YAWL4Healthcare. In Modern Business Process Automation: YAWL and its Support Environment, pages 543-565. Springer-Verlag, Berlin, 2010.
 

584

W.M.P. van der Aalst, M. Adams, A.H.M. ter Hofstede, and N. Russell. Chapter 23: Epilogue. In Modern Business Process Automation: YAWL and its Support Environment, pages 591-596. Springer-Verlag, Berlin, 2010.
 

585

J. Nakatumba and W.M.P. van der Aalst. Analyzing Resource Behavior Using Process Mining. In S. Rinderle-Ma, S. Sadiq, and F. Leymann, editors, BPM 2009 Workshops, Proceedings of the Fifth Workshop on Business Process Intelligence (BPI'09), volume 43 of Lecture Notes in Business Information Processing, pages 69-80. Springer-Verlag, Berlin, 2010.
 

586

C.W. Günther, A. Rozinat, and W.M.P. van der Aalst. Activity Mining by Global Trace Segmentation. In S. Rinderle-Ma, S. Sadiq, and F. Leymann, editors, BPM 2009 Workshops, Proceedings of the Fifth Workshop on Business Process Intelligence (BPI'09), volume 43 of Lecture Notes in Business Information Processing, pages 128-139. Springer-Verlag, Berlin, 2010.
 

587

R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models. In S. Rinderle-Ma, S. Sadiq, and F. Leymann, editors, BPM 2009 Workshops, Proceedings of the Fifth Workshop on Business Process Intelligence (BPI'09), volume 43 of Lecture Notes in Business Information Processing, pages 170-181. Springer-Verlag, Berlin, 2010.
 

588

M. Netjes, R. Mans, H.A. Reijers, W.M.P. van der Aalst, and R. Vanwersch. BPR Best Practices for the Healthcare Domain. In S. Rinderle-Ma, S. Sadiq, and F. Leymann, editors, BPM 2009 Workshops, Proceedings of the Third Workshop on Process-oriented information systems in healthcare (ProHealth'09), volume 43 of Lecture Notes in Business Information Processing, pages 605-616. Springer-Verlag, Berlin, 2010.
 

589

R.S. Mans, W.M.P. van der Aalst, N. Russell, P. Bakker, and A. Moleman. Process-Aware Information System Development for the Healthcare Domain - Consistency, Reliability, and Effectiveness. In S. Rinderle-Ma, S. Sadiq, and F. Leymann, editors, BPM 2009 Workshops, Proceedings of the Third Workshop on Process-oriented information systems in healthcare (ProHealth'09), volume 43 of Lecture Notes in Business Information Processing, pages 635-646. Springer-Verlag, Berlin, 2010.
 

590

Z. Huang, W.M.P. van der Aalst, X. Lu, and H. Duan. An Adaptive Work Distribution Mechanism Based on Reinforcement Learning. Expert Systems Applications, 37(12):7533-7541, 2010.
 

591

R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, P.J.M. Bakker, and M. Jaspers. Proclets in Healthcare. Journal of Biomedical Informatics, 43(4):632-649, 2010.
 

592

W.M.P. van der Aalst. Process Discovery: Capturing the Invisible. IEEE Computational Intelligence Magazine, 5(1):28-41, 2010.
 

593

W.M.P. van der Aalst, K.M. van Hee, J.M. van der Werf, and M. Verdonk. Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. IEEE Computer, 43(3):90-93, 2010.
 

594

W.M.P. van der Aalst. Geef Informatiesystemen TomTom-Functionaliteit. Management Executive, (1):12-14, January/February 2010.
 

595

W.M.P. van der Aalst. Process Mining Biedt Nieuwe Mogelijkheden: Geef Informatiesystemen TomTom-Functionaliteit. Kluwer Management: Verdieping, 169:1-11, 2010.
 

596

N. Trcka, M. Pechenizkiy, and W.M.P. van der Aalst. Chapter 9: Process Mining from Educational Data. In C. Romero, S. Ventura, M. Pechenizkiy, and R. Baker, editors, Handbook of Educational Data Mining, Data Mining and Knowledge Discovery Series, pages 123-142. Taylor and Francis, 2010.
 

597

W.M.P. van der Aalst. Business Process Simulation Revisited. In J. Barjis, editor, Enterprise and Organizational Modeling and Simulation, volume 63 of Lecture Notes in Business Information Processing, pages 1-14. Springer-Verlag, Berlin, 2010.
 

598

H. Schonenberg, J. Jian, N. Sidorova, and W.M.P. van der Aalst. Business Trend Analysis by Simulation. In B. Pernici, editor, Advanced Information Systems Engineering, Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), volume 6051 of Lecture Notes in Computer Science, pages 515-529. Springer-Verlag, Berlin, 2010.
 

599

W.M.P. van der Aalst, M. Pesic, and M. Song. Beyond Process Mining: From the Past to Present and Future. In B. Pernici, editor, Advanced Information Systems Engineering, Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), volume 6051 of Lecture Notes in Computer Science, pages 38-52. Springer-Verlag, Berlin, 2010.
 

600

W.M.P. van der Aalst. Geef Informatiesystemen TomTom-Functionaliteit. Tijdschrift Controlling, 25(10):22-25, 2010.
 

601

C. Bratosin, N. Sidorova, and W.M.P. van der Aalst. Distributed Genetic Process Mining. In H. Ishibuchi, editor, IEEE World Congress on Computational Intelligence (WCCI 2010), pages 1951-1958, Barcelona, Spain, July 2010. IEEE.
 

602

R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. Trace Alignment in Process Mining: Opportunities for Process Diagnostics. In R. Hull, J. Mendling, and S. Tai, editors, Business Process Management (BPM 2010), volume 6336 of Lecture Notes in Computer Science, pages 227-242. Springer-Verlag, Berlin, 2010.
 

603

W.M.P. van der Aalst, N. Lohmann, M. La Rosa, and J. Xu. Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. In R. Hull, J. Mendling, and S. Tai, editors, Business Process Management (BPM 2010), volume 6336 of Lecture Notes in Computer Science, pages 95-111. Springer-Verlag, Berlin, 2010.
 

604

M. Pesic, D. Bosnacki, and W.M.P. van der Aalst. Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. In J. van de Pol and M. Weber, editors, Proceedings of the 17th International SPIN Workshop on Model Checking of Software (SPIN2010), volume 6349 of Lecture Notes in Computer Science, pages 146-161. Springer-Verlag, Berlin, 2010.
 

605

I. Vanderfeesten, H.A. Reijers, W.M.P. van der Aalst, and J. Vogelaar. Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model. In R.Meersman, T. Dillon, and P. Herrero, editors, OTM Workshops, volume 6428 of Lecture Notes in Computer Science, pages 665-674. Springer-Verlag, Berlin, 2010.
 

606

C. Houy, P. Fettke, P. Loos, W.M.P. van der Aalst, and J. Krogstie. BPM-in-the-Large: Towards a Higher Level of Abstraction in Business Process Management. In M. Janssen, W. Lamersdorf, J. Pries-Heje, and M. Rosemann, editors, E-Government, E-Services and Global Processes, volume 334 of IFIP Advances in Information and Communication Technology, pages 237-248. Springer-Verlag, Berlin, 2010.
 

607

C. Bratosin, N. Sidorova, and W.M.P. van der Aalst. Discovering Process Models with Genetic Algorithms Using Sampling. In R. Setchi, I. Jordanov, R. Howlett, and L. Jain, editors, Knowledge-Based and Intelligent Information and Engineering Systems (KES 2010), volume 6276 of Lecture Notes in Computer Science, pages 41-50. Springer-Verlag, Berlin, 2010.
 

608

W.M.P. van der Aalst. Configurable Services in the Cloud: Supporting Variability While Enabling Cross-Organizational Process Mining. In R.Meersman, T. Dillon, and P. Herrero, editors, OTM Federated Conferences, 18th International Conference on Cooperative Information Systems (CoopIS 2010), volume 6426 of Lecture Notes in Computer Science, pages 8-25. Springer-Verlag, Berlin, 2010.
 

609

W.M.P. van der Aalst, M.H. Schonenberg, and M. Song. Time Prediction Based on Process Mining. Information Systems, 36(2):450-475, 2011.
 

610

J. Li, R.P. Jagadeesh Chandra Bose, and W.M.P. van der Aalst. Mining Context-Dependent and Interactive Business Process Maps using Execution Patterns. In M. zur Muehlen and J. Su, editors, BPM 2010 Workshops, Proceedings of the Sixth Workshop on Business Process Intelligence (BPI2010), volume 66 of Lecture Notes in Business Information Processing, pages 109-121. Springer-Verlag, Berlin, 2011.
 

611

A. Adriansyah, B.F. van Dongen, and W.M.P. van der Aalst. Towards Robust Conformance Checking. In M. zur Muehlen and J. Su, editors, BPM 2010 Workshops, Proceedings of the Sixth Workshop on Business Process Intelligence (BPI2010), volume 66 of Lecture Notes in Business Information Processing, pages 122-133. Springer-Verlag, Berlin, 2011.
 

612

R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, and P.J.M. Bakker. Schedule-Aware Workflow Management Systems. In K. Jensen, S. Donatelli, and M. Koutny, editors, Transactions on Petri Nets and Other Models of Concurrency IV, volume 6550 of Lecture Notes in Computer Science, pages 121-143. Springer-Verlag, Berlin, 2010.
 

613

M.C. Fauvet, M. La Rosa, M. Sadegh, A. Alshareef, R.M. Dijkman, L. Garcia-Banuelos H.A. Reijers, W.M.P. van der Aalst, M. Dumas, and J. Mendling. Managing Process Model Collections with APROMORE. In P. Maglio, M. Weske, J. Yang, and M. Fantinato, editors, Proceedings of Service-Oriented Computing (ICSOC 2010), volume 6470 of Lecture Notes in Computer Science, pages 699-701. Springer-Verlag, Berlin, 2010.
 

614

W.M.P. van der Aalst, C. Bratosin, N. Sidorova, and N. Trcka. A Reference Model for Grid Architectures and its Validation. Concurrency and Computation: Practice and Experience, 22(11):1365–-1385, 2010.