Cost-Aware Business Process Management: A Research Agenda - Moe Wynn; Jochen De Weerdt; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst; Hajo A. Reijers; Michael Adams; Chun Ouyang; Michael Rosemann; Wei Zhe Low (Australasian Conference on Information Systems, ACIS 2013, Melbourne, VIC, Australia, December 4-6, 2013, 2013)

Process Cubes: Slicing, Dicing, Rolling Up and Drilling Down Event Data for Process Mining - Wil M. P. van der Aalst (Asia Pacific Business Process Management - First Asia Pacific Conference, AP-BPM 2013, Beijing, China, August 29-30, 2013. Selected Papers, 2013)

A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets - Dennis M. M. Schunselaar; Eric Verbeek; Wil M. P. van der Aalst; Hajo A. Reijers (Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013, 2013)

Decomposing Replay Problems: A Case Study - Eric Verbeek; Wil M. P. van der Aalst (Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013, 2013)

Hierarchical Conformance Checking of Process Models Based on Event Logs - Jorge Munoz-Gama; Josep Carmona; Wil M. P. van der Aalst (Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings, 2013)

Discovering Block-Structured Process Models from Event Logs - A Constructive Approach - Sander J. J. Leemans; Dirk Fahland; Wil M. P. van der Aalst (Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings, 2013)

Mining Declarative Models Using Time Intervals - Jan Martijn E. M. van der Werf; Ronny Mans; Wil M. P. van der Aalst (Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013, 2013)

Beautiful Workflows: A Matter of Taste? - Wil M. P. van der Aalst; Michael Westergaard; Hajo A. Reijers (The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday, 2013)

Discovering and Navigating a Collection of Process Models Using Multiple Quality Dimensions - Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers, 2013)

Discovering Stochastic Petri Nets with Arbitrary Delay Distributions from Event Logs - Andreas Rogge-Solti; Wil M. P. van der Aalst; Mathias Weske (Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers, 2013)

Mining Configurable Process Models from Collections of Event Logs - Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Business Process Management - 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings, 2013)

Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour - Sander J. J. Leemans; Dirk Fahland; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers, 2013)

Enhancing Declare Maps Based on Event Correlations - R. P. Jagadeesh Chandra Bose; Fabrizio Maria Maggi; Wil M. P. van der Aalst (Business Process Management - 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings, 2013)

Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming - Massimiliano de Leoni; Wil M. P. van der Aalst (Business Process Management - 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings, 2013)

Conformance Checking in the Large: Partitioning and Topology - Jorge Munoz-Gama; Josep Carmona; Wil M. P. van der Aalst (Business Process Management - 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings, 2013)

Supporting Domain Experts to Select and Configure Precise Compliance Rules - Elham Ramezani; Dirk Fahland; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers, 2013)

Supporting Risk-Informed Decisions during Business Process Execution - Raffaele Conforti; Massimiliano de Leoni; Marcello La Rosa; Wil M. P. van der Aalst (Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings, 2013)

A Software Framework for Risk-Aware Business Process Management - Raffaele Conforti; Marcello La Rosa; Arthur H. M. ter Hofstede; Giancarlo Fortino; Massimiliano de Leoni; Wil M. P. van der Aalst; Michael Adams (Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), Valencia, Spain, June 20th, 2013, 2013)

Diagnostic Information for Compliance Checking of Temporal Compliance Requirements - Elham Ramezani Taghiabadi; Dirk Fahland; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings, 2013)

A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps - Fabrizio Maria Maggi; R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings, 2013)

Profiling Event Logs to Configure Risk Indicators for Process Delays - Anastasiia Pika; Wil M. P. van der Aalst; Colin J. Fidge; Arthur H. M. ter Hofstede; Moe Thandar Wynn (Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings, 2013)

Discovering signature patterns from event logs - R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2013, Singapore, 16-19 April, 2013, 2013)

Wanna improve process mining results? - Jagadeesh Chandra J. C. Bose; R. S. Mans; Wil M. P. van der Aalst (IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2013, Singapore, 16-19 April, 2013, 2013)

Process Mining in the Large: A Tutorial - Wil M. P. van der Aalst (Business Intelligence - Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures, 2013)

A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches - Linh Thao Ly; Fabrizio Maria Maggi; Marco Montali; Stefanie Rinderle-Ma; Wil M. P. van der Aalst (17th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2013, Vancouver, BC, Canada, September 9-13, 2013, 2013)

Cost-Informed Operational Process Support - Moe Thandar Wynn; Hajo A. Reijers; Michael Adams; Chun Ouyang; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst; Michael Rosemann; Zahirul Hoque (Conceptual Modeling - 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings, 2013)

