The Conceptual Task Model: a Specification Technique between Requirements Engineering and Program Development (Extended abstract). - Sjaak Brinkkemper; Arthur H. M. ter Hofstede (CAiSE, 1990)

Structuring Modelling Knowledge for CASE Shells. - T. F. Verhoef; Arthur H. M. ter Hofstede; G. M. Wijers (CAiSE, 1991)

Semantics and verification of object-role models. - Patrick van Bommel; Arthur H. M. ter Hofstede; Theo P. van der Weide (Inf. Syst., 1991)

Data Modelling in Complex Application Domains. - Arthur H. M. ter Hofstede; Henderik Alex Proper; Theo P. van der Weide (CAiSE, 1992)

Integrated Specification of Method and Graphic Knowledge. - Arthur H. M. ter Hofstede; T. F. Verhoef; E. R. Nieuwland; G. M. Wijers (SEKE, 1992)

Uniquest: Determining the Semantics of Complex Uniqueness Constraints. - Theo P. van der Weide; Arthur H. M. ter Hofstede; Patrick van Bommel (Comput. J., 1992)

Formalization of techniques: chopping down the methodology jungle. - Arthur H. M. ter Hofstede; Theo P. van der Weide (Inf. Softw. Technol., 1992)

Expressiveness in Conceptual Data Modelling. - Arthur H. M. ter Hofstede; Theo P. van der Weide (Data Knowl. Eng., 1993)

Task structure semantics through process algebra. - Arthur H. M. ter Hofstede; E. R. Nieuwland (Softw. Eng. J., 1993)

Formal definition of a conceptual language for the description and manipulation of information models. - Arthur H. M. ter Hofstede; Henderik Alex Proper; Theo P. van der Weide (Inf. Syst., 1993)

Supporting Information Disclosure in an Evolving Environment. - Arthur H. M. ter Hofstede; Henderik Alex Proper; Theo P. van der Weide (DEXA, 1994)

Fact Orientation in Complex Object Role Modelling Techniques. - Arthur H. M. ter Hofstede; Theo P. van der Weide (ORM, 1994)

Computer Supported Query Formulation in an Evolving Context. - Arthur H. M. ter Hofstede; Henderik Alex Proper; Theo P. van der Weide (Australasian Database Conference, 1995)

Feasibility of Flexible Information Modelling Support - T. F. Verhoef; Arthur H. M. ter Hofstede (CAiSE, 1995)

An Algebraic Semantics for Object-Oriented Behaviour Modeling. - Jan-Willem G. M. Hubbers; Arthur H. M. ter Hofstede (Australian Software Engineering Conference, 1996)

Conceptual Data Modelling from a Categorical Perspective. - Arthur H. M. ter Hofstede; E. Lippe; Paul J. M. Frederiks (Comput. J., 1996)

Query Formulation as an Information Retrieval Problem. - Arthur H. M. ter Hofstede; Henderik Alex Proper; Theo P. van der Weide (Comput. J., 1996)

Meta-CASE: Is the game worth the candle? - Arthur H. M. ter Hofstede; T. F. Verhoef (Inf. Syst. J., 1996)

A Category Theory Approach to Conceptual Data Modeling. - E. Lippe; Arthur H. M. ter Hofstede (RAIRO Theor. Informatics Appl., 1996)

Towards Real-Scale Business Transaction Workflow Modelling. - Alistair P. Barros; Arthur H. M. ter Hofstede; Henderik Alex Proper (CAiSE, 1997)

Essential Principles for Workflow Modelling Effectiveness. - Alistair P. Barros; Arthur H. M. ter Hofstede; Henderik Alex Proper (PACIS, 1997)

Applications of a Categorical Framework for Conceptual Data Modelling. - Arthur H. M. ter Hofstede; E. Lippe; Theo P. van der Weide (Acta Informatica, 1997)

Formalization of Communication and Behaviour in Object-Oriented Analysis. - Jan-Willem G. M. Hubbers; Arthur H. M. ter Hofstede (Data Knowl. Eng., 1997)

A unifying framework for conceptual data modelling concepts. - Paul J. M. Frederiks; Arthur H. M. ter Hofstede; E. Lippe (Inf. Softw. Technol., 1997)

Exploiting Fact Verbalisation in Conceptual Information Modelling. - Arthur H. M. ter Hofstede; Henderik Alex Proper; Theo P. van der Weide (Inf. Syst., 1997)

On the Feasibility of Situational Method Engineering. - Arthur H. M. ter Hofstede; T. F. Verhoef (Inf. Syst., 1997)

Verification Problems in Conceptual Workflow Specifications. - Arthur H. M. ter Hofstede; Maria E. Orlowska; Jayantha Rajapakse (Data Knowl. Eng., 1998)

Deriving Identity from Extensionality. - Arthur H. M. ter Hofstede; Theo P. van der Weide (Int. J. Softw. Eng. Knowl. Eng., 1998)

How to formalize it?: Formalization principles for information system development methods. - Arthur H. M. ter Hofstede; Henderik Alex Proper (Inf. Softw. Technol., 1998)

Towards the construction of workflow-suitable conceptual modelling techniques. - Alistair P. Barros; Arthur H. M. ter Hofstede (Inf. Syst. J., 1998)

Modeling Extensions for Concurrent Workflow Coordination. - Alistair P. Barros; Arthur H. M. ter Hofstede (CoopIS, 1999)

Specifying Complex Process Control Aspects in Workflows for Exception Handling. - Arthur H. M. ter Hofstede; Alistair P. Barros (DASFAA, 1999)

A Study of Belief Revision in the Context of Adaptive Information Filtering. - Raymond Lau 001; Arthur H. M. ter Hofstede; Peter Bruza (ICSC, 1999)

Modelling Concurrent Process Coordination in Workflow Specifications. - Alistair P. Barros; Arthur H. M. ter Hofstede (ISCO, 1999)

Formal description of temporal knowledge in case reports. - Arnoud Van Der Maas; Arthur H. M. ter Hofstede; Pieter de Vries Robbé (Artif. Intell. Medicine, 1999)

On the Complexity of Some Verification Problems in Process Control Specifications. - Arthur H. M. ter Hofstede; Maria E. Orlowska (Comput. J., 1999)

On Structured Workflow Modelling. - Bartek Kiepuszewski; Arthur H. M. ter Hofstede; Christoph Bussler (CAiSE, 2000)

Advanced Workflow Patterns. - Wil M. P. van der Aalst; Alistair P. Barros; Arthur H. M. ter Hofstede; Bartek Kiepuszewski (CoopIS, 2000)

Belief revision and possibilistic logic for adaptive information filtering agents. - Raymond Lau 001; Arthur H. M. ter Hofstede; Peter Bruza; Kam-Fai Wong (ICTAI, 2000)

