Arthur H. M. ter Hofstede

According to our database1, Arthur H. M. ter Hofstede
  • authored at least 213 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Impact-Driven Process Model Repair.
ACM Trans. Softw. Eng. Methodol., 2017

Mining Resource Profiles from Event Logs.
ACM Trans. Management Inf. Syst., 2017

Filtering Out Infrequent Behavior from Business Process Event Logs.
IEEE Trans. Knowl. Data Eng., 2017

Event log imperfection patterns for process mining: Towards a systematic approach to cleaning event logs.
Inf. Syst., 2017

Change visualisation: Analysing the resource and timing differences between two event logs.
Inf. Syst., 2017

ProcessProfiler3D: A visualisation framework for log-based process performance comparison.
Decision Support Systems, 2017

Discovering work prioritisation patterns from event logs.
Decision Support Systems, 2017

Relational Algebra for In-Database Process Mining.
CoRR, 2017

Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Characterizing Drift from Event Streams of Business Processes.
Proceedings of the Advanced Information Systems Engineering, 2017

Mining Business Process Stages from Event Logs.
Proceedings of the Advanced Information Systems Engineering, 2017

ProcessProfiler3D: A Tool for Visualising Performance Differences Between Process Cohorts and Process Instances.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

2016
Turning event logs into process movies: animating what has really happened.
Software and System Modeling, 2016

Evaluating and predicting overall process risk using event logs.
Inf. Sci., 2016

Revising history for cost-informed process improvement.
Computing, 2016

Detecting Drift from Event Streams of Unpredictable Business Processes.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

A Toolkit for Streaming Process Data Analysis.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Business Process Performance Mining with Staged Process Flows.
Proceedings of the Advanced Information Systems Engineering, 2016

2015
Workflow Management.
Proceedings of the Handbook on Business Process Management 1, 2015

Special Issue on: Knowledge-intensive Business Processes.
J. Data Semantics, 2015

Detecting approximate clones in business process model repositories.
Inf. Syst., 2015

Untanglings: a novel approach to analyzing concurrent systems.
Formal Asp. Comput., 2015

Event interval analysis: Why do processes take time?
Decision Support Systems, 2015

A recommendation system for predicting risks across multiple business process instances.
Decision Support Systems, 2015

Change your history: Learning from event logs to improve processes.
Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

Realisation of Cost-Informed Process Support Within the YAWL Workflow Environment.
Proceedings of the Asia Pacific Business Process Management, 2015

2014
Liquid business process model collections.
Proceedings of the Modeling and Simulation-Based Systems Engineering Handbook., 2014

A Framework for Cost-Aware Process Management: Cost Reporting and Cost Prediction.
J. UCS, 2014

How to guarantee compliance between workflows and product lifecycles?
Inf. Syst., 2014

Current Research in Risk-aware Business Process Management―Overview, Comparison, and Gap Analysis.
CAIS, 2014

Achieving Intention-Centric BPM through Automated Planning.
Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014

Perturbing event logs to identify cost reduction opportunities: A genetic algorithm-based approach.
Proceedings of the IEEE Congress on Evolutionary Computation, 2014

Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings.
Proceedings of the Advanced Information Systems Engineering, 2014

An Extensible Framework for Analysing Resource Behaviour Using Event Logs.
Proceedings of the Advanced Information Systems Engineering, 2014

The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013
Real-time risk monitoring in business processes: A sensor-based approach.
Journal of Systems and Software, 2013

Efficient querying of large process model repositories.
Computers in Industry, 2013

Cost-Informed Operational Process Support.
Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Understanding Process Behaviours in a Large Insurance Company in Australia: A Case Study.
Proceedings of the Advanced Information Systems Engineering, 2013

Profiling Event Logs to Configure Risk Indicators for Process Delays.
Proceedings of the Advanced Information Systems Engineering, 2013

A Software Framework for Risk-Aware Business Process Management.
Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), 2013

APQL: A Process-Model Query Language.
Proceedings of the Asia Pacific Business Process Management, 2013

On Structured Workflow Modelling.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012
Workflow patterns put into context.
Software and System Modeling, 2012

Visual support for work assignment in process-aware information systems: Framework formalisation and implementation.
Decision Support Systems, 2012

Automated Risk Mitigation in Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Root Cause Analysis with Enriched Process Logs.
Proceedings of the Business Process Management Workshops, 2012

Predicting Deadline Transgressions Using Event Logs.
Proceedings of the Business Process Management Workshops, 2012

Supporting Blended Workflows.
Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), 2012

Detecting Approximate Clones in Process Model Repositories with Apromore.
Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), 2012

Approximate Clone Detection in Repositories of Business Process Models.
Proceedings of the Business Process Management - 10th International Conference, 2012