A General Divide and Conquer Approach for Process Mining - Wil M. P. van der Aalst (Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013, 2013)

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations - Richard Müller; Christian Stahl; Wil M. P. van der Aalst; Michael Westergaard (Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings, 2013)

Challenges in Service Mining: Record, Check, Discover - Wil M. P. van der Aalst (Web Engineering - 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings, 2013)

Improving Documentation by Repairing Event Logs - Andreas Rogge-Solti; Ronny Mans; Wil M. P. van der Aalst; Mathias Weske (The Practice of Enterprise Modeling - 6th IFIP WG 8.1 Working Conference, PoEM 2013, Riga, Latvia, November 6-7, 2013, Proceedings, 2013)

Repairing Event Logs Using Timed Process Models - Andreas Rogge-Solti; Ronny Mans; Wil M. P. van der Aalst; Mathias Weske (On the Move to Meaningful Internet Systems: OTM 2013 Workshops - Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings, 2013)

Mediating between modeled and observed behavior: The quest for the "right" process: Keynote - Wil M. P. van der Aalst (IEEE 7th International Conference on Research Challenges in Information Science, RCIS 2013, Paris, France, May 29-31, 2013, 2013)

Data-aware process mining: discovering decisions in processes using alignments - Massimiliano de Leoni; Wil M. P. van der Aalst (Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, 2013)

Comparative Process Mining in Education: An Approach Based on Process Cubes - Wil M. P. van der Aalst; Shengnan Guo; Pierre Gorissen (Data-Driven Process Discovery and Analysis - Third IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2013, Riva del Garda, Italy, August 30, 2013, Revised Selected Papers, 2013)

Supporting the Workflow Management System Development Process with YAWL - Ronny Mans; Wil M. P. van der Aalst (Proceedings of the First YAWL Symposium, Sankt Augustin, Germany, June 7, 2013, 2013)

YAWL in the Cloud - Dennis M. M. Schunselaar; Tim van der Avoort; H. M. W. Verbeek; Wil M. P. van der Aalst (Proceedings of the First YAWL Symposium, Sankt Augustin, Germany, June 7, 2013, 2013)

The P2P Approach to Interorganizational Workflows - Wil M. P. van der Aalst; Mathias Weske (Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, 2013)

Reflections on a Decade of Interorganizational Workflow Research - Wil M. P. van der Aalst; Mathias Weske (Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, 2013)

Analyzing Vessel Behavior Using Process Mining - Fabrizio Maria Maggi; Arjan J. Mooij; Wil M. P. van der Aalst (Situation Awareness with Systems of Systems, 2013)

Transactions on Petri Nets and Other Models of Concurrency VII - Kurt Jensen; Wil M. P. van der Aalst; Gianfranco Balbo; Maciej Koutny; Karsten Wolf (Springer, 2013)

Transactions on Petri Nets and Other Models of Concurrency VIII - Maciej Koutny; Wil M. P. van der Aalst; Alex Yakovlev (Springer, 2013)

Passages in Graphs - Wil M. P. van der Aalst (CoRR, 2013)

Unleashing Operational Process Mining (Dagstuhl Seminar 13481) - Rafael Accorsi; Ernesto Damiani; Wil M. P. van der Aalst (Dagstuhl Reports, 2013)

Pattern-based analysis of computer-interpretable guidelines: Don't forget the context - Mor Peleg; Nataliya Mulyar; Wil M. P. van der Aalst (Artif. Intell. Medicine, 2012)

Process mining - Wil M. P. van der Aalst (Commun. ACM, 2012)

Visual support for work assignment in process-aware information systems: Framework formalisation and implementation - Massimiliano de Leoni; Michael Adams; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Decis. Support Syst., 2012)

Lightweight Interacting Patient Treatment Processes - Ronny Mans; Wil M. P. van der Aalst; Nick Russell; Piet J. M. Bakker; Arnold J. Moleman (Int. J. Knowl. Based Organ., 2012)

Process Mining - Rafael Accorsi; Meike Ullrich; Wil M. P. van der Aalst (Inform. Spektrum, 2012)

Process diagnostics using trace alignment: Opportunities, issues, and challenges - R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (Inf. Syst., 2012)

Ensuring correctness during process configuration via partner synthesis - Wil M. P. van der Aalst; Niels Lohmann; Marcello La Rosa (Inf. Syst., 2012)

Workflow patterns put into context - Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Softw. Syst. Model., 2012)

What makes a good process model? - Lessons learned from process mining - Wil M. P. van der Aalst (Softw. Syst. Model., 2012)

Process Mining: Overview and Opportunities - Wil M. P. van der Aalst (ACM Trans. Manag. Inf. Syst., 2012)

Aggregating Causal Runs into Workflow Nets - Boudewijn F. van Dongen; Jörg Desel; Wil M. P. van der Aalst (Trans. Petri Nets Other Model. Concurr., 2012)