Service Composition for Electronic Commerce. - David Edmond; Arthur H. M. ter Hofstede (PACIS, 2000)

A Logic-Based Approach for Adaptive Information Filtering Agents. - Raymond Lau 001; Arthur H. M. ter Hofstede; Peter Bruza (PRICAI Workshops, 2000)

Formal description of disease courses. - Arnoud Van Der Maas; Arthur H. M. ter Hofstede (Artif. Intell. Medicine, 2000)

Applying Maxi-adjustment to Adaptive Information Filtering Agents - Raymond Lau 001; Arthur H. M. ter Hofstede; Peter Bruza (CoRR, 2000)

A reflective infrastructure for workflow adaptability. - David Edmond; Arthur H. M. ter Hofstede (Data Knowl. Eng., 2000)

Verification Of Workflow Task Structures: A Petri-net-baset Approach. - Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Inf. Syst., 2000)

Nonmonotonic Reasoning or Adaptive Information Filtering. - Raymond Lau 001; Arthur H. M. ter Hofstede; Peter Bruza (ACSC, 2001)

Retrofitting Workflows for B2B Assembly. - Alistair P. Barros; Arthur H. M. ter Hofstede; Clemens A. Szyperski (COMPSAC, 2001)

Towards A Semantic Framework for Service Description. - Marlon Dumas; Justin O'Sullivan; Mitra Heravizadeh; David Edmond; Arthur H. M. ter Hofstede (DS-9, 2001)

A formal approach to legal negotiation. - Guido Governatori; Marlon Dumas; Arthur H. M. ter Hofstede; Phillipa Oaks (ICAIL, 2001)

UML Activity Diagrams as a Workflow Specification Language. - Marlon Dumas; Arthur H. M. ter Hofstede (UML, 2001)

Belief Revision for Adaptive Information Filtering Agents. - Raymond Lau 001; Arthur H. M. ter Hofstede; Peter Bruza (Int. J. Cooperative Inf. Syst., 2001)

Viewpoint: Progress with Formalization in Medical Informatics? - Arnoud Van Der Maas; A. Johannes Ten Hoopen; Arthur H. M. ter Hofstede (J. Am. Medical Informatics Assoc., 2001)

Model Formulation: Requirements for Medical Modeling Languages. - Arnoud Van Der Maas; Arthur H. M. ter Hofstede; A. Johannes Ten Hoopen (J. Am. Medical Informatics Assoc., 2001)

Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents. - Raymond Lau 001; Arthur H. M. ter Hofstede; Peter Bruza (J. Appl. Non Class. Logics, 2001)

An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. - Marlon Dumas; Guido Governatori; Arthur H. M. ter Hofstede; Nick Russell (RIDE, 2002)

A probabilistic approach to automated bidding in alternative auctions. - Marlon Dumas; Lachlan Aldred; Guido Governatori; Arthur H. M. ter Hofstede; Nick Russell (WWW, 2002)

What's in a Service? - Justin O'Sullivan; David Edmond; Arthur H. M. ter Hofstede (Distributed Parallel Databases, 2002)

A formal approach to negotiating agents development. - Marlon Dumas; Guido Governatori; Arthur H. M. ter Hofstede; Phillipa Oaks (Electron. Commer. Res. Appl., 2002)

Business Process Management: A Survey. - Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Mathias Weske (Business Process Management, 2003)

Extending Conceptual Models for Web Based Applications. - Phillipa Oaks; Arthur H. M. ter Hofstede; David Edmond; Murray Spork (ER, 2003)

Analysis of Web Services Composition Languages: The Case of BPEL4WS. - Petia Wohed; Wil M. P. van der Aalst; Marlon Dumas; Arthur H. M. ter Hofstede (ER, 2003)

Web Service Composition Languages: Old Wine in New Bottles?. - Wil M. P. van der Aalst; Marlon Dumas; Arthur H. M. ter Hofstede (EUROMICRO, 2003)

Pattern Based Analysis of Eai Languages - The Case of the Business Modeling Language. - Petia Wohed; Erik Perjons; Marlon Dumas; Arthur H. M. ter Hofstede (ICEIS (3), 2003)

Capabilities: Describing What Services Can Do. - Phillipa Oaks; Arthur H. M. ter Hofstede; David Edmond (ICSOC, 2003)

The Application of Activity Theory to Dynamic Workflow Adaptation Issues. - Michael Adams 001; David Edmond; Arthur H. M. ter Hofstede (PACIS, 2003)

A Model for the Configurable Composition and Synchronization of Complex Trading Activities. - Yain-Whar Si; David Edmond; Arthur H. M. ter Hofstede; Marlon Dumas (SAC, 2003)

Property Propagation Rules for Prioritizing and Synchronizing Trading Activities. - Yain-Whar Si; David Edmond; Arthur H. M. ter Hofstede; Marlon Dumas (CEC, 2003)

Fundamentals of control flow in workflows. - Bartek Kiepuszewski; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst (Acta Informatica, 2003)

Workflow Patterns. - Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Bartek Kiepuszewski; Alistair P. Barros (Distributed Parallel Databases, 2003)

Design and Implementation of the YAWL System. - Wil M. P. van der Aalst; Lachlan Aldred; Marlon Dumas; Arthur H. M. ter Hofstede (CAiSE, 2004)

Patterns of Process Modeling. - Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Marlon Dumas (Process-Aware Information Systems, 2005)

Introduction. - Marlon Dumas; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Process-Aware Information Systems, 2005)

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. - Moe Thandar Wynn; David Edmond; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (ICATPN, 2005)

Service Interaction Patterns. - Alistair Barros; Marlon Dumas; Arthur H. M. ter Hofstede (Business Process Management, 2005)

Guided Interaction: A Language and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction. - Phillipa Oaks; Arthur H. M. ter Hofstede (Business Process Management Workshops, 2005)

Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets. - Michael Adams 001; Arthur H. M. ter Hofstede; David Edmond; Wil M. P. van der Aalst (CAiSE Short Paper Proceedings, 2005)

Workflow Resource Patterns: Identification, Representation and Tool Support. - Nick Russell; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; David Edmond (CAiSE, 2005)

When are two Workflows the Same? - Jan Hidders; Marlon Dumas; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Jan Verelst (CATS, 2005)

Specification of Composite Trading Activities in Supply Chain Management. - Yain-Whar Si; David Edmond; Arthur H. M. ter Hofstede; Marlon Dumas; Chan U. Chong (EEE, 2005)

Life After BPEL? - Wil M. P. van der Aalst; Marlon Dumas; Arthur H. M. ter Hofstede; Nick Russell; H. M. W. Verbeek; Petia Wohed (EPEW/WS-FM, 2005)

Workflow Data Patterns: Identification, Representation and Tool Support. - Nick Russell; Arthur H. M. ter Hofstede; David Edmond; Wil M. P. van der Aalst (ER, 2005)

Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams. - Petia Wohed; Wil M. P. van der Aalst; Marlon Dumas; Arthur H. M. ter Hofstede; Nick Russell (ER, 2005)