2011
Managing Process Model Complexity Via Abstract Syntax Modifications.
IEEE Trans. Industrial Informatics, 2011

Managing Process Model Complexity via Concrete Syntax Modifications.
IEEE Trans. Industrial Informatics, 2011

Open Source Software for Workflow Management: The Case of YAWL.
IEEE Software, 2011

Configurable multi-perspective business process models.
Inf. Syst., 2011

Soundness of workflow nets: classification, decidability, and analysis.
Formal Asp. Comput., 2011

Data and process requirements for product recall coordination.
Computers in Industry, 2011

Fragment-Based Version Management for Repositories of Business Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

History-Aware, Real-Time Risk Detection in Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

Workflow support for scheduling in surgical care processes.
Proceedings of the 19th European Conference on Information Systems, 2011

Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features.
Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011, 2011

Automated Error Correction of Business Process Models.
Proceedings of the Business Process Management - 9th International Conference, 2011


2010
A flexible, object-centric approach for business process modelling.
Service Oriented Computing and Applications, 2010

Reduction rules for reset/inhibitor nets.
J. Comput. Syst. Sci., 2010

Preserving correctness during business process model configuration.
Formal Asp. Comput., 2010

Business Process Extensibility.
Enterprise Modelling and Information Systems Architectures, 2010

A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences - (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

Efficient and Accurate Retrieval of Business Process Models through Indexing - (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

Process Mining and Simulation.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Advanced Synchronization.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

The Language: Rationale and Fundamentals.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Appendix A The Order Fulfillment Process Model.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

The Design Environment.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Epilogue.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Introduction.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

2009
From business process models to process-oriented software systems.
ACM Trans. Softw. Eng. Methodol., 2009

newYAWL: Towards Workflow 2.0.
Trans. Petri Nets and Other Models of Concurrency, 2009

Designing a Workflow System Using Coloured Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2009

Soundness of Workflow Nets with Reset Arcs.
Trans. Petri Nets and Other Models of Concurrency, 2009

Questionnaire-based variability modeling for system configuration.
Software and System Modeling, 2009

Soundness-preserving reduction rules for reset workflow nets.
Inf. Sci., 2009

Reduction rules for YAWL workflows with cancellation regions and OR-joins.
Information & Software Technology, 2009

Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark.
Information & Software Technology, 2009

Synchronization and Cancelation in Workflows Based on Reset Nets.
Int. J. Cooperative Inf. Syst., 2009

Surmounting BPM challenges: the YAWL story.
Computer Science - R&D, 2009

Workflow simulation for operational decision support.
Data Knowl. Eng., 2009

Dimensions of coupling in middleware.
Concurrency and Computation: Practice and Experience, 2009

Business process verification - finally a reality!
Business Proc. Manag. Journal, 2009

Modelling Flexible Processes with Business Objects.
Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009

Controlled Flexibility and Lifecycle Management of Business Processes through Extensibility.
Proceedings of the Enterprise Modelling and Information Systems Architectures: Proceedings of the 3rd International Workshop on Enterprise Modelling and Information Systems Architectures; Ulm, 2009

Flexibility as a Service.
Proceedings of the Database Systems for Advanced Applications, 2009

Visual Support for Work Assignment in YAWL.
Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

YAWL: Power through Patterns.
Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

2008
Bridging Global and Local Models of Service-Oriented Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2008

Generating Business Process Models from Object Behavior Models.
IS Management, 2008

Toward Web-Scale Workflows for Film Production.
IEEE Internet Computing, 2008

Correctness-Preserving Configuration of Business Process Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects.
Proceedings of the Conceptual Modeling, 2008

Open Source Workflow: A Viable Direction for BPM?.
Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

Workflow Simulation for Operational Decision Support Using Design, Historic and State Information.
Proceedings of the Business Process Management, 6th International Conference, 2008

Introduction to the First International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS 2008).
Proceedings of the Business Process Management Workshops, 2008

Visual Support for Work Assignment in Process-Aware Information Systems.
Proceedings of the Business Process Management, 6th International Conference, 2008

Product flow analysis in distribution networks with a fixed time horizon.
Proceedings of the Computer Science 2008, 2008

2007
Formal semantics and analysis of control flow in WS-BPEL.
Sci. Comput. Program., 2007

Guided interaction: A mechanism to enable ad hoc service interaction.
Information Systems Frontiers, 2007

Specification and execution of composite trading activities.
Electronic Commerce Research, 2007

Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants.
Comput. J., 2007

Dynamic, Extensible and Context-Aware Exception Handling for Workflows.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Modelling and Supporting Processes in Creative Environments.
Proceedings of the Fifteenth European Conference on Information Systems, 2007

Questionnaire-driven Configuration of Reference Process Models.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

Communication Abstractions for Distributed Business Processes.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

Business Process Simulation for Operational Decision Support.
Proceedings of the Business Process Management Workshops, 2007

Transforming Object-Oriented Models to Process-Oriented Models.
Proceedings of the Business Process Management Workshops, 2007

2006
Let's Dance: A Language for Service Behavior Modeling.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

From BPMN Process Models to BPEL Web Services.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Service Interaction Modeling: Bridging Global and Local Views.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

Workflow Exception Patterns.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Translating Standard Process Models to BPEL.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis.
Proceedings of the Business Process Management, 4th International Conference, 2006

On the Suitability of BPMN for Business Process Modelling.
Proceedings of the Business Process Management, 4th International Conference, 2006

On the suitability of UML 2.0 activity diagrams for business process modelling.
Proceedings of the Conceptual Modelling 2006, 2006

2005
YAWL: yet another workflow language.
Inf. Syst., 2005

Orchestrating interrelated trading activities.
IJBPIM, 2005

Probabilistic Automated Bidding in Multiple Auctions.
Electronic Commerce Research, 2005

On the Notion of Coupling in Communication Middleware.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

WofBPEL: A Tool for Automated Analysis of BPEL Processes.
Proceedings of the Service-Oriented Computing, 2005

The Price of Services.
Proceedings of the Service-Oriented Computing, 2005

Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams.
Proceedings of the Conceptual Modeling, 2005

Workflow Data Patterns: Identification, Representation and Tool Support.
Proceedings of the Conceptual Modeling, 2005

Life After BPEL?
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Specification of Composite Trading Activities in Supply Chain Management.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

When are two Workflows the Same?
Proceedings of the Theory of Computing 2005, 2005

Workflow Resource Patterns: Identification, Representation and Tool Support.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets.
Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE '05), 2005

Guided Interaction: A Language and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction.
Proceedings of the Business Process Management Workshops, 2005

Service Interaction Patterns.
Proceedings of the Business Process Management, 3rd International Conference, 2005

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Process-Aware Information Systems: Bridging People and Software Through Process Technology
Wiley, ISBN: 978-0-471-66306-5, 2005

Introduction.
Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005

Patterns of Process Modeling.
Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005

2004
Design and Implementation of the YAWL System.
Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

2003
Workflow Patterns.
Distributed and Parallel Databases, 2003

Fundamentals of control flow in workflows.
Acta Inf., 2003

Property Propagation Rules for Prioritizing and Synchronizing Trading Activities.
Proceedings of the 2003 IEEE International Conference on Electronic Commerce (CEC 2003), 2003

A Model for the Configurable Composition and Synchronization of Complex Trading Activities.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

The Application of Activity Theory to Dynamic Workflow Adaptation Issues.
Proceedings of the Seventh Pacific Asia Conference on Information Systems, 2003

Capabilities: Describing What Services Can Do.
Proceedings of the Service-Oriented Computing, 2003

Pattern Based Analysis of Eai Languages - The Case of the Business Modeling Language.
Proceedings of the ICEIS 2003, 2003

Web Service Composition Languages: Old Wine in New Bottles?.
Proceedings of the 29th EUROMICRO Conference 2003, 2003

Analysis of Web Services Composition Languages: The Case of BPEL4WS.
Proceedings of the Conceptual Modeling, 2003

Extending Conceptual Models for Web Based Applications.
Proceedings of the Conceptual Modeling, 2003

Business Process Management: A Survey.
Proceedings of the Business Process Management, International Conference, 2003

2002
A formal approach to negotiating agents development.
Electronic Commerce Research and Applications, 2002

What's in a Service?
Distributed and Parallel Databases, 2002

A probabilistic approach to automated bidding in alternative auctions.
Proceedings of the Eleventh International World Wide Web Conference, 2002

An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions.
Proceedings of the 12th International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems, 2002

2001
Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents.
Journal of Applied Non-Classical Logics, 2001

Model Formulation: Requirements for Medical Modeling Languages.
JAMIA, 2001

Viewpoint: Progress with Formalization in Medical Informatics?
JAMIA, 2001

Belief Revision for Adaptive Information Filtering Agents.
Int. J. Cooperative Inf. Syst., 2001

UML Activity Diagrams as a Workflow Specification Language.
Proceedings of the «UML» 2001, 2001

A formal approach to legal negotiation.
Proceedings of the Eigths International Conference on Artificial Intelligence and Law, 2001

Towards A Semantic Framework for Service Description.
Proceedings of the Semantic Issues in E-Commerce Systems, 2001

Retrofitting Workflows for B2B Assembly.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Nonmonotonic Reasoning or Adaptive Information Filtering.
Proceedings of the 24th Australasian Computer Science Conference (ACSC 2001), 29 January, 2001

2000
Verification Of Workflow Task Structures: A Petri-net-baset Approach.
Inf. Syst., 2000

A reflective infrastructure for workflow adaptability.
Data Knowl. Eng., 2000

Applying Maxi-adjustment to Adaptive Information Filtering Agents
CoRR, 2000

Formal description of disease courses.
Artificial Intelligence in Medicine, 2000

A Logic-Based Approach for Adaptive Information Filtering Agents.
Proceedings of the Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader, Four Workshops held at PRICAI 2000, Melbourne, Australia, August 28, 2000

Service Composition for Electronic Commerce.
Proceedings of the Fourth Pacific Asia Conference on Information Systems, 2000

Belief revision and possibilistic logic for adaptive information filtering agents.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Advanced Workflow Patterns.
Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

On Structured Workflow Modelling.
Proceedings of the Advanced Information Systems Engineering, 2000

1999
On the Complexity of Some Verification Problems in Process Control Specifications.
Comput. J., 1999

Formal description of temporal knowledge in case reports.
Artificial Intelligence in Medicine, 1999

Modelling Concurrent Process Coordination in Workflow Specifications.
Proceedings of the Information System Concepts: An Integrated Discipline Emerging, 1999

A Study of Belief Revision in the Context of Adaptive Information Filtering.
Proceedings of the Internet Applications, 5th International Computer Science Conference, 1999

Specifying Complex Process Control Aspects in Workflows for Exception Handling.
Proceedings of the Database Systems for Advanced Applications, 1999

Modeling Extensions for Concurrent Workflow Coordination.
Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, 1999

1998
Towards the construction of workflow-suitable conceptual modelling techniques.
Inf. Syst. J., 1998

How to formalize it?: Formalization principles for information system development methods.
Information & Software Technology, 1998

Deriving Identity from Extensionality.
International Journal of Software Engineering and Knowledge Engineering, 1998

Verification Problems in Conceptual Workflow Specifications.
Data Knowl. Eng., 1998

1997
On the Feasibility of Situational Method Engineering.
Inf. Syst., 1997

Exploiting Fact Verbalisation in Conceptual Information Modelling.
Inf. Syst., 1997

A unifying framework for conceptual data modelling concepts.
Information & Software Technology, 1997

Formalization of Communication and Behaviour in Object-Oriented Analysis.
Data Knowl. Eng., 1997

Applications of a Categorical Framework for Conceptual Data Modelling.
Acta Inf., 1997

Essential Principles for Workflow Modelling Effectiveness.
Proceedings of the Third Pacific Asia Conference on Information Systems, 1997

Towards Real-Scale Business Transaction Workflow Modelling.
Proceedings of the Advanced Information Systems Engineering, 1997

1996
A Category Theory Approach to Conceptual Data Modeling.
ITA, 1996

Meta-CASE: Is the game worth the candle?
Inf. Syst. J., 1996

Query Formulation as an Information Retrieval Problem.
Comput. J., 1996

Conceptual Data Modelling from a Categorical Perspective.
Comput. J., 1996

Verification Problems in Conceptual Workflow Specifications.
Proceedings of the Conceptual Modeling, 1996

An Algebraic Semantics for Object-Oriented Behaviour Modeling.
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

1995
Feasibility of Flexible Information Modelling Support
Proceedings of the Advanced Information Systems Engineering, 7th International Conference, 1995

Computer Supported Query Formulation in an Evolving Context.
Proceedings of the Sixth Australasian Database Conference, 1995

1994
Fact Orientation in Complex Object Role Modelling Techniques.
Proceedings of the First International Conference on Object-Role Modelling, 1994

Supporting Information Disclosure in an Evolving Environment.
Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

1993
Formal definition of a conceptual language for the description and manipulation of information models.
Inf. Syst., 1993

Task structure semantics through process algebra.
Software Engineering Journal, 1993

Expressiveness in Conceptual Data Modelling.
Data Knowl. Eng., 1993

1992
Formalization of techniques: chopping down the methodology jungle.
Information & Software Technology, 1992

Uniquest: Determining the Semantics of Complex Uniqueness Constraints.
Comput. J., 1992

Integrated Specification of Method and Graphic Knowledge.
Proceedings of the SEKE'92, 1992

Data Modelling in Complex Application Domains.
CAiSE, 1992

1991
Semantics and verification of object-role models.
Inf. Syst., 1991

Structuring Modelling Knowledge for CASE Shells.
CAiSE, 1991

1990
The Conceptual Task Model: a Specification Technique between Requirements Engineering and Program Development (Extended abstract).
CAiSE, 1990


  Loading...