Replaying history on process models for conformance checking and performance analysis - Wil M. P. van der Aalst; Arya Adriansyah; Boudewijn F. van Dongen (WIREs Data Mining Knowl. Discov., 2012)

Decomposing Process Mining Problems Using Passages - Wil M. P. van der Aalst (Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings, 2012)

An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets - Joyce Nakatumba; Michael Westergaard; Wil M. P. van der Aalst (Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings, 2012)

Creating Sound and Reversible Configurable Process Models Using CoSeNets - Dennis M. M. Schunselaar; Eric Verbeek; Wil M. P. van der Aalst; Hajo A. Reijers (Business Information Systems - 15th International Conference, BIS 2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings, 2012)

Data- and Resource-Aware Conformance Checking of Business Processes - Massimiliano de Leoni; Wil M. P. van der Aalst; Boudewijn F. van Dongen (Business Information Systems - 15th International Conference, BIS 2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings, 2012)

A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline - Wil M. P. van der Aalst (Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings, 2012)

Aligning Event Logs and Declarative Process Models for Conformance Checking - Massimiliano de Leoni; Fabrizio Maria Maggi; Wil M. P. van der Aalst (Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings, 2012)

Context-Aware Compliance Checking - Jan Martijn E. M. van der Werf; H. M. W. Verbeek; Wil M. P. van der Aalst (Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings, 2012)

Alignment Based Precision Checking - Arya Adriansyah; Jorge Munoz-Gama; Josep Carmona; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers, 2012)

Process Mining in Healthcare: Data Challenges When Answering Frequently Posed Questions - Ronny Mans; Wil M. P. van der Aalst; Rob J. B. Vanwersch; Arnold J. Moleman (Process Support and Knowledge Representation in Health Care - BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers, 2012)

Root Cause Analysis with Enriched Process Logs - Suriadi Suriadi; Chun Ouyang; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers, 2012)

An Experimental Evaluation of Passage-Based Process Discovery - Henricus M. W. (Eric) Verbeek; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers, 2012)

Predicting Deadline Transgressions Using Event Logs - Anastasiia Pika; Wil M. P. van der Aalst; Colin J. Fidge; Arthur H. M. ter Hofstede; Moe Thandar Wynn (Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers, 2012)

Process Mining Applied to the BPI Challenge 2012: Divide and Conquer While Discerning Resources - R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers, 2012)

Repairing Process Models to Reflect Reality - Dirk Fahland; Wil M. P. van der Aalst (Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings, 2012)

Where Did I Misbehave? Diagnostic Information in Compliance Checking - Elham Ramezani; Dirk Fahland; Wil M. P. van der Aalst (Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings, 2012)

Mining Inter-organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector - Robert Engel; Wil M. P. van der Aalst; Marco Zapletal; Christian Pichler; Hannes Werthner (Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings, 2012)

Efficient Discovery of Understandable Declarative Process Models from Event Logs - Fabrizio Maria Maggi; R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings, 2012)

Generating Event Logs with Workload-Dependent Speeds from Simulation Models - Joyce Nakatumba; Michael Westergaard; Wil M. P. van der Aalst (Advanced Information Systems Engineering Workshops - CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings, 2012)

A genetic algorithm for discovering process trees - Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2012, Brisbane, Australia, June 10-15, 2012, 2012)

Techniques for a Posteriori Analysis of Declarative Processes - Andrea Burattin; Fabrizio Maria Maggi; Wil M. P. van der Aalst; Alessandro Sperduti (16th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2012, Beijing, China, September 10-14, 2012, 2012)

Distributed Process Discovery and Conformance Checking - Wil M. P. van der Aalst (Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012)

An Operational Decision Support Framework for Monitoring Business Constraints - Fabrizio Maria Maggi; Marco Montali; Wil M. P. van der Aalst (Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012)

Configurable Declare: Designing Customisable Flexible Process Models - Dennis M. M. Schunselaar; Fabrizio Maria Maggi; Natalia Sidorova; Wil M. P. van der Aalst (On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I, 2012)

On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery - Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I, 2012)

Improving Business Process Models Using Observed Behavior - Joos C. A. M. Buijs; Marcello La Rosa; Hajo A. Reijers; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Data-Driven Process Discovery and Analysis - Second IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2012, Campione d'Italia, Italy, June 18-20, 2012, Revised Selected Papers, 2012)

Conformance Checking of Services Using the Best Matching Private View - Richard Müller; Wil M. P. van der Aalst; Christian Stahl (Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers, 2012)

Transactions on Petri Nets and Other Models of Concurrency VI - Kurt Jensen; Wil M. P. van der Aalst; Marco Ajmone Marsan; Giuliana Franceschinis; Jetty Kleijn; Lars Michael Kristensen (Springer, 2012)

