Contact

All Stories

  1. Inferring Unobserved Events in Systems with Shared Resources and Queues

    Article • Fundamenta Informaticae, January 2022, IOS Press

    prof.dr.ir. Wil van der Aalst

  2. Stochastic process mining: Earth movers’ stochastic conformance

    Article • Information Systems, December 2021, Elsevier

    prof.dr.ir. Wil van der Aalst

  3. Group-based privacy preservation techniques for process mining

    Article • Data & Knowledge Engineering, July 2021, Elsevier

    prof.dr.ir. Wil van der Aalst

  4. Cortado—An Interactive Tool for Data-Driven Process Discovery and Modeling

    Article • January 2021, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  5. Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets

    Article • January 2021, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  6. A Framework for Explainable Concept Drift Detection in Process Mining

    Article • January 2021, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  7. A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement

    Article • January 2021, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  8. Alignment Approximation for Process Trees

    Article • January 2021, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  9. PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data

    Article • January 2021, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  10. Privacy-Preserving Continuous Event Data Publishing

    Article • January 2021, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  11. Towards Quantifying Privacy in Process Mining

    Article • January 2021, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  12. Towards Reliable Business Process Simulation: A Framework to Integrate ERP Systems

    Article • January 2021, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  13. Efficient Time and Space Representation of Uncertain Event Data

    Article • Algorithms, November 2020, MDPI AG

    prof.dr.ir. Wil van der Aalst

  14. Special issue on business process intelligence

    Article • Computing, October 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  15. Discovering Object-centric Petri Nets

    Article • Fundamenta Informaticae, September 2020, IOS Press

    prof.dr.ir. Wil van der Aalst

  16. Automated model analysis tools and techniques presented at FASE 2019

    Article • International Journal on Software Tools for Technology Transfer, September 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  17. Impact of COVID-19 on BISE Research and Education

    Article • Business & Information Systems Engineering, September 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  18. Citizen Science in Information Systems Research

    Article • Business & Information Systems Engineering, July 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  19. Seven Paradoxes of Business Process Management in a Hyper-Connected World

    Article • Business & Information Systems Engineering, April 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  20. Resource-centric process mining

    Article • March 2020, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  21. Privacy-Preserving Process Mining in Healthcare

    Article • International Journal of Environmental Research and Public Health, March 2020, MDPI AG

    prof.dr.ir. Wil van der Aalst

  22. Scalable Discovery of Hybrid Process Models in a Cloud Computing Environment

    Article • IEEE Transactions on Services Computing, March 2020, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  23. Research in the Attention Economy

    Article • Business & Information Systems Engineering, February 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  24. Data-based description of process performance in end-to-end order processing

    Article • CIRP Annals, January 2020, Elsevier

    prof.dr.ir. Wil van der Aalst

  25. A General Framework for Action-Oriented Process Mining

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  26. Conformance Checking Approximation Using Subset Selection and Edit Distance

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  27. Connected, Digitalized Welding Production—Secure, Ubiquitous Utilization of Data Across Process Layers

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst, Jan Pennekamp

  28. Efficient Construction of Behavior Graphs for Uncertain Event Data

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  29. Extracting Multiple Viewpoint Models from Relational Databases

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  30. Improving the performance of process discovery algorithms by instance selection

    Article • Computer Science and Information Systems, January 2020, National Library of Serbia

    prof.dr.ir. Wil van der Aalst

  31. Incremental Discovery of Hierarchical Process Models

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  32. Privacy-Preserving Data Publishing in Process Mining

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  33. Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  34. Semi-automated Time-Granularity Detection for Data-Driven Simulation Using Process Mining and System Dynamics

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  35. Supporting Automatic System Dynamics Model Generation for Simulation in the Context of Process Mining

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  36. Supporting Confidentiality in Process Mining Using Abstraction and Encryption

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  37. Supporting Decisions in Production Line Processes by Combining Process Mining and System Dynamics

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  38. TLKC-Privacy Model for Process Mining

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  39. Visualizing Token Flows Using Interactive Performance Spectra

    Article • January 2020, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  40. Lucent Process Models and Translucent Event Logs

    Article • Fundamenta Informaticae, October 2019, IOS Press

    prof.dr.ir. Wil van der Aalst

  41. Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

    Article • Information Systems, October 2019, Elsevier

    prof.dr.ir. Wil van der Aalst

  42. Big Digital Platforms

    Article • Business & Information Systems Engineering, September 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  43. Introducing Registered Reports to the Information Systems Community

    Article • Business & Information Systems Engineering, June 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  44. Mining Uncertain Event Data in Process Mining

    Article • June 2019, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  45. On the application of sequential pattern mining primitives to process discovery: Overview, outlook and opportunity identification

    Article • Wiley Interdisciplinary Reviews Data Mining and Knowledge Discovery, May 2019, Wiley

    prof.dr.ir. Wil van der Aalst

  46. Object-centric behavioral constraint models

    Article • April 2019, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  47. Generating time-based label refinements to discover more precise process models

    Article • Journal of Ambient Intelligence and Smart Environments, March 2019, IOS Press

    prof.dr.ir. Wil van der Aalst

  48. Blind Spots in Business and Information Systems Engineering

    Article • Business & Information Systems Engineering, February 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  49. Everything You Always Wanted to Know About Petri Nets, but Were Afraid to Ask

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  50. Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  51. Discovering Process Models from Uncertain Event Data

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  52. Mining Roles from Event Logs While Preserving Privacy

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  53. A General Framework to Identify Software Components from Execution Data

    Article • January 2019, Scitepress

    prof.dr.ir. Wil van der Aalst

  54. A Generic Approach for Process Performance Analysis Using Bipartite Graph Matching

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  55. A Model-based Framework to Automatically Generate Semi-real Data for Evaluating Data Analysis Techniques

    Article • January 2019, Scitepress

    prof.dr.ir. Wil van der Aalst

  56. A Tour in Process Mining: From Practice to Algorithmic Challenges

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  57. A practitioner’s guide to process mining: Limitations of the directly-follows graph

    Article • Procedia Computer Science, January 2019, Elsevier

    prof.dr.ir. Wil van der Aalst

  58. Automated Robotic Process Automation: A Self-Learning Approach

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  59. BIpm: Combining BI and Process Mining

    Article • January 2019, Scitepress

    prof.dr.ir. Wil van der Aalst

  60. Discovering Petri Nets: A Personal Journey

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  61. Earth Movers’ Stochastic Conformance Checking

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  62. Evaluating Conformance Measures in Process Mining Using Conformance Propositions

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  63. Fairness-Aware Process Mining

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  64. Finding Complex Process-Structures by Exploiting the Token-Game

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  65. Fundamental Approaches to Software Engineering

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  66. Improving Merging Conditions for Recomposing Conformance Checking

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  67. Multi-instance Mining: Discovering Synchronisation in Artifact-Centric Processes

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  68. Mining Blockchain Processes: Extracting Process Mining Data from Blockchain Applications

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  69. Responsible Data Science in a Dynamic World

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  70. Structuring Behavior or Not, That is the Question

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  71. The Impact of Event Log Subset Selection on the Performance of Process Discovery Algorithms

    Article • January 2019, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  72. Data-Driven Usability Test Scenario Creation

    Article • December 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  73. Analysing Structured Learning Behaviour in Massive Open Online Courses (MOOCs): An Approach Based on Process Mining and Clustering

    Article • The International Review of Research in Open and Distributed Learning, November 2018, Athabasca University Press

    prof.dr.ir. Wil van der Aalst

  74. Views on the Past, Present, and Future of Business and Information Systems Engineering

    Article • Business & Information Systems Engineering, November 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  75. Discovering high-level BPMN process models from event data

    Article • Business Process Management Journal, October 2018, Emerald

    prof.dr.ir. Wil van der Aalst

  76. Fast Conformance Analysis Based on Activity Log Abstraction

    Article • October 2018, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  77. Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining

    Article • Information Sciences, October 2018, Elsevier

    prof.dr.ir. Wil van der Aalst

  78. Interest-driven discovery of local process models

    Article • Information Systems, September 2018, Elsevier

    prof.dr.ir. Wil van der Aalst

  79. Software Process Analysis Methodology – A Methodology Based on Lessons Learned in Embracing Legacy Software

    Article • September 2018, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  80. Preface

    Article • Fundamenta Informaticae, July 2018, IOS Press

    Professor Wojciech Penczek, prof.dr.ir. Wil van der Aalst

  81. Configurable Event Correlation for Process Discovery from Object-Centric Event Data

    Article • July 2018, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  82. The imprecisions of precision measures in process mining

    Article • Information Processing Letters, July 2018, Elsevier

    prof.dr.ir. Wil van der Aalst

  83. Guided Process Discovery – A pattern-based approach

    Article • Information Systems, July 2018, Elsevier

    prof.dr.ir. Wil van der Aalst

  84. Guided Interaction Exploration and Performance Analysis in Artifact-Centric Process Models

    Article • Business & Information Systems Engineering, June 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  85. Symbolically Aligning Observed and Modelled Behaviour

    Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  86. Mining Local Process Models with Constraints Efficiently: Applications to the Analysis of Smart Home Data

    Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  87. Component interface identification and behavioral model discovery from software execution data

    Article • May 2018, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  88. Robotic Process Automation

    Article • Business & Information Systems Engineering, May 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  89. Discovering more precise process models from event logs by filtering out chaotic activities

    Article • Journal of Intelligent Information Systems, May 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  90. Process variant comparison: Using event logs to detect differences in behavior and business rules

    Article • Information Systems, May 2018, Elsevier

    prof.dr.ir. Wil van der Aalst

  91. ProDiGy : Human-in-the-loop process discovery

    Article • May 2018, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  92. Similarity resonance for improving process model matching accuracy

    Article • April 2018, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  93. Blockchains for Business Process Management - Challenges and Opportunities

    Article • ACM Transactions on Management Information Systems, March 2018, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst, Professor Jan vom Brocke, The Benjamin and Florence Free Chaired Professor Avigdor Gal, Munindar Singh, Stefan Schulte, Marlon Dumas, Dr Guido Governatori

  94. Linking data and process perspectives for conformance analysis

    Article • Computers & Security, March 2018, Elsevier

    prof.dr.ir. Wil van der Aalst

  95. Recursion aware modeling and discovery for hierarchical software event log analysis

    Article • March 2018, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  96. Special Issue on Service-Oriented Collaborative Computing and Applications

    Article • IEEE Transactions on Services Computing, March 2018, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  97. The Statechart Workbench: Enabling scalable software event log analysis using process mining

    Article • March 2018, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  98. Connecting databases with process mining: a meta model and toolset

    Article • Software & Systems Modeling, February 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  99. Process discovery from event data: Relating models and logs through abstractions

    Article • Wiley Interdisciplinary Reviews Data Mining and Knowledge Discovery, February 2018, Wiley

    prof.dr.ir. Wil van der Aalst

  100. Spreadsheets for business process management

    Article • Business Process Management Journal, February 2018, Emerald

    prof.dr.ir. Wil van der Aalst

  101. Business Process Variability Modeling

    Article • ACM Computing Surveys, January 2018, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst, Marlon Dumas

  102. Why the Community Should Care About Technology-Centric Journal Rankings

    Article • Business & Information Systems Engineering, January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  103. Conceptual Schema Transformation in OBDA

    Article • January 2018, Springer Science + Business Media

    T. E. KALAYCI, prof.dr.ir. Wil van der Aalst

  104. A general framework to detect behavioral design patterns

    Article • January 2018, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  105. Applying Sequence Mining for Outlier Detection in Process Mining

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  106. Business Process Analytics and Big Data Systems: A Roadmap to Bridge the Gap

    Article • IEEE Access, January 2018, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  107. Detection and Interactive Repair of Event Ordering Imperfection in Process Logs

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  108. Discovering the “Glue” Connecting Activities

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  109. Extracting Object-Centric Event Logs to Support Process Mining on Databases

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  110. Fast Incremental Conformance Analysis for Interactive Process Discovery

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  111. Hierarchical performance analysis for process mining

    Article • January 2018, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  112. Incremental Computation of Synthesis Rules for Free-Choice Petri Nets

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  113. Interactive Data-Driven Process Model Construction

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  114. Lifecycle-Based Process Performance Analysis

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  115. LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  116. Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  117. Maximizing Synchronization for Aligning Observed and Modelled Behaviour

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  118. Mining Hybrid Business Process Models: A Quest for Better Precision

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  119. Repairing Outlier Behaviour in Event Logs

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  120. Unbiased, Fine-Grained Description of Processes Performance from Event Data

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  121. E-Government Services: Comparing Real and Expected User Behavior

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  122. Improving Process Discovery Results by Filtering Outliers Using Conditional Behavioural Probabilities

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  123. Recurrent Process Mining with Live Event Data

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  124. Visual Analytics for Soundness Verification of Process Models

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  125. DB-XES: Enabling Process Discovery in the Large

    Article • January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  126. A Framework to Support Behavioral Design Pattern Detection from Software Execution Data

    Article • January 2018, Scitepress

    prof.dr.ir. Wil van der Aalst

  127. Process Mining and Simulation: A Match Made in Heaven!

    Article • January 2018, Society for Modeling and Simulation International (SCS)

    prof.dr.ir. Wil van der Aalst

  128. Search for resonant and nonresonant Higgs boson pair production in the b b ¯ ℓνℓν $$ \mathrm{b}\overline{\mathrm{b}}\mathit{\ell \nu \ell \nu } $$ final state in proton-proton collisions at s = 13 $$ \sqrt{s}=13 $$ TeV

    Article • Journal of High Energy Physics, January 2018, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  129. Mining Process Model Descriptions of Daily Life Through Event Abstraction

    Article • December 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  130. Measurement of charged pion, kaon, and proton production in proton-proton collisions at s=13  TeV

    Article • December 2017, American Physical Society (APS)

    prof.dr.ir. Wil van der Aalst

  131. Principal-component analysis of two-particle azimuthal correlations in PbPb and pPb collisions at CMS

    Article • December 2017, American Physical Society (APS)

    prof.dr.ir. Wil van der Aalst

  132. Using Event Logs for Local Correction of Process Models

    Article • Automatic Control and Computer Sciences, December 2017, Allerton Press

    prof.dr.ir. Wil van der Aalst

  133. Search for Evidence of the Type-III Seesaw Mechanism in Multilepton Final States in Proton-Proton Collisions at s=13  TeV

    Article • Physical Review Letters, December 2017, American Physical Society (APS)

    prof.dr.ir. Wil van der Aalst

  134. Discovering workflow nets using integer linear programming

    Article • Computing, November 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  135. Measurement of vector boson scattering and constraints on anomalous quartic couplings from events with four leptons and two jets in proton–proton collisions at s=13 TeV

    Article • Physics Letters B, November 2017, Elsevier

    prof.dr.ir. Wil van der Aalst

  136. Search for a light pseudoscalar Higgs boson produced in association with bottom quarks in pp collisions at $$ \sqrt{s}=8 $$ TeV

    Article • Journal of High Energy Physics, November 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  137. Search for electroweak production of charginos and neutralinos in WH events in proton-proton collisions at $$ \sqrt{s}=13 $$ TeV

    Article • Journal of High Energy Physics, November 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  138. Human Performance-Aware Scheduling and Routing of a Multi-Skilled Workforce

    Article • Complex Systems Informatics and Modeling Quarterly, October 2017, Riga Technical University

    prof.dr.ir. Wil van der Aalst

  139. Online conformance checking: relating event streams to process models using prefix-alignments

    Article • International Journal of Data Science and Analytics, October 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  140. Search for Higgs boson pair production in the bbττ final state in proton-proton collisions at (s)=8  TeV

    Article • October 2017, American Physical Society (APS)

    prof.dr.ir. Wil van der Aalst

  141. Spectral calibration of the fluorescence telescopes of the Pierre Auger Observatory

    Article • Astroparticle Physics, October 2017, Elsevier

    Dr Luis A Nunez, prof.dr.ir. Wil van der Aalst

  142. Search for direct production of supersymmetric partners of the top quark in the all-jets final state in proton-proton collisions at s = 13 $$ \sqrt{s}=13 $$ TeV

    Article • Journal of High Energy Physics, October 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  143. Search for heavy resonances that decay into a vector boson and a Higgs boson in hadronic final states at $$\sqrt{s} = 13$$ s = 13 $$\,\text {TeV}$$ ...

    Article • The European Physical Journal C, September 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  144. A framework for detecting deviations in complex event logs

    Article • Intelligent Data Analysis, August 2017, IOS Press

    prof.dr.ir. Wil van der Aalst

  145. Discovering work prioritisation patterns from event logs

    Article • Decision Support Systems, August 2017, Elsevier

    prof.dr.ir. Wil van der Aalst

  146. Process querying: Enabling business intelligence through query-based process analytics

    Article • Decision Support Systems, August 2017, Elsevier

    prof.dr.ir. Wil van der Aalst

  147. ProcessProfiler3D: A visualisation framework for log-based process performance comparison

    Article • Decision Support Systems, August 2017, Elsevier

    prof.dr.ir. Wil van der Aalst

  148. Guided Interaction Exploration in Artifact-centric Process Models

    Article • July 2017, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  149. Responsible Data Science

    Article • Business & Information Systems Engineering, June 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  150. Trans-National Joint Research Projects

    Article • Business & Information Systems Engineering, May 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  151. Event stream-based process discovery using abstract representations

    Article • Knowledge and Information Systems, May 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  152. Divide and Conquer: A Tool Framework for Supporting Decomposed Discovery in Process Mining

    Article • The Computer Journal, May 2017, Oxford University Press (OUP)

    prof.dr.ir. Wil van der Aalst

  153. Impact-Driven Process Model Repair

    Article • ACM Transactions on Software Engineering and Methodology, May 2017, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  154. Efficient Event Correlation over Distributed Systems

    Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  155. Generating event logs for high-level process models

    Article • Simulation Modelling Practice and Theory, May 2017, Elsevier

    prof.dr.ir. Wil van der Aalst

  156. IEEE 1849: The XES Standard: The Second IEEE Standard Sponsored by IEEE Computational Intelligence Society [Society Briefs]

    Article • IEEE Computational Intelligence Magazine, May 2017, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  157. Change visualisation: Analysing the resource and timing differences between two event logs

    Article • Information Systems, April 2017, Elsevier

    prof.dr.ir. Wil van der Aalst

  158. Mining Resource Profiles from Event Logs

    Article • ACM Transactions on Management Information Systems, March 2017, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  159. Using Event Logs for Local Correction of Process Models

    Article • Modeling and Analysis of Information Systems, January 2017, P.G. Demidov Yaroslavl State University

    prof.dr.ir. Wil van der Aalst

  160. Automatic Discovery of Object-Centric Behavioral Constraint Models

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  161. Business Process Comparison: A Methodology and Case Study

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  162. Data-Driven Process Discovery - Revealing Conditional Infrequent Behavior from Event Logs

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  163. Discovering Causal Factors Explaining Business Process Performance Variation

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  164. Discovering Hierarchical Consolidated Models from Process Families

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  165. Discovering Social Networks Instantly: Moving Process Mining Computations to the Database and Data Entry Time

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  166. Finding Process Variants in Event Logs

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  167. Modeling and Discovering Cancelation Behavior

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  168. Application and Theory of Petri Nets and Concurrency

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  169. Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  170. Subgroup Discovery in Process Mining

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  171. Everything You Always Wanted to Know About Your Process, but Did Not Know How to Ask

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  172. Responsible Data Science: Using Event Data in a “People Friendly” Manner

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  173. Business Process Reporting Using Process Mining, Analytic Workflows and Process Cubes: A Case Study in Education

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  174. Detecting Changes in Process Behavior Using Comparative Case Clustering

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  175. Using Domain Knowledge to Enhance Process Mining Results

    Article • January 2017, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  176. Enabling Interactive Process Analysis with Process Mining and Visual Analytics

    Article • January 2017, Scitepress

    prof.dr.ir. Wil van der Aalst

  177. Business Analytics and Data Science: Once Again?

    Article • Business & Information Systems Engineering, December 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  178. Component behavior discovery from software execution data

    Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  179. Heuristic approaches for generating Local Process Models through log projections

    Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  180. Open Research in Business and Information Systems Engineering

    Article • Business & Information Systems Engineering, October 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  181. Building instance graphs for highly variable processes

    Article • Expert Systems with Applications, October 2016, Elsevier

    prof.dr.ir. Wil van der Aalst

  182. Scalable process discovery and conformance checking

    Article • Software & Systems Modeling, July 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  183. Evaluating and predicting overall process risk using event logs

    Article • Information Sciences, July 2016, Elsevier

    prof.dr.ir. Wil van der Aalst

  184. Disciplinary Pluralism, Flagship Conferences, and Journal Submissions

    Article • Business & Information Systems Engineering, June 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  185. Enabling process mining on sensor data from smart products

    Article • June 2016, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  186. A general process mining framework for correlating, predicting and clustering dynamic behavior based on event logs

    Article • Information Systems, March 2016, Elsevier

    prof.dr.ir. Wil van der Aalst

  187. The effectiveness of workflow management systems: A longitudinal study

    Article • International Journal of Information Management, February 2016, Elsevier

    prof.dr.ir. Wil van der Aalst

  188. Business Process Management

    Article • Business & Information Systems Engineering, January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  189. Process Mining

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  190. Connecting Databases with Process Mining: A Meta Model and Toolset

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  191. Decision Mining Revisited - Discovering Overlapping Rules

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  192. Detecting Deviating Behaviors Without Models

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  193. Discovering and Exploring State-Based Models for Multi-perspective Processes

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  194. Discovering Queues from Event Logs with Varying Levels of Information

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  195. From Low-Level Events to Activities - A Pattern-Based Approach

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  196. Handling Duplicated Tasks in Process Discovery by Refining Event Labels

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  197. Measuring the Precision of Multi-perspective Process Models

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  198. Merging Alignments for Decomposed Replay

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  199. Ontology-Driven Extraction of Event Logs from Relational Databases

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  200. Using Life Cycle Information in Process Discovery

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  201. A Generic Framework for Context-Aware Process Performance Analysis

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  202. A Visual Approach to Spot Statistically-Significant Differences in Event Logs Based on Process Metrics

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  203. Log-based Evaluation of Label Splits for Process Models

    Article • Procedia Computer Science, January 2016, Elsevier

    prof.dr.ir. Wil van der Aalst

  204. Online Discovery of Cooperative Structures in Business Processes

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  205. Epilogue

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  206. Operational Support

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  207. Conformance Checking

    Article • January 2016, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  208. Revising history for cost-informed process improvement

    Article • Computing, December 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  209. BISE and the Engineering Sciences

    Article • Business & Information Systems Engineering, December 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  210. Compliance monitoring in business processes: Functionalities, application, and tool-support

    Article • Information Systems, December 2015, Elsevier

    prof.dr.ir. Wil van der Aalst

  211. Declarative process mining in healthcare

    Article • Expert Systems with Applications, December 2015, Elsevier

    prof.dr.ir. Wil van der Aalst

  212. Assessing Process Discovery Scalability in Data Intensive Environments

    Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  213. Event interval analysis: Why do processes take time?

    Article • Decision Support Systems, November 2015, Elsevier

    prof.dr.ir. Wil van der Aalst

  214. Processes Meet Big Data: Connecting Data Science with Process Science

    Article • IEEE Transactions on Services Computing, November 2015, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  215. Analyzing inter-organizational business processes

    Article • Information Systems and e-Business Management, October 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  216. Process mining using BPMN: relating event logs and process models

    Article • Software & Systems Modeling, October 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  217. Scientific workflows for process mining: building blocks, scenarios, and implementation

    Article • International Journal on Software Tools for Technology Transfer, September 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  218. Process mining in software systems: Discovering real-life business transactions and process models from distributed systems

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  219. Change your history: Learning from event logs to improve processes

    Article • May 2015, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  220. Editorial

    Article • ACM Transactions on Management Information Systems, March 2015, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  221. Balanced multi-perspective checking of process conformance

    Article • Computing, February 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  222. A recommendation system for predicting risks across multiple business process instances

    Article • Decision Support Systems, January 2015, Elsevier

    prof.dr.ir. Wil van der Aalst

  223. An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data

    Article • Information Systems, January 2015, Elsevier

    prof.dr.ir. Wil van der Aalst

  224. Comparative Process Mining in Education: An Approach Based on Process Cubes

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  225. Configuring Configurable Process Models Made Easier: An Automated Approach

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst, Dr. Ir. Dennis M. M. Schunselaar

  226. Conformance Checking Based on Partially Ordered Event Data

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  227. Decomposed Process Mining: The ILP Case

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  228. Exploring Processes and Deviations

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  229. Model repair — aligning process models to reality

    Article • Information Systems, January 2015, Elsevier

    prof.dr.ir. Wil van der Aalst

  230. Multidimensional Process Mining Using Process Cubes

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  231. PM $$^2$$ : A Process Mining Project Methodology

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  232. Process Discovery Using Localized Events

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  233. Scalable Process Discovery with Guarantees

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  234. YAWL in the Cloud: Supporting Process Sharing and Variability

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst, Dr. Ir. Dennis M. M. Schunselaar

  235. A Structural Model Comparison for Finding the Best Performing Models in a Collection

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst, Dr. Ir. Dennis M. M. Schunselaar

  236. Avoiding Over-Fitting in ILP-Based Process Discovery

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  237. Big software on the run: in vivo software analytics based on process mining (keynote)

    Article • January 2015, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  238. Change Point Detection and Dealing with Gradual and Multi-order Dynamics in Process Mining

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  239. Discovery of Frequent Episodes in Event Logs

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  240. Process Mining on Databases: Unearthing Historical Data from Redo Logs

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  241. Extracting Event Data from Databases to Unleash Process Mining

    Article • January 2015, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  242. Single-Entry Single-Exit decomposed conformance checking

    Article • Information Systems, December 2014, Elsevier

    prof.dr.ir. Wil van der Aalst

  243. Turning event logs into process movies: animating what has really happened

    Article • Software & Systems Modeling, September 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  244. Conformance checking in healthcare based on partially ordered event data

    Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  245. Process Mining as the Superglue Between Data Science and Enterprise Computing

    Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  246. BISE – Call for Papers Issue 1/2016

    Article • Business & Information Systems Engineering, August 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  247. Control-flow discovery from event streams

    Article • July 2014, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  248. Perturbing event logs to identify cost reduction opportunities: A genetic algorithm-based approach

    Article • July 2014, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  249. Business process management as the “Killer App” for Petri nets

    Article • Software & Systems Modeling, June 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  250. Business Process Simulation Survival Guide

    Article • April 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  251. Quality Dimensions in Process Discovery: The Importance of Fitness, Precision, Generalization and Simplicity

    Article • International Journal of Cooperative Information Systems, March 2014, World Scientific Pub Co Pte Lt

    prof.dr.ir. Wil van der Aalst

  252. Measuring precision of modeled behavior

    Article • Information Systems and e-Business Management, January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  253. Geschäftsprozessmodellierung: Die ,,Killer-Applikation“ für Petrinetze

    Article • Informatik-Spektrum, January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  254. A General Framework for Correlating Business Process Characteristics

    Article • January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  255. Agile development with software process mining

    Article • January 2014, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  256. An Extensible Framework for Analysing Resource Behaviour Using Event Logs

    Article • January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  257. Dealing With Concept Drifts in Process Mining

    Article • IEEE Transactions on Neural Networks and Learning Systems, January 2014, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  258. Discovering Block-Structured Process Models from Incomplete Event Logs

    Article • January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  259. Process mining can be applied to software too!

    Article • January 2014, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  260. Process Mining in the Large: A Tutorial

    Article • January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  261. Process Model Discovery: A Method Based on Transition System Decomposition

    Article • January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  262. Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour

    Article • January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  263. Handbook of Research on Architectural Trends in Service-Driven Computing

    Article • January 2014, IGI Global

    prof.dr.ir. Wil van der Aalst

  264. Supporting Domain Experts to Select and Configure Precise Compliance Rules

    Article • January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  265. Business Process Management Workshops

    Article • January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  266. Compliance Checking of Data-Aware and Resource-Aware Compliance Requirements

    Article • January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  267. Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models

    Article • January 2014, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  268. Process Discovery and Conformance Checking Using Passages

    Article • Fundamenta Informaticae, January 2014, IOS Press

    prof.dr.ir. Wil van der Aalst

  269. Monitoring business constraints with the event calculus

    Article • ACM Transactions on Intelligent Systems and Technology, December 2013, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  270. Service Mining: Using Process Mining to Discover, Check, and Improve Service Behavior

    Article • IEEE Transactions on Services Computing, October 2013, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  271. Behavioral Service Substitution

    Article • September 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  272. A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  273. Supervisory control service for supporting flexible processes

    Article • Industrial Management & Data Systems, August 2013, Emerald

    Master Rosemary Francisco, prof.dr.ir. Wil van der Aalst

  274. Decomposing Petri nets for process mining: A generic approach

    Article • Distributed and Parallel Databases, July 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  275. Simplifying discovered process models in a controlled manner

    Article • Information Systems, June 2013, Elsevier

    prof.dr.ir. Wil van der Aalst

  276. Mediating between modeled and observed behavior: The quest for the “right” process: Keynote

    Article • May 2013, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  277. Discovering signature patterns from event logs

    Article • April 2013, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  278. Wanna improve process mining results?

    Article • April 2013, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  279. Cost-Informed Operational Process Support

    Article • January 2013, Springer Science + Business Media

    Zahirul Hoque, prof.dr.ir. Wil van der Aalst

  280. A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  281. Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  282. Challenges in Service Mining: Record, Check, Discover

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  283. Conformance Checking in the Large: Partitioning and Topology

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  284. Conformance Checking of Services Using the Best Matching Private View

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  285. Data-aware process mining

    Article • January 2013, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  286. Diagnostic Information for Compliance Checking of Temporal Compliance Requirements

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  287. Discovering Petri Nets from Event Logs

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  288. Discovering Block-Structured Process Models from Event Logs - A Constructive Approach

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  289. Enhancing Declare Maps Based on Event Correlations

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  290. Hierarchical Conformance Checking of Process Models Based on Event Logs

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  291. Improving Business Process Models Using Observed Behavior

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  292. Mining Configurable Process Models from Collections of Event Logs

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  293. Profiling Event Logs to Configure Risk Indicators for Process Delays

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  294. Repairing Event Logs Using Timed Process Models

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  295. Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  296. Strategies for Modeling Complex Processes Using Colored Petri Nets

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  297. Supporting Risk-Informed Decisions during Business Process Execution

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  298. Analyzing Vessel Behavior Using Process Mining

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  299. The Practice of Enterprise Modeling

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst, João Nuno Lopes Barata

  300. Biomedical Engineering Systems and Technologies

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst, Professor J Mark Ansermino

  301. An Experimental Evaluation of Passage-Based Process Discovery

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  302. Predicting Deadline Transgressions Using Event Logs

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  303. Process Mining Applied to the BPI Challenge 2012: Divide and Conquer While Discerning Resources

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  304. Root Cause Analysis with Enriched Process Logs

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  305. Semantic-Based Conformance Checking of Computer Interpretable Medical Guidelines

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  306. Alignment Based Precision Checking

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  307. Beautiful Workflows: A Matter of Taste?

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  308. Improving Documentation by Repairing Event Logs

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  309. Process Cubes: Slicing, Dicing, Rolling Up and Drilling Down Event Data for Process Mining

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  310. Process Mining in Healthcare: Data Challenges When Answering Frequently Posed Questions

    Article • January 2013, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  311. Visual support for work assignment in process-aware information systems: Framework formalisation and implementation

    Article • Decision Support Systems, December 2012, Elsevier

    prof.dr.ir. Wil van der Aalst

  312. Ensuring correctness during process configuration via partner synthesis

    Article • Information Systems, September 2012, Elsevier

    prof.dr.ir. Wil van der Aalst

  313. Techniques for a Posteriori Analysis of Declarative Processes

    Article • September 2012, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  314. Process Mining

    Article • Informatik-Spektrum, August 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  315. What makes a good process model?

    Article • Software & Systems Modeling, August 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  316. Process mining

    Article • Communications of the ACM, August 2012, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  317. Process Mining

    Article • ACM Transactions on Management Information Systems, July 2012, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  318. A genetic algorithm for discovering process trees

    Article • June 2012, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  319. Process mining

    Article • ACM SIGKDD Explorations Newsletter, May 2012, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  320. The Process Mining Manifesto—An interview with Wil van der Aalst

    Article • Information Systems, May 2012, Elsevier

    prof.dr.ir. Wil van der Aalst

  321. Process diagnostics using trace alignment: Opportunities, issues, and challenges

    Article • Information Systems, April 2012, Elsevier

    prof.dr.ir. Wil van der Aalst

  322. Workflow patterns put into context

    Article • Software & Systems Modeling, February 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  323. Replaying history on process models for conformance checking and performance analysis

    Article • Wiley Interdisciplinary Reviews Data Mining and Knowledge Discovery, January 2012, Wiley

    prof.dr.ir. Wil van der Aalst

  324. Repairing Process Models to Reflect Reality

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  325. Process Mining Manifesto

    Article • January 2012, Springer Science + Business Media

    Dr Chris Turner, prof.dr.ir. Wil van der Aalst, Pavlos Delias

  326. A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  327. Aggregating Causal Runs into Workflow Nets

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  328. Aligning Event Logs and Declarative Process Models for Conformance Checking

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  329. An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  330. An Operational Decision Support Framework for Monitoring Business Constraints

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  331. Analysis of Patient Treatment Procedures

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  332. Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  333. Configurable Declare: Designing Customisable Flexible Process Models

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst, Dr. Ir. Dennis M. M. Schunselaar

  334. Context-Aware Compliance Checking

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  335. Creating Sound and Reversible Configurable Process Models Using CoSeNets

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst, Dr. Ir. Dennis M. M. Schunselaar

  336. Data- and Resource-Aware Conformance Checking of Business Processes

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  337. Decomposing Process Mining Problems Using Passages

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  338. Definition and Validation of Process Mining Use Cases

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  339. Discovering Hierarchical Process Models Using ProM

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  340. Distributed Process Discovery and Conformance Checking

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  341. Efficient Discovery of Understandable Declarative Process Models from Event Logs

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  342. Generating Event Logs with Workload-Dependent Speeds from Simulation Models

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  343. Mining Inter-organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  344. On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  345. Pattern-based analysis of computer-interpretable guidelines: Don’t forget the context

    Article • Artificial Intelligence in Medicine, January 2012, Elsevier

    prof.dr.ir. Wil van der Aalst

  346. Process Mining Put into Context

    Article • IEEE Internet Computing, January 2012, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  347. Reusing a Declarative Specification to Check the Conformance of Different CIGs

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  348. Runtime Verification of LTL-Based Declarative Process Models

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  349. Towards Cross-Organizational Process Mining in Collections of Process Models and Their Executions

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  350. Towards Improving the Representational Bias of Process Mining

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  351. When Process Mining Meets Bioinformatics

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  352. Where Did I Misbehave? Diagnostic Information in Compliance Checking

    Article • January 2012, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  353. Using Process Mining to Bridge the Gap between BI and BPM

    Article • Computer, December 2011, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  354. Business Process Management in the Large

    Article • Business & Information Systems Engineering, November 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  355. Managing Process Model Complexity Via Abstract Syntax Modifications

    Article • IEEE Transactions on Industrial Informatics, November 2011, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  356. Business Process Configuration in the Cloud: How to Support and Analyze Multi-tenant Processes?

    Article • September 2011, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  357. SPIℂA'S MULTI-PARTY NEGOTIATION PROTOCOL: IMPLEMENTATION USING YAWL

    Article • International Journal of Cooperative Information Systems, September 2011, World Scientific Pub Co Pte Lt

    prof.dr.ir. Wil van der Aalst

  358. Conformance Checking Using Cost-Based Fitness Analysis

    Article • August 2011, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  359. A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition

    Article • July 2011, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  360. APROMORE: An advanced process model repository

    Article • Expert Systems with Applications, June 2011, Elsevier

    prof.dr.ir. Wil van der Aalst

  361. On the Representational Bias in Process Mining

    Article • June 2011, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  362. Managing Process Model Complexity via Concrete Syntax Modifications

    Article • IEEE Transactions on Industrial Informatics, May 2011, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  363. Product-based workflow support

    Article • Information Systems, April 2011, Elsevier

    prof.dr.ir. Wil van der Aalst

  364. Time prediction based on process mining

    Article • Information Systems, April 2011, Elsevier

    prof.dr.ir. Wil van der Aalst

  365. User-guided discovery of declarative process models

    Article • April 2011, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  366. Conceptual model for online auditing

    Article • Decision Support Systems, February 2011, Elsevier

    prof.dr.ir. Wil van der Aalst

  367. Simplifying Mined Process Models: An Approach Based on Unfoldings

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  368. Behavioral Conformance of Artifact-Centric Process Models

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  369. Causal Nets: A Modeling Language Tailored towards Process Discovery

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  370. Conformance Checking of Interacting Processes with Overlapping Instances

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  371. Distributed Genetic Process Mining Using Sampling

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  372. Handling Concept Drift in Process Mining

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  373. Intra- and Inter-Organizational Process Mining: Discovering Processes within and between Organizations

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  374. Mining Context-Dependent and Interactive Business Process Maps Using Execution Patterns

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  375. Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  376. First book on process mining

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  377. Process Mining for Electronic Data Interchange

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  378. Reinforcement learning based resource allocation in business process management

    Article • Data & Knowledge Engineering, January 2011, Elsevier

    prof.dr.ir. Wil van der Aalst

  379. Towards Robust Conformance Checking

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  380. XES, XESame, and ProM 6

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  381. Getting the Data

    Article • January 2011, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  382. An adaptive work distribution mechanism based on reinforcement learning

    Article • Expert Systems with Applications, December 2010, Elsevier

    prof.dr.ir. Wil van der Aalst

  383. Mining process models with prime invisible tasks

    Article • Data & Knowledge Engineering, October 2010, Elsevier

    prof.dr.ir. Wil van der Aalst

  384. Soundness of workflow nets: classification, decidability, and analysis

    Article • Formal Aspects of Computing, August 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  385. Proclets in healthcare

    Article • Journal of Biomedical Informatics, August 2010, Elsevier

    prof.dr.ir. Wil van der Aalst

  386. Distributed genetic process mining

    Article • July 2010, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  387. Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor

    Article • Computer, March 2010, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  388. Reduction rules for reset/inhibitor nets

    Article • Journal of Computer and System Sciences, March 2010, Elsevier

    prof.dr.ir. Wil van der Aalst

  389. Verifying workflow processes: a transformation-based approach

    Article • Software & Systems Modeling, February 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  390. Process Discovery: Capturing the Invisible

    Article • IEEE Computational Intelligence Magazine, February 2010, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  391. Seven process modeling guidelines (7PMG)

    Article • Information and Software Technology, February 2010, Elsevier

    prof.dr.ir. Wil van der Aalst

  392. Simulation to Analyze the Impact of a Schedule-aware Workflow Management System

    Article • SIMULATION, January 2010, SAGE Publications

    prof.dr.ir. Wil van der Aalst

  393. Activity Mining by Global Trace Segmentation

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  394. Analyzing Resource Behavior Using Process Mining

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  395. Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  396. BPR Best Practices for the Healthcare Domain

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  397. Beyond Process Mining: From the Past to Present and Future

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  398. Business Process Simulation

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  399. Business Process Simulation Revisited

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  400. Business Trend Analysis by Simulation

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  401. Configurable Services in the Cloud: Supporting Variability While Enabling Cross-Organizational Process Mining

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  402. Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  403. Declarative specification and verification of service choreographiess

    Article • ACM Transactions on the Web, January 2010, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  404. Discovering Process Models with Genetic Algorithms Using Sampling

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  405. Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  406. History-Dependent Stochastic Petri Nets

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  407. Managing Process Model Collections with AProMoRe

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  408. Modern Business Process Automation

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  409. Process-Aware Information System Development for the Healthcare Domain - Consistency, Reliability, and Effectiveness

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  410. Schedule-Aware Workflow Management Systems

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  411. Trace Alignment in Process Mining: Opportunities for Process Diagnostics

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  412. Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models

    Article • January 2010, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  413. Dimensions of coupling in middleware

    Article • Concurrency and Computation Practice and Experience, December 2009, Wiley

    prof.dr.ir. Wil van der Aalst

  414. An Analysis of Windows Workflow's Control-Flow Expressiveness

    Article • November 2009, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  415. Advanced Synchronization

    Article • September 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  416. Declarative Workflow

    Article • September 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  417. Epilogue

    Article • September 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  418. Introduction

    Article • September 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  419. Process Mining and Simulation

    Article • September 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  420. The Declare Service

    Article • September 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  421. YAWL4Healthcare

    Article • September 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  422. Model-Based Development and Testing of Process-Aware Information Systems

    Article • September 2009, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  423. Workflow simulation for operational decision support

    Article • Data & Knowledge Engineering, September 2009, Elsevier

    prof.dr.ir. Wil van der Aalst

  424. From business process models to process-oriented software systems

    Article • ACM Transactions on Software Engineering and Methodology, August 2009, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  425. Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark

    Article • Information and Software Technology, August 2009, Elsevier

    prof.dr.ir. Wil van der Aalst

  426. Workflow completion patterns

    Article • August 2009, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  427. Process Mining Applied to the Test Process of Wafer Scanners in ASML

    Article • IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews), July 2009, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  428. Radiology information system: a workflow-based approach

    Article • International Journal of Computer Assisted Radiology and Surgery, June 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  429. Reduction rules for YAWL workflows with cancellation regions and OR-joins

    Article • Information and Software Technology, June 2009, Elsevier

    prof.dr.ir. Wil van der Aalst

  430. Discovering simulation models

    Article • Information Systems, May 2009, Elsevier

    prof.dr.ir. Wil van der Aalst

  431. Preserving correctness during business process model configuration

    Article • Formal Aspects of Computing, April 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  432. Process-Aware Information Systems: Design, Enactment, and Analysis

    Article • March 2009, Wiley

    prof.dr.ir. Wil van der Aalst

  433. Declarative workflows: Balancing between flexibility and support

    Article • Computer Science - Research and Development, March 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  434. Complexity metrics for Workflow nets

    Article • Information and Software Technology, March 2009, Elsevier

    prof.dr.ir. Wil van der Aalst

  435. Soundness-preserving reduction rules for reset workflow nets

    Article • Information Sciences, March 2009, Elsevier

    prof.dr.ir. Wil van der Aalst

  436. SYNCHRONIZATION AND CANCELATION IN WORKFLOWS BASED ON RESET NETS

    Article • International Journal of Cooperative Information Systems, March 2009, World Scientific Pub Co Pte Lt

    prof.dr.ir. Wil van der Aalst

  437. Business process verification – finally a reality!

    Article • Business Process Management Journal, February 2009, Emerald

    prof.dr.ir. Wil van der Aalst

  438. Soft reliability: an interdisciplinary approach with a user-system focus

    Article • Quality and Reliability Engineering International, February 2009, Wiley

    prof.dr.ir. Wil van der Aalst

  439. A reference model for grid architectures and its validation

    Article • Concurrency and Computation Practice and Experience, January 2009, Wiley

    prof.dr.ir. Wil van der Aalst

  440. Abstractions in Process Mining: A Taxonomy of Patterns

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  441. Analyzing Multi-agent Activity Logs Using Process Mining Techniques

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  442. Anomaly Detection Using Process Mining

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  443. Compositional Service Trees

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  444. Configurable Process Models: Experiences from a Municipality Case Study

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  445. Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  446. Designing a Workflow System Using Coloured Petri Nets

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  447. Flexibility as a Service

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  448. Flexibility Schemes for Workflow Management Systems

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  449. From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  450. Handbook of Research on Business Process Modeling

    Article • January 2009, IGI Global

    prof.dr.ir. Wil van der Aalst

  451. Improving Product Usage Monitoring and Analysis with Semantic Concepts

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  452. On the Formal Generation of Process Redesigns

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  453. Process-Aware Information Systems: Lessons to Be Learned from Process Mining

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  454. Service Interaction: Patterns, Formalization, and Analysis

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  455. Soundness of Workflow Nets with Reset Arcs

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  456. TomTom for Business Process Management (TomTom4BPM)

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  457. Trace Clustering in Process Mining

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  458. Using Process Mining to Generate Accurate and Interactive Business Process Maps

    Article • January 2009, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  459. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes

    Article • The Computer Journal, December 2008, Oxford University Press (OUP)

    prof.dr.ir. Wil van der Aalst

  460. Soundness and Niceness as Correctness Criteria for Grid Workflows

    Article • December 2008, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  461. Towards comprehensive support for organizational mining

    Article • Decision Support Systems, December 2008, Elsevier

    prof.dr.ir. Wil van der Aalst

  462. Process mining: a two-step approach to balance between underfitting and overfitting

    Article • Software & Systems Modeling, November 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  463. Getting rid of OR-joins and multiple start events in business process models

    Article • Enterprise Information Systems, November 2008, Taylor & Francis

    prof.dr.ir. Wil van der Aalst

  464. Questionnaire-based variability modeling for system configuration

    Article • Software & Systems Modeling, June 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  465. CONFIGURABLE WORKFLOW MODELS

    Article • International Journal of Cooperative Information Systems, June 2008, World Scientific Pub Co Pte Lt

    prof.dr.ir. Wil van der Aalst

  466. Conformance checking of service behavior

    Article • ACM Transactions on Internet Technology, May 2008, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst

  467. Evaluating workflow process designs using cohesion and coupling metrics

    Article • Computers in Industry, May 2008, Elsevier

    prof.dr.ir. Wil van der Aalst

  468. From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes

    Article • Decision Support Systems, May 2008, Elsevier

    prof.dr.ir. Wil van der Aalst

  469. Conformance checking of processes based on monitoring real behavior

    Article • Information Systems, March 2008, Elsevier

    prof.dr.ir. Wil van der Aalst

  470. Translating unstructured workflow processes to readable BPEL: Theory and implementation

    Article • Information and Software Technology, February 2008, Elsevier

    prof.dr.ir. Wil van der Aalst

  471. A novel approach for process mining based on event types

    Article • Journal of Intelligent Information Systems, January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  472. Process Mining Based on Clustering: A Quest for Precision

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  473. A Reference Model for Grid Architectures and Its Analysis

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  474. Application of Process Mining in Healthcare – A Case Study in a Dutch Hospital

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  475. Business Process Simulation for Operational Decision Support

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  476. Case Handling Systems as Product Based Workflow Design Support

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  477. Challenges in Business Process Analysis

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  478. Correctness-Preserving Configuration of Business Process Models

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  479. Cycle Time Prediction: When Will This Case Finally Be Finished?

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  480. Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  481. Detection and prediction of errors in EPCs of the SAP reference model

    Article • Data & Knowledge Engineering, January 2008, Elsevier

    prof.dr.ir. Wil van der Aalst

  482. Discovery, Verification and Conformance of Workflows with Cancellation

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  483. Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  484. From Public Views to Private Views – Correctness-by-Design for Services

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  485. Inter-enterprise System and Application Integration: A Reality Check

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  486. Linking Domain Models and Process Models for Reference Model Configuration

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  487. Merging Event-Driven Process Chains

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  488. Message from the General Chairs - Volume 1

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  489. On a Quest for Good Process Models: The Cross-Connectivity Metric

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  490. Open Source Workflow: A Viable Direction for BPM?

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  491. Pattern-Based Translation of BPMN Process Models to BPEL Web Services

    Article • International Journal of Web Services Research, January 2008, IGI Global

    prof.dr.ir. Wil van der Aalst

  492. Performing Business Process Redesign with Best Practices: An Evolutionary Approach

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  493. Process Flexibility: A Survey of Contemporary Approaches

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  494. Process Mining towards Semantics

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  495. Product Based Workflow Support: Dynamic Workflow Execution

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  496. Quantifying process equivalence based on observed behavior

    Article • Data & Knowledge Engineering, January 2008, Elsevier

    prof.dr.ir. Wil van der Aalst

  497. Supporting Flexible Processes with Adaptive Work?ow and Case Handling

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  498. The Need for a Process Mining Evaluation Framework in Research and Practice

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  499. Using process mining to learn from process changes in evolutionary systems

    Article • International Journal of Business Process Integration and Management, January 2008, Inderscience Publishers

    prof.dr.ir. Wil van der Aalst

  500. Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  501. Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  502. Mining Reference Process Models and Their Configurations

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  503. Supporting Flexible Processes through Recommendations Based on History

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  504. Visual Support for Work Assignment in Process-Aware Information Systems

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  505. Workflow Simulation for Operational Decision Support Using Design, Historic and State Information

    Article • January 2008, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  506. Combining workflow and PDM based on the workflow management coalition and STEP standards: the case ofaxalant

    Article • International Journal of Computer Integrated Manufacturing, December 2007, Taylor & Francis

    prof.dr.ir. Wil van der Aalst

  507. A Pattern-based Analysis of Clinical Computer-interpretable Guideline Modeling Languages

    Article • Journal of the American Medical Informatics Association, November 2007, Oxford University Press (OUP)

    prof.dr.ir. Wil van der Aalst

  508. DECLARE: Full Support for Loosely-Structured Processes

    Article • October 2007, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  509. DECLARE: Full Support for Loosely-Structured Processes

    Article • October 2007, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  510. Getting Rid of the OR-Join in Business Process Models

    Article • October 2007, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  511. Interacting agents through a web-based health serviceflow management system

    Article • Journal of Biomedical Informatics, October 2007, Elsevier

    prof.dr.ir. Wil van der Aalst

  512. Getting Rid of the OR-Join in Business Process Models

    Article • October 2007, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  513. Protos2CPN: using colored Petri nets for configuring and testing business processes

    Article • International Journal on Software Tools for Technology Transfer, September 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  514. Discovering colored Petri nets from event logs

    Article • International Journal on Software Tools for Technology Transfer, September 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  515. From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system

    Article • International Journal on Software Tools for Technology Transfer, September 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  516. Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants

    Article • Computers in Industry, August 2007, Elsevier

    prof.dr.ir. Wil van der Aalst

  517. Business process mining: An industrial application

    Article • Information Systems, July 2007, Elsevier

    prof.dr.ir. Wil van der Aalst

  518. Finding Structure in Unstructured Processes: The Case for Process Mining

    Article • July 2007, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  519. Formal semantics and analysis of control flow in WS-BPEL

    Article • Science of Computer Programming, July 2007, Elsevier

    prof.dr.ir. Wil van der Aalst

  520. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants

    Article • The Computer Journal, May 2007, Oxford University Press (OUP)

    prof.dr.ir. Wil van der Aalst

  521. A formal modeling approach for supply chain event management

    Article • Decision Support Systems, April 2007, Elsevier

    prof.dr.ir. Wil van der Aalst

  522. Business process management: Where business processes and web services meet

    Article • Data & Knowledge Engineering, April 2007, Elsevier

    prof.dr.ir. Wil van der Aalst

  523. Exploring the CSCW spectrum using process mining

    Article • Advanced Engineering Informatics, April 2007, Elsevier

    prof.dr.ir. Wil van der Aalst

  524. Modelling work distribution mechanisms using Colored Petri Nets

    Article • International Journal on Software Tools for Technology Transfer, March 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  525. Mining process models with non-free-choice constructs

    Article • Data Mining and Knowledge Discovery, March 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  526. A configurable reference modelling language

    Article • Information Systems, March 2007, Elsevier

    prof.dr.ir. Wil van der Aalst

  527. Deadline-based escalation in process-aware information systems

    Article • Decision Support Systems, March 2007, Elsevier

    prof.dr.ir. Wil van der Aalst

  528. Genetic process mining: an experimental evaluation

    Article • Data Mining and Knowledge Discovery, January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  529. An SOA-based architecture framework

    Article • International Journal of Business Process Integration and Management, January 2007, Inderscience Publishers

    prof.dr.ir. Wil van der Aalst

  530. Configurable Process Models — A Foundational Approach

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  531. Message from the Program Committee Chairs

    Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  532. The role of business processes in service oriented architectures (Editorial)

    Article • International Journal of Business Process Integration and Management, January 2007, Inderscience Publishers

    prof.dr.ir. Wil van der Aalst

  533. An Outlook on Semantic Business Process Mining and Monitoring

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  534. Communication Abstractions for Distributed Business Processes

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  535. Constraint-Based Workflow Models: Change Made Easy

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  536. Dynamic, Extensible and Context-Aware Exception Handling for Workflows

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  537. Formalization and Verification of EPCs with OR-Joins Based on State and Context

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  538. Fuzzy Mining – Adaptive Process Simplification Based on Multi-perspective Metrics

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  539. History-Dependent Petri Nets

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  540. ProM 4.0: Comprehensive Support for Real Process Analysis

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  541. SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  542. The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  543. Understanding the Occurrence of Errors in Process Models Based on Metrics

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  544. Process Mining Framework for Software Processes

    Article • January 2007, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  545. Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming

    Article • Decision Support Systems, December 2006, Elsevier

    prof.dr.ir. Wil van der Aalst

  546. Model-based software configuration: patterns and languages

    Article • European Journal of Information Systems, December 2006, Nature

    prof.dr.ir. Wil van der Aalst

  547. Structural Patterns for Soundness of Business Process Models

    Article • October 2006, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  548. Contextual influences on user satisfaction with mobile computing: findings from two healthcare organizations

    Article • European Journal of Information Systems, June 2006, Nature

    prof.dr.ir. Wil van der Aalst

  549. A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs

    Article • Data Mining and Knowledge Discovery, May 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  550. Implementation of a YAWL Work-List Handler based on the Resource Patterns

    Article • May 2006, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  551. Mining configurable enterprise information systems

    Article • Data & Knowledge Engineering, March 2006, Elsevier

    prof.dr.ir. Wil van der Aalst

  552. From BPMN Process Models to BPEL Web Services

    Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  553. Model-Driven Enterprise Systems Configuration

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  554. Workflow Exception Patterns

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  555. A Declarative Approach for Flexible Business Processes Management

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  556. A Generic Import Framework for Process Event Logs

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  557. Change Mining in Adaptive Process Management Systems

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  558. DecSerFlow: Towards a Truly Declarative Service Flow Language

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  559. Decision Mining in ProM

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  560. Faulty EPCs in the SAP Reference Model

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  561. On the Suitability of BPMN for Business Process Modelling

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  562. Process Equivalence: Comparing Two Process Models Based on Observed Behavior

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  563. Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  564. Web Service Mining and Verification of Properties: An Approach Based on Event Calculus

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  565. WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  566. Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  567. Genetic Process Mining: A Basic Approach and Its Challenges

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  568. On the Syntax of Reference Model Configuration – Transforming the C-EPC into Lawful EPC Models

    Article • January 2006, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  569. Mining of ad-hoc business processes with TeamLog

    Article • Data & Knowledge Engineering, November 2005, Elsevier

    prof.dr.ir. Wil van der Aalst

  570. Discovering Social Networks from Event Logs

    Article • Computer Supported Cooperative Work (CSCW), October 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  571. Introduction

    Article • October 2005, Wiley

    prof.dr.ir. Wil van der Aalst

  572. Patterns of Process Modeling

    Article • October 2005, Wiley

    prof.dr.ir. Wil van der Aalst

  573. Process Mining

    Article • October 2005, Wiley

    prof.dr.ir. Wil van der Aalst

  574. Process Modeling using Petri Nets

    Article • October 2005, Wiley

    prof.dr.ir. Wil van der Aalst

  575. The effectiveness of workflow management systems: Predictions and lessons learned

    Article • International Journal of Information Management, October 2005, Elsevier

    prof.dr.ir. Wil van der Aalst

  576. Process-Aware Information Systems

    Article • September 2005, Wiley

    prof.dr.ir. Wil van der Aalst

  577. Business alignment: using process mining as a tool for Delta analysis and conformance testing

    Article • Requirements Engineering, August 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  578. YAWL: yet another workflow language

    Article • Information Systems, June 2005, Elsevier

    prof.dr.ir. Wil van der Aalst

  579. Case handling: a new paradigm for business process support

    Article • Data & Knowledge Engineering, May 2005, Elsevier

    prof.dr.ir. Wil van der Aalst

  580. Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance

    Article • Electronic Notes in Theoretical Computer Science, February 2005, Elsevier

    prof.dr.ir. Wil van der Aalst

  581. On the Notion of Coupling in Communication Middleware

    Article • January 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  582. Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams

    Article • January 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  583. Process mining in CSCW systems

    Article • January 2005, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  584. WofBPEL: A Tool for Automated Analysis of BPEL Processes

    Article • January 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  585. Workflow Data Patterns: Identification, Representation and Tool Support

    Article • January 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  586. Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets

    Article • January 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  587. Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System

    Article • January 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  588. Life After BPEL?

    Article • January 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  589. Process Mining and Verification of Properties: An Approach Based on Temporal Logic

    Article • January 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  590. The ProM Framework: A New Era in Process Mining Tool Support

    Article • January 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  591. Genetic Process Mining

    Article • January 2005, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  592. BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS

    Article • International Journal of Cooperative Information Systems, September 2004, World Scientific Pub Co Pte Lt

    prof.dr.ir. Wil van der Aalst

  593. Workflow mining: discovering process models from event logs

    Article • IEEE Transactions on Knowledge and Data Engineering, September 2004, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  594. Advances in business process management

    Article • Data & Knowledge Engineering, July 2004, Elsevier

    prof.dr.ir. Wil van der Aalst

  595. Process mining: a research agenda

    Article • Computers in Industry, April 2004, Elsevier

    prof.dr.ir. Wil van der Aalst

  596. Business process management: a personal view

    Article • Business Process Management Journal, April 2004, Emerald

    prof.dr.ir. Wil van der Aalst

  597. Design and Implementation of the YAWL System

    Article • January 2004, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  598. EMiT: A Process Mining Tool

    Article • January 2004, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  599. Mining Social Networks: Uncovering Interaction Patterns in Business Processes

    Article • January 2004, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  600. Multi-phase Process Mining: Building Instance Graphs

    Article • January 2004, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  601. Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm

    Article • January 2004, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  602. Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management

    Article • January 2004, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  603. CoopIS 2004 International Conference (International Conference on Cooperative Information Systems) PC Co-chairs’ Message

    Article • January 2004, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  604. Workflow mining: A survey of issues and approaches

    Article • Data & Knowledge Engineering, November 2003, Elsevier

    prof.dr.ir. Wil van der Aalst

  605. The Case Handling Case

    Article • International Journal of Cooperative Information Systems, September 2003, World Scientific Pub Co Pte Lt

    prof.dr.ir. Wil van der Aalst

  606. Case handling in construction

    Article • Automation in Construction, May 2003, Elsevier

    prof.dr.ir. Wil van der Aalst

  607. Fundamentals of control flow in workflows

    Article • Acta Informatica, March 2003, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  608. XML–Based Schema Definition for Support of Interorganizational Workflow

    Article • Information Systems Research, March 2003, INFORMS

    prof.dr.ir. Wil van der Aalst

  609. Collaborative Systems for Production Management

    Article • January 2003, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst, Rob Kusters

  610. Inheritance of Business Processes: A Journey Visiting Four Notorious Problems

    Article • January 2003, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  611. Web service composition languages: old wine in New bottles?

    Article • January 2003, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  612. Article • Distributed and Parallel Databases, January 2003, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  613. Business Process Management

    Article • January 2003, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  614. Analysing Properties of the Resource Reservation Protocol

    Article • January 2003, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  615. Analysis of Web Services Composition Languages: The Case of BPEL4WS

    Article • January 2003, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  616. Business Process Management: A Survey

    Article • January 2003, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  617. Deciding Life-Cycle Inheritance on Petri Nets

    Article • January 2003, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  618. Workflow Mining: Current Status and Future Directions

    Article • January 2003, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  619. “Compositionality of projection inheritance” [Sci. Comput. Programming 42 (2–3) (2002) 129–171]

    Article • Science of Computer Programming, September 2002, Elsevier

    prof.dr.ir. Wil van der Aalst

  620. Component-based software architectures: a framework based on inheritance of behavior

    Article • Science of Computer Programming, February 2002, Elsevier

    prof.dr.ir. Wil van der Aalst

  621. Inheritance of workflows: an approach to tackling problems related to change

    Article • Theoretical Computer Science, January 2002, Elsevier

    prof.dr.ir. Wil van der Aalst

  622. XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology

    Article • January 2002, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  623. An Alternative Way to Analyze Workflow Graphs

    Article • January 2002, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  624. Discovering Workflow Performance Models from Timed Logs

    Article • January 2002, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  625. Making Work Flow: On the Application of Petri Nets to Business Process Management

    Article • January 2002, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  626. Process Mining: Discovering Direct Successors in Process Logs

    Article • January 2002, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  627. PROCLETS: A FRAMEWORK FOR LIGHTWEIGHT INTERACTING WORKFLOW PROCESSES

    Article • International Journal of Cooperative Information Systems, December 2001, World Scientific Pub Co Pte Lt

    prof.dr.ir. Wil van der Aalst

  628. A reference model for team-enabled workflow management systems

    Article • Data & Knowledge Engineering, September 2001, Elsevier

    prof.dr.ir. Wil van der Aalst

  629. Diagnosing Workflow Processes using Woflan

    Article • The Computer Journal, April 2001, Oxford University Press (OUP)

    prof.dr.ir. Wil van der Aalst

  630. Inheritance of behavior

    Article • The Journal of Logic and Algebraic Programming, March 2001, Elsevier

    prof.dr.ir. Wil van der Aalst

  631. Re-engineering knock-out processes

    Article • Decision Support Systems, March 2001, Elsevier

    prof.dr.ir. Wil van der Aalst

  632. Article • Information Systems Frontiers, January 2001, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  633. Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance

    Article • January 2001, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  634. The P2P Approach to Interorganizational Workflows

    Article • January 2001, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  635. Inheritance of Dynamic Behavior Development of a Groupware Editor

    Article • January 2001, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  636. Analysis of discrete-time stochastic petri nets

    Article • Statistica Neerlandica, July 2000, Wiley

    prof.dr.ir. Wil van der Aalst

  637. Loosely coupled interorganizational workflows:

    Article • Information & Management, March 2000, Elsevier

    prof.dr.ir. Wil van der Aalst

  638. Verification Of Workflow Task Structures: A Petri-net-baset Approach

    Article • Information Systems, March 2000, Elsevier

    prof.dr.ir. Wil van der Aalst

  639. Advanced Workflow Patterns

    Article • January 2000, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  640. ExSpect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets

    Article • January 2000, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  641. Workflow Modeling using Proclets

    Article • January 2000, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  642. Performance Analysis of Dataflow Architectures Using Timed Coloured Petri Nets

    Article • January 2000, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  643. Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

    Article • January 2000, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  644. Process-oriented architectures for electronic commerce and interorganizational workflow

    Article • Information Systems, December 1999, Elsevier

    prof.dr.ir. Wil van der Aalst

  645. Formalization and verification of event-driven process chains

    Article • Information and Software Technology, July 1999, Elsevier

    prof.dr.ir. Wil van der Aalst

  646. On the automatic generation of workflow processes based on product structures

    Article • Computers in Industry, July 1999, Elsevier

    prof.dr.ir. Wil van der Aalst

  647. Liveness, fairness, and recurrence in Petri nets

    Article • Information Processing Letters, June 1999, Elsevier

    prof.dr.ir. Wil van der Aalst

  648. Processes driving the networked economy

    Article • IEEE Concurreny, January 1999, Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  649. Flexible Workflow Management Systems: An Approach Based on Generic Process Models

    Article • January 1999, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  650. THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

    Article • Journal of Circuits System and Computers, February 1998, World Scientific Pub Co Pte Lt

    prof.dr.ir. Wil van der Aalst

  651. Life-cycle inheritance

    Article • January 1997, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  652. Verification of workflow nets

    Article • January 1997, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  653. Petri net based scheduling

    Article • OR Spectrum, December 1996, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  654. Business process redesign: A Petri-net-based approach

    Article • Computers in Industry, July 1996, Elsevier

    prof.dr.ir. Wil van der Aalst

  655. Analysis of railway stations by means of interval timed coloured Petri nets

    Article • Real-Time Systems, November 1995, Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  656. Putting high-level Petri nets to work in industry

    Article • Computers in Industry, November 1994, Elsevier

    prof.dr.ir. Wil van der Aalst

  657. MODELLING LOGISTIC SYSTEMS WITH EXSPECT

    Article • January 1991, Elsevier

    prof.dr.ir. Wil van der Aalst

  658. The Building of Intellectual Capital Statements in Multinationals

    Article • IGI Global

    prof.dr.ir. Wil van der Aalst

  659. Dynamic and Context-Aware Process Adaptation

    Article • IGI Global

    prof.dr.ir. Wil van der Aalst

  660. Service-Oriented Processes

    Article • IGI Global

    prof.dr.ir. Wil van der Aalst

  661. Specifying and Monitoring Service Flows: Making Web Services Process-Aware

    Article • Springer Science + Business Media

    prof.dr.ir. Wil van der Aalst

  662. Supporting the Full BPM Life-Cycle Using Process Mining and Intelligent Redesign

    Article • IGI Global

    prof.dr.ir. Wil van der Aalst

  663. Configurable Reference Modeling Languages

    Article • IGI Global

    prof.dr.ir. Wil van der Aalst

  664. Product-driven workflow design

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  665. Verification of XRL: an XML-based workflow language

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  666. Modeling and analyzing interorganizational workflows

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    prof.dr.ir. Wil van der Aalst

  667. Configurable Reference Modeling Languages

    Article • IGI Global

    prof.dr.ir. Wil van der Aalst