The Price of Services. - Justin O'Sullivan; David Edmond; Arthur H. M. ter Hofstede (ICSOC, 2005)

WofBPEL: A Tool for Automated Analysis of BPEL Processes. - Chun Ouyang 001; Eric Verbeek 001; Wil M. P. van der Aalst; Stephan Breutel; Marlon Dumas; Arthur H. M. ter Hofstede (ICSOC, 2005)

On the Notion of Coupling in Communication Middleware. - Lachlan Aldred; Wil M. P. van der Aalst; Marlon Dumas; Arthur H. M. ter Hofstede (OTM Conferences (2), 2005)

Probabilistic Automated Bidding in Multiple Auctions. - Marlon Dumas; Lachlan Aldred; Guido Governatori; Arthur H. M. ter Hofstede (Electron. Commer. Res., 2005)

Orchestrating interrelated trading activities. - Yain-Whar Si; David Edmond; Arthur H. M. ter Hofstede; Marlon Dumas (Int. J. Bus. Process. Integr. Manag., 2005)

YAWL: yet another workflow language. - Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Inf. Syst., 2005)

Developing a Business Process Reference Model for the Screen Business - A Design Science Research Case Study. - Stefan Seidel 001; Michael Rosemann; Arthur H. M. ter Hofstede; Lindsay Bradford (ACIS, 2006)

On the suitability of UML 2.0 activity diagrams for business process modelling. - Nick Russell; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Petia Wohed (APCCM, 2006)

On the Suitability of BPMN for Business Process Modelling. - Petia Wohed; Wil M. P. van der Aalst; Marlon Dumas; Arthur H. M. ter Hofstede; Nick Russell (Business Process Management, 2006)

Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis. - Moe Thandar Wynn; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; David Edmond (Business Process Management, 2006)

Translating Standard Process Models to BPEL. - Chun Ouyang 001; Marlon Dumas; Stephan Breutel; Arthur H. M. ter Hofstede (CAiSE, 2006)

Workflow Exception Patterns. - Nick Russell; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (CAiSE, 2006)

Service Interaction Modeling: Bridging Global and Local Views. - Johannes Maria Zaha; Marlon Dumas; Arthur H. M. ter Hofstede; Alistair Barros; Gero Decker (EDOC, 2006)

From BPMN Process Models to BPEL Web Services. - Chun Ouyang 001; Marlon Dumas; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst (ICWS, 2006)

Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. - Michael Adams 001; Arthur H. M. ter Hofstede; David Edmond; Wil M. P. van der Aalst (OTM Conferences (1), 2006)

Let's Dance: A Language for Service Behavior Modeling. - Johannes Maria Zaha; Alistair Barros; Marlon Dumas; Arthur H. M. ter Hofstede (OTM Conferences (1), 2006)

Transforming Object-Oriented Models to Process-Oriented Models. - Guy Redding; Marlon Dumas; Arthur H. M. ter Hofstede; Adrian Iordachescu (Business Process Management Workshops, 2007)

Business Process Simulation for Operational Decision Support. - Moe Thandar Wynn; Marlon Dumas; Colin J. Fidge; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst (Business Process Management Workshops, 2007)

Communication Abstractions for Distributed Business Processes. - Lachlan Aldred; Wil M. P. van der Aalst; Marlon Dumas; Arthur H. M. ter Hofstede (CAiSE, 2007)

Questionnaire-driven Configuration of Reference Process Models. - Marcello La Rosa; Johannes Lux; Stefan Seidel 001; Marlon Dumas; Arthur H. M. ter Hofstede (CAiSE, 2007)

Modelling and Supporting Processes in Creative Environments. - Stefan Seidel 001; Michael Adams 001; Arthur H. M. ter Hofstede; Michael Rosemann (ECIS, 2007)

Dynamic, Extensible and Context-Aware Exception Handling for Workflows. - Michael Adams 001; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst; David Edmond (OTM Conferences (1), 2007)

Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. - H. M. W. Verbeek; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Comput. J., 2007)

Specification and execution of composite trading activities. - Yain-Whar Si; David Edmond; Marlon Dumas; Arthur H. M. ter Hofstede (Electron. Commer. Res., 2007)

Guided interaction: A mechanism to enable ad hoc service interaction. - Phillipa Oaks; Arthur H. M. ter Hofstede (Inf. Syst. Frontiers, 2007)

Formal semantics and analysis of control flow in WS-BPEL. - Chun Ouyang 001; Eric Verbeek 001; Wil M. P. van der Aalst; Stephan Breutel; Marlon Dumas; Arthur H. M. ter Hofstede (Sci. Comput. Program., 2007)

Product flow analysis in distribution networks with a fixed time horizon. - Moe Thandar Wynn; Colin J. Fidge; Arthur H. M. ter Hofstede; Marlon Dumas (ACSC, 2008)

Visual Support for Work Assignment in Process-Aware Information Systems. - Massimiliano de Leoni; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (BPM, 2008)

Introduction to the First International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS 2008). - Massimiliano de Leoni; Schahram Dustdar; Arthur H. M. ter Hofstede (Business Process Management Workshops, 2008)

Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. - Anne Rozinat; Moe Thandar Wynn; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Colin J. Fidge (BPM, 2008)

Open Source Workflow: A Viable Direction for BPM?. - Petia Wohed; Nick Russell; Arthur H. M. ter Hofstede; Birger Andersson; Wil M. P. van der Aalst (CAiSE, 2008)

Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects. - Marcello La Rosa; Marlon Dumas; Arthur H. M. ter Hofstede; Jan Mendling; Florian Gottschalk (ER, 2008)

Correctness-Preserving Configuration of Business Process Models. - Wil M. P. van der Aalst; Marlon Dumas; Florian Gottschalk; Arthur H. M. ter Hofstede; Marcello La Rosa; Jan Mendling (FASE, 2008)

Toward Web-Scale Workflows for Film Production. - Chun Ouyang 001; Marcello La Rosa; Arthur H. M. ter Hofstede; Marlon Dumas; Katherine Shortland (IEEE Internet Comput., 2008)

Generating Business Process Models from Object Behavior Models. - Guy Redding; Marlon Dumas; Arthur H. M. ter Hofstede; Adrian Iordachescu (Inf. Syst. Manag., 2008)

Pattern-Based Translation of BPMN Process Models to BPEL Web Services. - Chun Ouyang 001; Marlon Dumas; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst (Int. J. Web Serv. Res., 2008)

Bridging Global and Local Models of Service-Oriented Systems. - Johannes Maria Zaha; Marlon Dumas; Arthur H. M. ter Hofstede; Alistair Barros; Gero Decker (IEEE Trans. Syst. Man Cybern. Part C, 2008)