Heuristics Miners for Streaming Event Data - Andrea Burattin; Alessandro Sperduti; Wil M. P. van der Aalst (CoRR, 2012)

Modeling Business Processes - A Petri Net-Oriented Approach - Wil M. P. van der Aalst; Christian Stahl (MIT Press, 2011)

Process Mining - Discovery, Conformance and Enhancement of Business Processes - Wil M. P. van der Aalst (Springer, 2011)

Business Process Management in the Large - Constantin Houy; Peter Fettke; Peter Loos; Wil M. P. van der Aalst; John Krogstie (Bus. Inf. Syst. Eng., 2011)

Using Process Mining to Bridge the Gap between BI and BPM - Wil M. P. van der Aalst (Computer, 2011)

Reinforcement learning based resource allocation in business process management - Zhengxing Huang; Wil M. P. van der Aalst; Xudong Lu; Huilong Duan (Data Knowl. Eng., 2011)

Conceptual model for online auditing - Wil M. P. van der Aalst; Kees M. van Hee; Jan Martijn E. M. van der Werf; Akhil Kumar; Marc Verdonk (Decis. Support Syst., 2011)

APROMORE: An advanced process model repository - Marcello La Rosa; Hajo A. Reijers; Wil M. P. van der Aalst; Remco M. Dijkman; Jan Mendling; Marlon Dumas; Luciano García-Bañuelos (Expert Syst. Appl., 2011)

Soundness of workflow nets: classification, decidability, and analysis - Wil M. P. van der Aalst; Kees M. van Hee; Arthur H. M. ter Hofstede; Natalia Sidorova; H. M. W. Verbeek; Marc Voorhoeve; Moe Thandar Wynn (Formal Aspects Comput., 2011)

Spi\(C\)a's Multi-Party Negotiation Protocol: Implementation Using YAWL - Evandro Bacarin; Edmundo Roberto Mauro Madeira; Claudia Bauzer Medeiros; Wil M. P. van der Aalst (Int. J. Cooperative Inf. Syst., 2011)

Time prediction based on process mining - Wil M. P. van der Aalst; M. H. Schonenberg; Minseok Song (Inf. Syst., 2011)

Product-based workflow support - Irene Vanderfeesten; Hajo A. Reijers; Wil M. P. van der Aalst (Inf. Syst., 2011)

Process mining: making knowledge discovery process centric - Wil M. P. van der Aalst (SIGKDD Explor., 2011)

Verifying workflow processes: a transformation-based approach - Haiping Zha; Wil M. P. van der Aalst; Jianmin Wang; Lijie Wen; Jiaguang Sun (Softw. Syst. Model., 2011)

Managing Process Model Complexity via Concrete Syntax Modifications - Marcello La Rosa; Arthur H. M. ter Hofstede; Petia Wohed; Hajo A. Reijers; Jan Mendling; Wil M. P. van der Aalst (IEEE Trans. Ind. Informatics, 2011)

Managing Process Model Complexity Via Abstract Syntax Modifications - Marcello La Rosa; Petia Wohed; Jan Mendling; Arthur H. M. ter Hofstede; Hajo A. Reijers; Wil M. P. van der Aalst (IEEE Trans. Ind. Informatics, 2011)

Geschäftsprozessmanagement im Großen - Constantin Houy; Peter Fettke; Peter Loos; Wil M. P. van der Aalst; John Krogstie (Wirtschaftsinf., 2011)

Aggregating Causal Runs into Workflow Nets - Boudewijn F. van Dongen; Jörg Desel; Wil M. P. van der Aalst (Proceedings of the Workshop Applications of Region Theory 2011, Newcastle upon Tyne, UK, June 21, 2011, 2011)

Do Petri Nets Provide the Right Representational Bias for Process Mining? - Wil M. P. van der Aalst (Proceedings of the Workshop Applications of Region Theory 2011, Newcastle upon Tyne, UK, June 21, 2011, 2011)

Semantic Process Mining for the Verification of Medical Recommendations - María Adela Grando; M. H. Schonenberg; Wil M. P. van der Aalst (HEALTHINF 2011 - Proceedings of the International Conference on Health Informatics, Rome, Italy, 26-29 January, 2011, 2011)

Semantic-Based Conformance Checking of Computer Interpretable Medical Guidelines - María Adela Grando; M. H. Schonenberg; Wil M. P. van der Aalst (Biomedical Engineering Systems and Technologies - 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers, 2011)

Behavioral Conformance of Artifact-Centric Process Models - Dirk Fahland; Massimiliano de Leoni; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Business Information Systems - 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011. Proceedings, 2011)

Towards Cross-Organizational Process Mining in Collections of Process Models and Their Executions - Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II, 2011)

Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study - Jan Vogelaar; H. M. W. Verbeek; B. Luka; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II, 2011)

Definition and Validation of Process Mining Use Cases - Irina Ailenei; Anne Rozinat; Albert Eckert; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, 2011)

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata - Fabrizio Maria Maggi; Marco Montali; Michael Westergaard; Wil M. P. van der Aalst (Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings, 2011)

Analysis of Patient Treatment Procedures - R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, 2011)

Process Mining Manifesto - Wil M. P. van der Aalst; Arya Adriansyah; Ana Karla Alves de Medeiros; Franco Arcieri; Thomas Baier; Tobias Blickle; R. P. Jagadeesh Chandra Bose; Peter van den Brand; Ronald Brandtjen; Joos C. A. M. Buijs; Andrea Burattin; Josep Carmona; et al. (Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, 2011)

Reusing a Declarative Specification to Check the Conformance of Different CIGs - María Adela Grando; Wil M. P. van der Aalst; Ronny Mans (Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II, 2011)

Conformance Checking of Interacting Processes with Overlapping Instances - Dirk Fahland; Massimiliano de Leoni; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings, 2011)

Simplifying Mined Process Models: An Approach Based on Unfoldings - Dirk Fahland; Wil M. P. van der Aalst (Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings, 2011)

Supporting Healthcare Processes with YAWL4Healthcare - Ronny Mans; Nick C. Russell; Wil M. P. van der Aalst; Arnold J. Moleman; Piet J. M. Bakker (Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011, Clermont-Ferrand, France, August 31st, 2011, 2011)

Discovering Hierarchical Process Models Using ProM - R. P. Jagadeesh Chandra Bose; Henricus M. W. (Eric) Verbeek; Wil M. P. van der Aalst (Proceedings of the CAiSE Forum 2011, London, UK, June 22-24, 2011, 2011)

Discovering Hierarchical Process Models Using ProM - R. P. Jagadeesh Chandra Bose; Henricus M. W. (Eric) Verbeek; Wil M. P. van der Aalst (IS Olympics: Information Systems in a Diverse World - CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers, 2011)

When Process Mining Meets Bioinformatics - R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (Proceedings of the CAiSE Forum 2011, London, UK, June 22-24, 2011, 2011)

When Process Mining Meets Bioinformatics - R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (IS Olympics: Information Systems in a Diverse World - CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers, 2011)

Handling Concept Drift in Process Mining - R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst; Indre Zliobaite; Mykola Pechenizkiy (Advanced Information Systems Engineering - 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings, 2011)

User-guided discovery of declarative process models - Fabrizio Maria Maggi; Arjan J. Mooij; Wil M. P. van der Aalst (Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2011, part of the IEEE Symposium Series on Computational Intelligence 2011, April 11-15, 2011, Paris, France, 2011)

Causal Nets: A Modeling Language Tailored towards Process Discovery - Wil M. P. van der Aalst; Arya Adriansyah; Boudewijn F. van Dongen (CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings, 2011)

Business Process Configuration in the Cloud: How to Support and Analyze Multi-tenant Processes? - Wil M. P. van der Aalst (9th IEEE European Conference on Web Services, ECOWS 2011, Lugano, Switzerland, September 14-16, 2011, 2011)

Process Mining for Electronic Data Interchange - Robert Engel; Worarat Krathu; Marco Zapletal; Christian Pichler; Wil M. P. van der Aalst; Hannes Werthner (E-Commerce and Web Technologies - 12th International Conference, EC-Web 2011, Toulouse, France, August 30 - September 1, 2011. Proceedings, 2011)

Conformance Checking Using Cost-Based Fitness Analysis - Arya Adriansyah; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2011, Helsinki, Finland, August 29 - September 2, 2011, 2011)

Intra- and Inter-Organizational Process Mining: Discovering Processes within and between Organizations - Wil M. P. van der Aalst (The Practice of Enterprise Modeling - 4th IFIP WG 8.1 Working Conference, PoEM 2011 Oslo, Norway, November 2-3, 2011 Proceedings, 2011)

Distributed Genetic Process Mining Using Sampling - Carmen Bratosin; Natalia Sidorova; Wil M. P. van der Aalst (Parallel Computing Technologies - 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings, 2011)

Runtime Verification of LTL-Based Declarative Process Models - Fabrizio Maria Maggi; Michael Westergaard; Marco Montali; Wil M. P. van der Aalst (Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, 2011)

A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition - Reng Zeng; Xudong He; Wil M. P. van der Aalst (World Congress on Services, SERVICES 2011, Washington, DC, USA, July 4-9, 2011, 2011)