Yet Another Workflow Language. - Chun Ouyang 001; Michael Adams 001; Arthur H. M. ter Hofstede (Handbook of Research on Business Process Modeling, 2009)

Modeling Business Process Variability for Design-Time Configuration. - Marcello La Rosa; Marlon Dumas; Arthur H. M. ter Hofstede (Handbook of Research on Business Process Modeling, 2009)

YAWL: Power through Patterns. - Michael Adams 001; Stephan Clemens; Marcello La Rosa; Arthur H. M. ter Hofstede (BPM (Demos), 2009)

Visual Support for Work Assignment in YAWL. - Francesco Cardi; Massimiliano de Leoni; Michael Adams 001; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst (BPM (Demos), 2009)

Flexibility as a Service. - Wil M. P. van der Aalst; Michael Adams 001; Arthur H. M. ter Hofstede; Maja Pesic; Helen Schonenberg (DASFAA Workshops, 2009)

Controlled Flexibility and Lifecycle Management of Business Processes through Extensibility. - Sören Balko; Arthur H. M. ter Hofstede; Alistair Barros; Marcello La Rosa (EMISA, 2009)

Modelling Flexible Processes with Business Objects. - Guy Redding; Marlon Dumas; Arthur H. M. ter Hofstede; Adrian Iordachescu (CEC, 2009)

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

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

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

Surmounting BPM challenges: the YAWL story. - Nick Russell; Arthur H. M. ter Hofstede (Comput. Sci. Res. Dev., 2009)

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

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

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

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

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

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

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

newYAWL: Towards Workflow 2.0. - Nick Russell; Arthur H. M. ter Hofstede (Trans. Petri Nets Other Model. Concurr., 2009)

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

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

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

The Design Environment. - Stephan Clemens; Marcello La Rosa; Arthur H. M. ter Hofstede (Modern Business Process Automation, 2010)

Appendix A The Order Fulfillment Process Model. - Marcello La Rosa; Stephan Clemens; Arthur H. M. ter Hofstede; Nick Russell (Modern Business Process Automation, 2010)

The Language: Rationale and Fundamentals. - Nick Russell; Arthur H. M. ter Hofstede (Modern Business Process Automation, 2010)

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

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

Modelling Complex Resource Requirements in Business Process Management Systems. - Chun Ouyang 001; Moe Thandar Wynn; Colin J. Fidge; Arthur H. M. ter Hofstede; Jan-Christian Kuhr (ACIS, 2010)

Efficient and Accurate Retrieval of Business Process Models through Indexing - (Short Paper). - Tao Jin 001; Jianmin Wang 001; Nianhua Wu; Marcello La Rosa; Arthur H. M. ter Hofstede (OTM Conferences (1), 2010)

A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences - (Short Paper). - Jianmin Wang 001; Tengfei He; Lijie Wen 001; Nianhua Wu; Arthur H. M. ter Hofstede; Jianwen Su (OTM Conferences (1), 2010)

Business Process Extensibility. - Sören Balko; Arthur H. M. ter Hofstede; Alistair Barros; Marcello La Rosa; Michael Adams 001 (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2010)

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

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

A flexible, object-centric approach for business process modelling. - Guy Redding; Marlon Dumas; Arthur H. M. ter Hofstede; Adrian Iordachescu (Serv. Oriented Comput. Appl., 2010)

Process Mining Manifesto. - Wil M. P. van der Aalst; Arya Adriansyah; Ana Karla Alves de Medeiros; Franco Arcieri; Thomas Baier 001; Tobias Blickle; R. P. Jagadeesh Chandra Bose; Peter van den Brand; Ronald Brandtjen; Joos C. A. M. Buijs; Andrea Burattin; Josep Carmona 001; et al. (Business Process Management Workshops (1), 2011)

Automated Error Correction of Business Process Models. - Mauro Gambini; Marcello La Rosa; Sara Migliorini; Arthur H. M. ter Hofstede (BPM, 2011)

Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features. - Andrea Marrella; Massimo Mecella; Alessandro Russo 001; Arthur H. M. ter Hofstede; Sebastian Sardiña (BPM (Demos), 2011)

Workflow support for scheduling in surgical care processes. - Chun Ouyang 001; Moe Thandar Wynn; Jan-Christian Kuhr; Michael Adams 001; Thomas Becker 009; Arthur H. M. ter Hofstede; Colin J. Fidge (ECIS, 2011)

History-Aware, Real-Time Risk Detection in Business Processes. - Raffaele Conforti; Giancarlo Fortino; Marcello La Rosa; Arthur H. M. ter Hofstede (OTM Conferences (1), 2011)

Fragment-Based Version Management for Repositories of Business Process Models. - Chathura C. Ekanayake; Marcello La Rosa; Arthur H. M. ter Hofstede; Marie-Christine Fauvet (OTM Conferences (1), 2011)

Data and process requirements for product recall coordination. - Moe Thandar Wynn; Chun Ouyang 001; Arthur H. M. ter Hofstede; Colin J. Fidge (Comput. Ind., 2011)

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

Configurable multi-perspective business process models. - Marcello La Rosa; Marlon Dumas; Arthur H. M. ter Hofstede; Jan Mendling (Inf. Syst., 2011)

Open Source Software for Workflow Management: The Case of YAWL. - Michael Adams 001; Arthur H. M. ter Hofstede; Marcello La Rosa (IEEE Softw., 2011)

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

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

Approximate Clone Detection in Repositories of Business Process Models. - Chathura C. Ekanayake; Marlon Dumas; Luciano García-Bañuelos; Marcello La Rosa; Arthur H. M. ter Hofstede (BPM, 2012)

Detecting Approximate Clones in Process Model Repositories with Apromore. - Chathura C. Ekanayake; Felix Mannhardt; Luciano García-Bañuelos; Marcello La Rosa; Marlon Dumas; Arthur H. M. ter Hofstede (BPM (Demos), 2012)

Supporting Blended Workflows. - Davide Passinhas; Michael Adams 001; Bernardo Oliveira Pinto; Ricardo Costa; António Rito Silva; Arthur H. M. ter Hofstede (BPM (Demos), 2012)

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

Root Cause Analysis with Enriched Process Logs. - Suriadi Suriadi; Chun Ouyang 001; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Business Process Management Workshops, 2012)

Automated Risk Mitigation in Business Processes. - Raffaele Conforti; Arthur H. M. ter Hofstede; Marcello La Rosa; Michael Adams 001 (OTM Conferences (1), 2012)

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

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

On Structured Workflow Modelling. - Bartek Kiepuszewski; Arthur H. M. ter Hofstede; Christoph Bussler (Seminal Contributions to Information Systems Engineering, 2013)

Privacy-Aware Workflow Management. - Bandar Alhaqbani; Michael Adams 001; Colin J. Fidge; Arthur H. M. ter Hofstede (Business Process Management, 2013)