Towards Improving the Representational Bias of Process Mining - Wil M. P. van der Aalst; Joos C. A. M. Buijs; Boudewijn F. van Dongen (Data-Driven Process Discovery and Analysis - First International Symposium, SIMPDA 2011, Campione d'Italia, Italy, June 29 - July 1, 2011, Revised Selected Papers, 2011)

A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining - Reng Zeng; Xudong He; Jiafei Li; Zheng Liu; Wil M. P. van der Aalst (3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion, Crete, Greece, June 20-21, 2011, 2011)

On the Representational Bias in Process Mining - Wil M. P. van der Aalst (20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2011, Paris, France, 27-29 June 2011, Proceedings, 2011)

Many-to-Many: Some Observations on Interactions in Artifact Choreographies - Dirk Fahland; Massimiliano de Leoni; Boudewijn F. van Dongen; Wil M. P. van der Aalst (3rd Central-European Workshop on Services and their Composition, Services und ihre Komposition, ZEUS 2011, Karlsruhe, Germany, February 21-22, 2011. Proceedings, 2011)

Process Discovery: Capturing the Invisible - Wil M. P. van der Aalst (IEEE Comput. Intell. Mag., 2010)

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes - Wil M. P. van der Aalst; Niels Lohmann; Peter Massuthe; Christian Stahl; Karsten Wolf (Comput. J., 2010)

Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor - Wil M. P. van der Aalst; Kees M. van Hee; Jan Martijn E. M. van der Werf; Marc Verdonk (Computer, 2010)

A reference model for grid architectures and its validation - Wil M. P. van der Aalst; Carmen Bratosin; Natalia Sidorova; Nikola Trcka (Concurr. Comput. Pract. Exp., 2010)

Mining process models with prime invisible tasks - Lijie Wen; Jianmin Wang; Wil M. P. van der Aalst; Biqing Huang; Jiaguang Sun (Data Knowl. Eng., 2010)

An adaptive work distribution mechanism based on reinforcement learning - Zhengxing Huang; Wil M. P. van der Aalst; Xudong Lu; Huilong Duan (Expert Syst. Appl., 2010)

Preserving correctness during business process model configuration - Wil M. P. van der Aalst; Marlon Dumas; Florian Gottschalk; Arthur H. M. ter Hofstede; Marcello La Rosa; Jan Mendling (Formal Aspects Comput., 2010)

Seven process modeling guidelines (7PMG) - Jan Mendling; Hajo A. Reijers; Wil M. P. van der Aalst (Inf. Softw. Technol., 2010)

Proclets in healthcare - R. S. Mans; Nick C. Russell; Wil M. P. van der Aalst; Piet J. M. Bakker; Arnold J. Moleman; Monique W. M. Jaspers (J. Biomed. Informatics, 2010)

Reduction rules for reset/inhibitor nets - H. M. W. Verbeek; Moe Thandar Wynn; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (J. Comput. Syst. Sci., 2010)

Simulation to Analyze the Impact of a Schedule-aware Workflow Management System - Ronny Mans; Nick C. Russell; Wil M. P. van der Aalst; Piet J. M. Bakker; Arnold J. Moleman (Simul., 2010)

Process mining: a two-step approach to balance between underfitting and overfitting - Wil M. P. van der Aalst; Vladimir A. Rubin; H. M. W. Verbeek; Boudewijn F. van Dongen; Ekkart Kindler; Christian W. Günther (Softw. Syst. Model., 2010)

Schedule-Aware Workflow Management Systems - Ronny Mans; Nick C. Russell; Wil M. P. van der Aalst; Arnold J. Moleman; Piet J. M. Bakker (Trans. Petri Nets Other Model. Concurr., 2010)

Declarative specification and verification of service choreographiess - Marco Montali; Maja Pesic; Wil M. P. van der Aalst; Federico Chesani; Paola Mello; Sergio Storari (ACM Trans. Web, 2010)

Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis - Wil M. P. van der Aalst; Niels Lohmann; Marcello La Rosa; Jingxin Xu (Business Process Management - 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings, 2010)

Mining Context-Dependent and Interactive Business Process Maps Using Execution Patterns - Jiafei Li; R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers, 2010)

Towards Robust Conformance Checking - Arya Adriansyah; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Business Process Management Workshops - BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers, 2010)

Trace Alignment in Process Mining: Opportunities for Process Diagnostics - R. P. Jagadeesh Chandra Bose; Wil M. P. van der Aalst (Business Process Management - 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings, 2010)

The PrICE Tool Kit: Tool Support for Process Improvement - Mariska Netjes; Hajo A. Reijers; Wil M. P. van der Aalst (Proceedings of the Business Process Management 2010 Demonstration Track, Hoboken, NJ, USA, September 14-16, 2010, 2010)

ProM 6: The Process Mining Toolkit - Eric Verbeek; Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Proceedings of the Business Process Management 2010 Demonstration Track, Hoboken, NJ, USA, September 14-16, 2010, 2010)

Business Process Simulation Revisited - Wil M. P. van der Aalst (Enterprise and Organizational Modeling and Simulation - 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Selected Papers, 2010)

Beyond Process Mining: From the Past to Present and Future - Wil M. P. van der Aalst; Maja Pesic; Minseok Song (Advanced Information Systems Engineering, 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings, 2010)

XES, XESame, and ProM 6 - H. M. W. Verbeek; Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Information Systems Evolution - CAiSE Forum 2010, Hammamet, Tunisia, June 7-9, 2010, Selected Extended Papers, 2010)

Business Trend Analysis by Simulation - Helen Schonenberg; Jingxian Jian; Natalia Sidorova; Wil M. P. van der Aalst (Advanced Information Systems Engineering, 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings, 2010)

XES Tools - Eric Verbeek; Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Proceedings of the CAiSE Forum 2010, Hammamet, Tunisia, June 9-11, 2010, 2010)

Distributed genetic process mining - Carmen Bratosin; Natalia Sidorova; Wil M. P. van der Aalst (Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2010, Barcelona, Spain, 18-23 July 2010, 2010)

Managing Process Model Collections with AProMoRe - Marie-Christine Fauvet; Marcello La Rosa; M. Sadegh; Abdurrahman Alshareef; Remco M. Dijkman; Luciano García-Bañuelos; Hajo A. Reijers; Wil M. P. van der Aalst; Marlon Dumas; Jan Mendling (Service-Oriented Computing - 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings, 2010)

BPM-in-the-Large - Towards a Higher Level of Abstraction in Business Process Management - Constantin Houy; Peter Fettke; Peter Loos; Wil M. P. van der Aalst; John Krogstie (E-Government, E-Services and Global Processes - Joint IFIP TC 8 and TC 6 International Conferences, EGES 2010 and GISP 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, 2010)

Discovering Process Models with Genetic Algorithms Using Sampling - Carmen Bratosin; Natalia Sidorova; Wil M. P. van der Aalst (Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part I, 2010)

COOPIS'10 Keynote - Wil M. P. van der Aalst (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, 2010)

Configurable Services in the Cloud: Supporting Variability While Enabling Cross-Organizational Process Mining - Wil M. P. van der Aalst (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, 2010)

Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model - Irene Vanderfeesten; Hajo A. Reijers; Wil M. P. van der Aalst; Jan Vogelaar (On the Move to Meaningful Internet Systems: OTM 2010 Workshops - Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings, 2010)

Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance - Maja Pesic; Dragan Bosnacki; Wil M. P. van der Aalst (Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings, 2010)

Introduction - Wil M. P. van der Aalst; Michael Adams; Arthur H. M. ter Hofstede; Nick Russell (Modern Business Process Automation - YAWL and its Support Environment, 2010)

Advanced Synchronization - Moe Thandar Wynn; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Modern Business Process Automation - YAWL and its Support Environment, 2010)

Declarative Workflow - Maja Pesic; Helen Schonenberg; Wil M. P. van der Aalst (Modern Business Process Automation - YAWL and its Support Environment, 2010)

The Declare Service - Maja Pesic; Helen Schonenberg; Wil M. P. van der Aalst (Modern Business Process Automation - YAWL and its Support Environment, 2010)

Process Mining and Simulation - Moe Thandar Wynn; Anne Rozinat; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Colin J. Fidge (Modern Business Process Automation - YAWL and its Support Environment, 2010)

YAWL4Healthcare - Ronny Mans; Wil M. P. van der Aalst; Nick Russell; Arnold J. Moleman; Piet J. M. Bakker; Monique W. M. Jaspers (Modern Business Process Automation - YAWL and its Support Environment, 2010)

Epilogue - Wil M. P. van der Aalst; Michael Adams; Arthur H. M. ter Hofstede; Nick Russell (Modern Business Process Automation - YAWL and its Support Environment, 2010)

Modern Business Process Automation - YAWL and its Support Environment - Arthur H. M. ter Hofstede; Wil M. P. van der Aalst; Michael Adams; Nick Russell (Springer, 2010)

Business process verification - finally a reality! - Moe Thandar Wynn; H. M. W. Verbeek; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; David Edmond (Bus. Process. Manag. J., 2009)

Radiology information system: a workflow-based approach - Jinyan Zhang; Xudong Lu; Hongchao Nie; Zhengxing Huang; Wil M. P. van der Aalst (Int. J. Comput. Assist. Radiol. Surg., 2009)

Dimensions of coupling in middleware - Lachlan Aldred; Wil M. P. van der Aalst; Marlon Dumas; Arthur H. M. ter Hofstede (Concurr. Comput. Pract. Exp., 2009)

Workflow Support Using Proclets: Divide, Interact, and Conquer - Wil M. P. van der Aalst; R. S. Mans; Nick C. Russell (IEEE Data Eng. Bull., 2009)