Cost-Aware Business Process Management: A Research Agenda. - Moe Wynn; Jochen De Weerdt; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst; Hajo A. Reijers; Michael Adams 001; Chun Ouyang 001; Michael Rosemann; Wei Zhe Low (ACIS, 2013)

APQL: A Process-Model Query Language. - Arthur H. M. ter Hofstede; Chun Ouyang 001; Marcello La Rosa; Liang Song; Jianmin Wang 001; Artem Polyvyanyy (AP-BPM, 2013)

A Software Framework for Risk-Aware Business Process Management. - Raffaele Conforti; Marcello La Rosa; Arthur H. M. ter Hofstede; Giancarlo Fortino; Massimiliano de Leoni; Wil M. P. van der Aalst; Michael Adams 001 (CAiSE Forum, 2013)

Profiling Event Logs to Configure Risk Indicators for Process Delays. - Anastasiia Pika; Wil M. P. van der Aalst; Colin J. Fidge; Arthur H. M. ter Hofstede; Moe Thandar Wynn (CAiSE, 2013)

Understanding Process Behaviours in a Large Insurance Company in Australia: A Case Study. - Suriadi Suriadi; Moe Thandar Wynn; Chun Ouyang 001; Arthur H. M. ter Hofstede; Nienke J. van Dijk (CAiSE, 2013)

Cost-Informed Operational Process Support. - Moe Thandar Wynn; Hajo A. Reijers; Michael Adams 001; Chun Ouyang 001; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst; Michael Rosemann; Zahirul Hoque (ER, 2013)

Efficient querying of large process model repositories. - Tao Jin 001; Jianmin Wang 001; Marcello La Rosa; Arthur H. M. ter Hofstede; Lijie Wen 001 (Comput. Ind., 2013)

Real-time risk monitoring in business processes: A sensor-based approach. - Raffaele Conforti; Marcello La Rosa; Giancarlo Fortino; Arthur H. M. ter Hofstede; Jan Recker; Michael Adams 001 (J. Syst. Softw., 2013)

The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems. - Artem Polyvyanyy; Matthias Weidlich 001; Raffaele Conforti; Marcello La Rosa; Arthur H. M. ter Hofstede (Petri Nets, 2014)

An Extensible Framework for Analysing Resource Behaviour Using Event Logs. - Anastasiia Pika; Moe Thandar Wynn; Colin J. Fidge; Arthur H. M. ter Hofstede; Michael Leyer; Wil M. P. van der Aalst (CAiSE, 2014)

Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings. - Artem Polyvyanyy; Marcello La Rosa; Arthur H. M. ter Hofstede (CAiSE, 2014)

Perturbing event logs to identify cost reduction opportunities: A genetic algorithm-based approach. - Wei Zhe Low; Jochen De Weerdt; Moe Thandar Wynn; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst; Seppe K. L. M. vanden Broucke (IEEE Congress on Evolutionary Computation, 2014)

Achieving Intention-Centric BPM through Automated Planning. - Nick R. T. P. van Beest; Nick Russell; Arthur H. M. ter Hofstede; Alexander Lazovik (SOCA, 2014)

Current Research in Risk-aware Business Process Management - Overview, Comparison, and Gap Analysis. - Suriadi Suriadi; Burkhard Weiß; Axel Winkelmann; Arthur H. M. ter Hofstede; Michael Adams 001; Raffaele Conforti; Colin J. Fidge; Marcello La Rosa; Chun Ouyang 001; Anastasiia Pika; Michael Rosemann; Moe Thandar Wynn (Commun. Assoc. Inf. Syst., 2014)

How to guarantee compliance between workflows and product lifecycles? - Zhaoxia Wang; Arthur H. M. ter Hofstede; Chun Ouyang 001; Moe Thandar Wynn; Jianmin Wang 001; Xiaochen Zhu 001 (Inf. Syst., 2014)

A Framework for Cost-Aware Process Management: Cost Reporting and Cost Prediction. - Moe Thandar Wynn; Wei Zhe Low; Arthur H. M. ter Hofstede; Wiebe Nauta (J. Univers. Comput. Sci., 2014)

Liquid business process model collections. - Wil M. P. van der Aalst; Marcello La Rosa; Arthur H. M. ter Hofstede; Moe Thandar Wynn (Modeling and Simulation-Based Systems Engineering Handbook, 2014)

Realisation of Cost-Informed Process Support Within the YAWL Workflow Environment. - Michael Adams 001; Moe Thandar Wynn; Chun Ouyang 001; Arthur H. M. ter Hofstede (AP-BPM, 2015)

Change your history: Learning from event logs to improve processes. - Wil M. P. van der Aalst; Wei Zhe Low; Moe Thandar Wynn; Arthur H. M. ter Hofstede (CSCWD, 2015)

A recommendation system for predicting risks across multiple business process instances. - Raffaele Conforti; Massimiliano de Leoni; Marcello La Rosa; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Decis. Support Syst., 2015)

Event interval analysis: Why do processes take time? - Suriadi Suriadi; Chun Ouyang 001; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Decis. Support Syst., 2015)

Untanglings: a novel approach to analyzing concurrent systems. - Artem Polyvyanyy; Marcello La Rosa; Chun Ouyang 001; Arthur H. M. ter Hofstede (Formal Aspects Comput., 2015)

Detecting approximate clones in business process model repositories. - Marcello La Rosa; Marlon Dumas; Chathura C. Ekanayake; Luciano García-Bañuelos; Jan Recker; Arthur H. M. ter Hofstede (Inf. Syst., 2015)

Special Issue on: Knowledge-intensive Business Processes. - Arthur H. M. ter Hofstede; Massimo Mecella; Sebastian Sardiña (J. Data Semant., 2015)

Workflow Management. - Chun Ouyang 001; Michael Adams 001; Moe Thandar Wynn; Arthur H. M. ter Hofstede (Handbook on Business Process Management (1), 2015)

Workflow Patterns: The Definitive Guide - Nick Russell; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (MIT Press, 2016)

Business Process Performance Mining with Staged Process Flows. - Hoang Nguyen; Marlon Dumas; Arthur H. M. ter Hofstede; Marcello La Rosa; Fabrizio Maria Maggi (CAiSE, 2016)

A Toolkit for Streaming Process Data Analysis. - Remco M. Dijkman; Sander Peters; Arthur H. M. ter Hofstede (EDOC Workshops, 2016)

Detecting Drift from Event Streams of Unpredictable Business Processes. - Alireza Ostovar; Abderrahmane Maaradji; Marcello La Rosa; Arthur H. M. ter Hofstede; Boudewijn F. van Dongen (ER, 2016)