Workflow simulation for operational decision support - Anne Rozinat; Moe Thandar Wynn; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Colin J. Fidge (Data Knowl. Eng., 2009)

Declarative workflows: Balancing between flexibility and support - Wil M. P. van der Aalst; Maja Pesic; Helen Schonenberg (Comput. Sci. Res. Dev., 2009)

Synchronization and Cancelation in Workflows Based on Reset Nets - Moe Thandar Wynn; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; David Edmond (Int. J. Cooperative Inf. Syst., 2009)

Complexity metrics for Workflow nets - Kristian Bisgaard Lassen; Wil M. P. van der Aalst (Inf. Softw. Technol., 2009)

Reduction rules for YAWL workflows with cancellation regions and OR-joins - Moe Thandar Wynn; H. M. W. Verbeek; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; David Edmond (Inf. Softw. Technol., 2009)

Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark - Petia Wohed; Nick Russell; Arthur H. M. ter Hofstede; Birger Andersson; Wil M. P. van der Aalst (Inf. Softw. Technol., 2009)

Discovering simulation models - Anne Rozinat; R. S. Mans; Minseok Song; Wil M. P. van der Aalst (Inf. Syst., 2009)

Soundness-preserving reduction rules for reset workflow nets - Moe Thandar Wynn; H. M. W. Verbeek; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; David Edmond (Inf. Sci., 2009)

A novel approach for process mining based on event types - Lijie Wen; Jianmin Wang; Wil M. P. van der Aalst; Biqing Huang; Jiaguang Sun (J. Intell. Inf. Syst., 2009)

Soft reliability: an interdisciplinary approach with a user-system focus - Aylin Koca; Mathias Funk; Evangelos Karapanos; Anne Rozinat; Wil M. P. van der Aalst; Henk Corporaal; Jean-Bernard Martens; Piet van der Putten; A. J. M. M. Weijters; Aarnout Brombacher (Qual. Reliab. Eng. Int., 2009)

Questionnaire-based variability modeling for system configuration - Marcello La Rosa; Wil M. P. van der Aalst; Marlon Dumas; Arthur H. M. ter Hofstede (Softw. Syst. Model., 2009)

Process-Aware Information Systems: Lessons to Be Learned from Process Mining - Wil M. P. van der Aalst (Trans. Petri Nets Other Model. Concurr., 2009)

Designing a Workflow System Using Coloured Petri Nets - Nick C. Russell; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Trans. Petri Nets Other Model. Concurr., 2009)

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems - R. S. Mans; Wil M. P. van der Aalst; Nick C. Russell; Piet J. M. Bakker; Arnold J. Moleman; Kristian Bisgaard Lassen; Jens Bæk Jørgensen (Trans. Petri Nets Other Model. Concurr., 2009)

Soundness of Workflow Nets with Reset Arcs - Wil M. P. van der Aalst; Kees M. van Hee; Arthur H. M. ter Hofstede; Natalia Sidorova; H. M. W. Verbeek; Marc Voorhoeve; Moe Thandar Wynn (Trans. Petri Nets Other Model. Concurr., 2009)

From business process models to process-oriented software systems - Chun Ouyang; Marlon Dumas; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Jan Mendling (ACM Trans. Softw. Eng. Methodol., 2009)

Process Mining Applied to the Test Process of Wafer Scanners in ASML - Anne Rozinat; Ivo S. M. de Jong; Christian W. Günther; Wil M. P. van der Aalst (IEEE Trans. Syst. Man Cybern. Part C, 2009)

Compositional Service Trees - Wil M. P. van der Aalst; Kees M. van Hee; Peter Massuthe; Natalia Sidorova; Jan Martijn E. M. van der Werf (Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, 2009)

Using Process Mining to Generate Accurate and Interactive Business Process Maps - Wil M. P. van der Aalst (Business Information Systems Workshops, BIS 2009 International Workshops, Poznan, Poland, April 27-29, 2009. Revised Papers, 2009)

ProM: The Process Mining Toolkit - Wil M. P. van der Aalst; Boudewijn F. van Dongen; Christian W. Günther; Anne Rozinat; Eric Verbeek; Ton Weijters (Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), Ulm, Germany, September 8, 2009, 2009)

Visual Support for Work Assignment in YAWL - Francesco Cardi; Massimiliano de Leoni; Michael Adams; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst (Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), Ulm, Germany, September 8, 2009, 2009)

Analyzing Resource Behavior Using Process Mining - Joyce Nakatumba; Wil M. P. van der Aalst (Business Process Management Workshops, BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers, 2009)

Activity Mining by Global Trace Segmentation - Christian W. Günther; Anne Rozinat; Wil M. P. van der Aalst (Business Process Management Workshops, BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers, 2009)