Revising history for cost-informed process improvement. - Wei Zhe Low; Seppe K. L. M. vanden Broucke; Moe Thandar Wynn; Arthur H. M. ter Hofstede; Jochen De Weerdt; Wil M. P. van der Aalst (Computing, 2016)

Evaluating and predicting overall process risk using event logs. - Anastasiia Pika; Wil M. P. van der Aalst; Moe Thandar Wynn; Colin J. Fidge; Arthur H. M. ter Hofstede (Inf. Sci., 2016)

Turning event logs into process movies: animating what has really happened. - Massimiliano de Leoni; Suriadi Suriadi; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst (Softw. Syst. Model., 2016)

ProcessProfiler3D: A Tool for Visualising Performance Differences Between Process Cohorts and Process Instances. - Erik Poppe; Moe Thandar Wynn; Arthur H. M. ter Hofstede; Ross Brown 001; Azzurra Pini; Wil M. P. van der Aalst (BPM (Demos), 2017)

Mining Business Process Stages from Event Logs. - Hoang Nguyen; Marlon Dumas; Arthur H. M. ter Hofstede; Marcello La Rosa; Fabrizio Maria Maggi (CAiSE, 2017)

Characterizing Drift from Event Streams of Business Processes. - Alireza Ostovar; Abderrahmane Maaradji; Marcello La Rosa; Arthur H. M. ter Hofstede (CAiSE, 2017)

Towards a Coordinative Theory for Flexible Work Collaboration. - Nick Russell; Alistair Barros; Arthur H. M. ter Hofstede (ICIS, 2017)

Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information. - Xixi Lu 001; Dirk Fahland; Robert Andrews 001; Suriadi Suriadi; Moe Thandar Wynn; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst (OTM Conferences (1), 2017)

Relational Algebra for In-Database Process Mining. - Remco M. Dijkman; Juntao Gao; Paul Grefen; Arthur H. M. ter Hofstede (CoRR, 2017)

Discovering work prioritisation patterns from event logs. - Suriadi Suriadi; Moe Thandar Wynn; Jingxin Xu; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Decis. Support Syst., 2017)

ProcessProfiler3D: A visualisation framework for log-based process performance comparison. - Moe Thandar Wynn; Erik Poppe; J. Xu; Arthur H. M. ter Hofstede; Ross Brown 001; Azzurra Pini; Wil M. P. van der Aalst (Decis. Support Syst., 2017)

Change visualisation: Analysing the resource and timing differences between two event logs. - Wei Zhe Low; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Moe Thandar Wynn; Jochen De Weerdt (Inf. Syst., 2017)

Event log imperfection patterns for process mining: Towards a systematic approach to cleaning event logs. - Suriadi Suriadi; Robert Andrews 001; Arthur H. M. ter Hofstede; Moe Thandar Wynn (Inf. Syst., 2017)

Filtering Out Infrequent Behavior from Business Process Event Logs. - Raffaele Conforti; Marcello La Rosa; Arthur H. M. ter Hofstede (IEEE Trans. Knowl. Data Eng., 2017)

Mining Resource Profiles from Event Logs. - Anastasiia Pika; Michael Leyer; Moe Thandar Wynn; Colin J. Fidge; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst (ACM Trans. Manag. Inf. Syst., 2017)

Impact-Driven Process Model Repair. - Artem Polyvyanyy; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Moe Thandar Wynn (ACM Trans. Softw. Eng. Methodol., 2017)

Improving Patient Flows at St. Andrew's War Memorial Hospital's Emergency Department Through Process Mining. - Robert Andrews 001; Suriadi Suriadi; Moe Wynn; Arthur H. M. ter Hofstede; Sean Rothwell (Business Process Management Cases, 2018)

Exposing Impediments to Insurance Claims Processing. - Robert Andrews 001; Moe Wynn; Arthur H. M. ter Hofstede; Jingxin Xu; Kylie Horton; Paul Taylor; Sue Plunkett-Cole (Business Process Management Cases, 2018)

Pre-hospital Retrieval and Transport of Road Trauma Patients in Queensland - A Process Mining Analysis. - Robert Andrews 001; Moe Thandar Wynn; Kirsten Vallmuur; Arthur H. M. ter Hofstede; Emma Bosley; Mark Elcock; Stephen Rashford (Business Process Management Workshops, 2018)

Finding the "Liberos": Discover Organizational Models with Overlaps. - Jing Yang 040; Chun Ouyang 001; Maolin Pan; Yang Yu 027; Arthur H. M. ter Hofstede (BPM, 2018)

Detection and Interactive Repair of Event Ordering Imperfection in Process Logs. - Prabhakar M. Dixit; Suriadi Suriadi; Robert Andrews 001; Moe Thandar Wynn; Arthur H. M. ter Hofstede; Joos C. A. M. Buijs; Wil M. P. van der Aalst (CAiSE, 2018)

Multi-perspective Comparison of Business Process Variants Based on Event Logs. - Hoang Nguyen; Marlon Dumas; Marcello La Rosa; Arthur H. M. ter Hofstede (ER, 2018)

Towards the Design of a Scalable Business Process Management System Architecture in the Cloud. - Chun Ouyang 001; Michael Adams 001; Arthur H. M. ter Hofstede; Yang Yu 027 (ER, 2018)

Design and Performance Analysis of Load Balancing Strategies for Cloud-Based Business Process Management Systems. - Michael Adams 001; Chun Ouyang 001; Arthur H. M. ter Hofstede; Yang Yu 027 (OTM Conferences (1), 2018)

Indulpet Miner: Combining Discovery Algorithms. - Sander J. J. Leemans; Niek Tax; Arthur H. M. ter Hofstede (OTM Conferences (1), 2018)

Towards Privacy-Preserving Process Mining in Healthcare. - Anastasiia Pika; Moe Thandar Wynn; Stephanus Budiono; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst; Hajo A. Reijers (Business Process Management Workshops, 2019)

Grounding Process Data Analytics in Domain Knowledge: A Mixed-Method Approach to Identifying Best Practice. - Moe Thandar Wynn; Suriadi Suriadi; Rebekah Eden; Erik Poppe; Anastasiia Pika; Robert Andrews 001; Arthur H. M. ter Hofstede (BPM Forum, 2019)

Preference-Based Resource and Task Allocation in Business Process Automation. - Reihaneh Bidar; Arthur H. M. ter Hofstede; Renuka Sindhgatta; Chun Ouyang 001 (OTM Conferences, 2019)

A Case Study Lens on Process Mining in Practice. - Fahame Emamjome; Robert Andrews 001; Arthur H. M. ter Hofstede (OTM Conferences, 2019)

A Contextual Approach to Detecting Synonymous and Polluted Activity Labels in Process Event Logs. - Sareh Sadeghianasl; Arthur H. M. ter Hofstede; Moe Thandar Wynn; Suriadi Suriadi (OTM Conferences, 2019)

Stage-based discovery of business process models from event logs. - Hoang Nguyen; Marlon Dumas; Arthur H. M. ter Hofstede; Marcello La Rosa; Fabrizio Maria Maggi (Inf. Syst., 2019)

Automatic Repair of Same-Timestamp Errors in Business Process Event Logs. - Raffaele Conforti; Marcello La Rosa; Arthur H. M. ter Hofstede; Adriano Augusto (BPM, 2020)

Flexible Integration of Blockchain with Business Process Automation: A Federated Architecture. - Michael Adams 001; Suriadi Suriadi; Akhil Kumar 001; Arthur H. M. ter Hofstede (CAiSE Forum, 2020)

Co-destruction Patterns in Crowdsourcing - Formal/Technical Paper. - Reihaneh Bidar; Arthur H. M. ter Hofstede; Renuka Sindhgatta (CAiSE, 2020)

Resource-Based Adaptive Robotic Process Automation - Formal/Technical Paper. - Renuka Sindhgatta; Arthur H. M. ter Hofstede; Aditya Ghose (CAiSE, 2020)

Alohomora: Unlocking Data Quality Causes Through Event Log Context. - Fahame Emamjome; Robert Andrews 001; Arthur H. M. ter Hofstede; Hajo A. Reijers (ECIS, 2020)

Signpost - a Semiotics-based Process Mining Methodology. - Fahame Emamjome; Robert Andrews 001; Arthur H. M. ter Hofstede; Hajo A. Reijers (ECIS, 2020)

Bot Log Mining: Using Logs from Robotic Process Automation for Process Mining. - Andreas Egger; Arthur H. M. ter Hofstede; Wolfgang Kratsch; Sander J. J. Leemans; Maximilian Röglinger; Moe Thandar Wynn (ER, 2020)

Destructive Domination in Crowdsourcing. - Reihaneh Bidar; Arthur H. M. ter Hofstede; Renuka Sindhgatta (ICIS, 2020)

An Expert Lens on Data Quality in Process Mining. - Robert Andrews 001; Fahame Emamjome; Arthur H. M. ter Hofstede; Hajo A. Reijers (ICPM, 2020)

Collaborative and Interactive Detection and Repair of Activity Labels in Process Event Logs. - Sareh Sadeghianasl; Arthur H. M. ter Hofstede; Suriadi Suriadi; Selen Turkay (ICPM, 2020)

Robotic Process Automation: Contemporary themes and challenges. - Rehan Syed; Suriadi Suriadi; Michael Adams 001; Wasana Bandara; Sander J. J. Leemans; Chun Ouyang 001; Arthur H. M. ter Hofstede; Inge van de Weerd; Moe Thandar Wynn; Hajo A. Reijers (Comput. Ind., 2020)

OrgMining 2.0: A Novel Framework for Organizational Model Mining from Event Logs. - Jing Yang 040; Chun Ouyang 001; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Yang Yu 027 (CoRR, 2020)

Enabling efficient process mining on large data sets: realizing an in-database process mining operator. - Remco M. Dijkman; Juntao Gao; Alifah Syamsiyah; Boudewijn F. van Dongen; Paul Grefen; Arthur H. M. ter Hofstede (Distributed Parallel Databases, 2020)

Quality-informed semi-automated event log generation for process mining. - Robert Andrews 001; Christopher G. J. van Dun; Moe Thandar Wynn; Wolfgang Kratsch; Maximilian Röglinger; Arthur H. M. ter Hofstede (Decis. Support Syst., 2020)

Scenario-based process querying for compliance, reuse, and standardization. - Artem Polyvyanyy; Anastasiia Pika; Arthur H. M. ter Hofstede (Inf. Syst., 2020)

YAWL: An open source Business Process Management System from science for science. - Michael Adams 001; Andreas V. Hense; Arthur H. M. ter Hofstede (SoftwareX, 2020)

Improving PhD Student Journeys: Insights from an Australian Higher Education Institution. - Kanika Goel 002; Sander J. J. Leemans; Moe Thandar Wynn; Arthur H. M. ter Hofstede; Janne Barnes (BPM Industry Forum, 2021)

Seeing the Forest for the Trees: Group-Oriented Workforce Analytics. - Jing Yang 040; Chun Ouyang 001; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst; Michael Leyer (BPM, 2021)

Situational dimensions of a coordination theory for network-based team management. - Alistair Barros; Mohammad Jabbari; Reihaneh Bidar; Arthur H. M. ter Hofstede; Nikolay Kazantsev (HICSS, 2021)

Data Governance for Managing Data Quality in Process Mining. - Kanika Goel 002; Fahame Emamjome; Arthur H. M. ter Hofstede (ICIS, 2021)

Privacy-Breaching Patterns in NoSQL Databases. - Kanika Goel 002; Arthur H. M. ter Hofstede (IEEE Access, 2021)

Process Activity Ontology Learning From Event Logs Through Gamification. - Sareh Sadeghianasl; Arthur H. M. ter Hofstede; Moe Thandar Wynn; Selen Turkay; Trina S. Myers (IEEE Access, 2021)

Detecting Crowdsourcing Impasses. - Renuka Sindhgatta; Reihaneh Bidar; Arthur H. M. ter Hofstede (IEEE Access, 2021)

Using Big Data to Improve Safety Performance: An Application of Process Mining to Enhance Data Visualisation. - Anastasiia Pika; Arthur H. M. ter Hofstede; Robert K. Perrons; Georg Grossmann; Markus Stumptner; Jim Cooley (Big Data Res., 2021)

Extracting Best-Practice Using Mixed-Methods. - Erik Poppe; Anastasiia Pika; Moe Thandar Wynn; Rebekah Eden; Robert Andrews 001; Arthur H. M. ter Hofstede (Bus. Inf. Syst. Eng., 2021)

Business Suitability Principles for Workflow Modelling. - Alistair P. Barros; Arthur H. M. ter Hofstede; Henderik A. Proper; Peter N. Creasy (CoRR, 2021)

Towards an Integrated Conceptual Modelling Kernel for Business Transaction Workflows. - Alistair P. Barros; Arthur H. M. ter Hofstede; Henderik A. Proper (CoRR, 2021)

Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019. - Claudio Di Ciccio; Søren Debois; Artem Polyvyanyy; Tijs Slaats; Arthur H. M. ter Hofstede; Jan Vanthienen (J. Data Semant., 2021)

Extensible ontology-based views for business process models. - Michael Adams 001; Andreas V. Hense; Arthur H. M. ter Hofstede (Knowl. Inf. Syst., 2021)

Design and Realisation of Scalable Business Process Management Systems for Deployment in the Cloud. - Chun Ouyang 001; Michael Adams 001; Arthur H. M. ter Hofstede; Yang Yu 027 (ACM Trans. Manag. Inf. Syst., 2021)

No Time to Dice: Learning Execution Contexts from Event Logs for Resource-Oriented Process Mining. - Jing Yang 040; Chun Ouyang 001; Arthur H. M. ter Hofstede; Wil M. P. van der Aalst (BPM, 2022)

Crop Harvest Forecast via Agronomy-Informed Process Modelling and Predictive Monitoring. - Jing Yang 040; Chun Ouyang 001; Güvenç Dik; Paul Corry; Arthur H. M. ter Hofstede (CAiSE, 2022)

Stochastic Process Model-Log Quality Dimensions: An Experimental Study. - Adam T. Burke; Sander J. J. Leemans; Moe Thandar Wynn; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (ICPM, 2022)

Text2EL: Exploiting Unstructured Text for Event Log Enrichment. - Dakshi Tharanga Kapugama Geeganage; Moe Thandar Wynn; Arthur H. M. ter Hofstede (SITIS, 2022)

AMORETTO: A Method for Deriving IoT-enriched Event Logs. - Jia Wei; Chun Ouyang 001; Arthur H. M. ter Hofstede; Catarina Moreira (CoRR, 2022)

OrdinoR: A framework for discovering, evaluating, and analyzing organizational models using event logs. - Jing Yang 040; Chun Ouyang 001; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; Yang Yu 027 (Decis. Support Syst., 2022)

Process mining for healthcare: Characteristics and challenges. - Jorge Munoz-Gama; Niels Martin; Carlos Fernández-Llatas; Owen A. Johnson; Marcos Sepúlveda; Emmanuel Helm; Victor Galvez-Yanjari; Eric Rojas 001; Antonio Martinez-Millana; Davide Aloini; Ilaria Angela Amantea; Robert Andrews 001; et al. (J. Biomed. Informatics, 2022)

Configurable Batch-Processing Discovery from Event Logs. - Anastasiia Pika; Chun Ouyang 001; Arthur H. M. ter Hofstede (ACM Trans. Manag. Inf. Syst., 2022)

Detecting Weasels at Work: A Theory-Driven Behavioural Process Mining Approach. - Michael Leyer; Arthur H. M. ter Hofstede; Rehan Syed (BPM (Forum), 2023)

Digital Health Data Imperfection Patterns and Their Manifestations in an Australian Digital Hospital. - Kanika Goel 002; Sareh Sadeghianasl; Robert Andrews 001; Arthur H. M. ter Hofstede; Moe Wynn; Dakshi Kapugama Geeganage; Sander J. J. Leemans; James M. McGree; Rebekah Eden; Andrew Staib; Rob Eley; Raelene Donovan (HICSS, 2023)

Revealing the Root Causes of Digital Health Data Quality Issues: A Qualitative Investigation of the Odigos Framework. - Rebekah Eden; Rehan Syed; Tendai Makasi; Robert Andrews 001; Arthur H. M. ter Hofstede; Moe Wynn; Raelene Donovan; Robert Eley; Andrew Staib (HICSS, 2023)

Learning execution contexts from event logs. - Jing Yang 040; Chun Ouyang 001; Arthur H. M. ter Hofstede (PMAI@IJCAI, 2023)

Statistical Tests and Association Measures for Business Processes. - Sander J. J. Leemans; James M. McGree; Artem Polyvyanyy; Arthur H. M. ter Hofstede (IEEE Trans. Knowl. Data Eng., 2023)

Process-Data Quality: The True Frontier of Process Mining. - Arthur H. M. ter Hofstede; Agnes Koschmider; Andrea Marrella; Robert Andrews 001; Dominik Andreas Fischer; Sareh Sadeghianasl; Moe Thandar Wynn; Marco Comuzzi; Jochen De Weerdt; Kanika Goel 002; Niels Martin; Pnina Soffer (ACM J. Data Inf. Qual., 2023)

Business process management engines. - Konstantinos Traganos; Michael Adams 001; Andreas V. Hense; Arthur H. M. ter Hofstede; Juergen Mangler; Stefanie Rinderle-Ma; Paul Grefen (Handbook on Business Process Management and Digital Transformation, 2024)

From Conventional to IoT-Enhanced: Object-Centric Event Logs for Real-Life Logistics Processes. - Jia Wei; Chun Ouyang 001; Weiguang Ma; Deyou Jiang; Jianglan Xia; Arthur H. M. ter Hofstede; Ying Wang; Lei Huang (BPM (Demos / Resources Forum), 2024)

SwiftMend: An Approach to Detect and Repair Activity Label Quality Issues in Process Event Streams. - Savandi Kalukapuge; Arthur H. M. ter Hofstede; Moe Thandar Wynn (CoopIS, 2024)

Comparing Conformance Checking for Decision Mining: An Axiomatic Approach. - Adam Banham; Arthur H. M. ter Hofstede; Sander J. J. Leemans; Felix Mannhardt; Robert Andrews 001; Moe Thandar Wynn (IEEE Access, 2024)

Dirigo: A Method to Extract Event Logs for Object-Centric Processes. - Jia Wei; Chun Ouyang 001; Arthur H. M. ter Hofstede; Ying Wang; Lei Huang (CoRR, 2024)

Humans-in-the-loop: Gamifying activity label repair in process event logs. - Sareh Sadeghianasl; Arthur H. M. ter Hofstede; Moe Thandar Wynn; Selen Türkay (Eng. Appl. Artif. Intell., 2024)

Demystifying data governance for process mining: Insights from a Delphi study. - Kanika Goel 002; Niels Martin; Arthur H. M. ter Hofstede (Inf. Manag., 2024)

A chance for models to show their quality: Stochastic process model-log dimensions. - Adam T. Burke; Sander J. J. Leemans; Moe Thandar Wynn; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Inf. Syst., 2024)

Bot log mining: An approach to the integrated analysis of Robotic Process Automation and process mining. - Andreas Egger; Arthur H. M. ter Hofstede; Wolfgang Kratsch; Sander J. J. Leemans; Maximilian Röglinger; Moe Thandar Wynn (Inf. Syst., 2024)

Process Query Language: Design, Implementation, and Evaluation. - Artem Polyvyanyy; Arthur H. M. ter Hofstede; Marcello La Rosa; Chun Ouyang 001; Anastasiia Pika (Inf. Syst., 2024)

Text2EL+: Expert Guided Event Log Enrichment Using Unstructured Text. - Dakshi Tharanga Kapugama Geeganage; Moe Thandar Wynn; Arthur H. M. ter Hofstede (ACM J. Data Inf. Qual., 2024)

Case ID Revealed HERE: Hybrid Elusive Case Repair Method for Transformer-Driven Business Process Event Log Enhancement. - Felix Zetzsche; Robert Andrews 001; Arthur H. M. ter Hofstede; Maximilian Röglinger; Sebastian Johannes Schmid; Moe Thandar Wynn (Bus. Inf. Syst. Eng., 2025)