Arthur H. M. ter Hofstede

Tao Jin, Jianmin Wang, Marcello La Rosa, Arthur H. M. ter Hofstede, Lijie Wen: Efficient querying of large process model repositories. Computers in Industry 64(1): 41-49 (2013)

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

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Workflow patterns put into context. Software and System Modeling 11(3): 319-323 (2012)

Suriadi Suriadi, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Root Cause Analysis with Enriched Process Logs. Business Process Management Workshops 2012: 174-186

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

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

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

Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Colin J. Fidge: Data and process requirements for product recall coordination. Computers in Industry 62(7): 776-786 (2011)

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: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3): 333-363 (2011)

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

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

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

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

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

Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn: Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194

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

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

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

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

Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Adams, Nick Russell (Eds.): Modern Business Process Automation - YAWL and its Support Environment. Springer 2010, isbn 978-3-642-03120-5

Sören Balko, Arthur H. M. ter Hofstede, Alistair P. Barros, Marcello La Rosa, Michael Adams: Business Process Extensibility. Enterprise Modelling and Information Systems Architectures 5(3): 4-23 (2010)

Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling: Preserving correctness during business process model configuration. Formal Asp. Comput. 22(3-4): 459-482 (2010)

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

Guy Redding, Marlon Dumas, Arthur H. M. ter Hofstede, Adrian Iordachescu: A flexible, object-centric approach for business process modelling. Service Oriented Computing and Applications 4(3): 191-201 (2010)

Wil M. P. van der Aalst, Michael Adams, Arthur H. M. ter Hofstede, Nick Russell: Introduction. Modern Business Process Automation 2010: 3-19

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

Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Advanced Synchronization. Modern Business Process Automation 2010: 103-119

Stephan Clemens, Marcello La Rosa, Arthur H. M. ter Hofstede: The Design Environment. Modern Business Process Automation 2010: 221-239

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

Wil M. P. van der Aalst, Michael Adams, Arthur H. M. ter Hofstede, Nick Russell: Epilogue. Modern Business Process Automation 2010: 591-596

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

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

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

Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede: Dimensions of coupling in middleware. Concurrency and Computation: Practice and Experience 21(18): 2233-2269 (2009)

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

Nick Russell, Arthur H. M. ter Hofstede: Surmounting BPM challenges: the YAWL story. Computer Science - R&D 23(2): 67-79 (2009)

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

Moe Thandar Wynn, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond: Reduction rules for YAWL workflows with cancellation regions and OR-joins. Information & Software Technology 51(6): 1010-1020 (2009)

Petia Wohed, Nick Russell, Arthur H. M. ter Hofstede, Birger Andersson, Wil M. P. van der Aalst: Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark. Information & Software Technology 51(8): 1187-1216 (2009)

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

Marcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede: Questionnaire-based variability modeling for system configuration. Software and System Modeling 8(2): 251-274 (2009)

Nick Russell, Arthur H. M. ter Hofstede: newYAWL: Towards Workflow 2.0. T. Petri Nets and Other Models of Concurrency 2: 79-97 (2009)

Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Designing a Workflow System Using Coloured Petri Nets. T. Petri Nets and Other Models of Concurrency 3: 1-24 (2009)

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: Soundness of Workflow Nets with Reset Arcs. T. Petri Nets and Other Models of Concurrency 3: 50-70 (2009)

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

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

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

Wil M. P. van der Aalst, Michael Adams, Arthur H. M. ter Hofstede, Maja Pesic, Helen Schonenberg: Flexibility as a Service. DASFAA Workshops 2009: 319-333

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

Guy Redding, Marlon Dumas, Arthur H. M. ter Hofstede, Adrian Iordachescu: Modelling Flexible Processes with Business Objects. CEC 2009: 41-48

Chun Ouyang, Marcello La Rosa, Arthur H. M. ter Hofstede, Marlon Dumas, Katherine Shortland: Toward Web-Scale Workflows for Film Production. IEEE Internet Computing 12(5): 53-61 (2008)

Guy Redding, Marlon Dumas, Arthur H. M. ter Hofstede, Adrian Iordachescu: Generating Business Process Models from Object Behavior Models. IS Management 25(4): 319-331 (2008)

Johannes Maria Zaha, Marlon Dumas, Arthur H. M. ter Hofstede, Alistair P. Barros, Gero Decker: Bridging Global and Local Models of Service-Oriented Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C 38(3): 302-318 (2008)

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

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

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

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

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

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

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

Arthur H. M. ter Hofstede, Boualem Benatallah, Hye-Young Paik (Eds.): Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4928, Springer 2008, isbn 978-3-540-78237-7

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

Yain-Whar Si, David Edmond, Marlon Dumas, Arthur H. M. ter Hofstede: Specification and execution of composite trading activities. Electronic Commerce Research 7(3-4): 221-263 (2007)

Phillipa Oaks, Arthur H. M. ter Hofstede: Guided interaction: A mechanism to enable ad hoc service interaction. Information Systems Frontiers 9(1): 29-51 (2007)

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

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

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

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

Marcello La Rosa, Johannes Lux, Stefan Seidel, Marlon Dumas, Arthur H. M. ter Hofstede: Questionnaire-driven Configuration of Reference Process Models. CAiSE 2007: 424-438

Stefan Seidel, Michael Adams, Arthur H. M. ter Hofstede, Michael Rosemann: Modelling and Supporting Processes in Creative Environments. ECIS 2007: 516-527

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

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

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

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

Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Workflow Exception Patterns. CAiSE 2006: 288-302

Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur H. M. ter Hofstede: Translating Standard Process Models to BPEL. CAiSE 2006: 417-432

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

Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst: From BPMN Process Models to BPEL Web Services. ICWS 2006: 285-292

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

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

Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley 2005, isbn 978-0-471-66306-5

Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede: Probabilistic Automated Bidding in Multiple Auctions. Electronic Commerce Research 5(1): 25-49 (2005)

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

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

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

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

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

Alistair P. Barros, Marlon Dumas, Arthur H. M. ter Hofstede: Service Interaction Patterns. Business Process Management 2005: 302-318

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

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

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

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

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

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

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

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

Justin O'Sullivan, David Edmond, Arthur H. M. ter Hofstede: The Price of Services. ICSOC 2005: 564-569

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

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

Bartek Kiepuszewski, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst: Fundamentals of control flow in workflows. Acta Inf. 39(3): 143-209 (2003)

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, Alistair P. Barros: Workflow Patterns. Distributed and Parallel Databases 14(1): 5-51 (2003)

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

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

Phillipa Oaks, Arthur H. M. ter Hofstede, David Edmond, Murray Spork: Extending Conceptual Models for Web Based Applications. ER 2003: 216-231

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

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

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

Michael Adams, David Edmond, Arthur H. M. ter Hofstede: The Application of Activity Theory to Dynamic Workflow Adaptation Issues. PACIS 2003: 113

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

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

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske (Eds.): Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings. Lecture Notes in Computer Science 2678, Springer 2003, isbn 3-540-40318-3

Justin O'Sullivan, David Edmond, Arthur H. M. ter Hofstede: What's in a Service? Distributed and Parallel Databases 12(2/3): 117-133 (2002)

Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Phillipa Oaks: A formal approach to negotiating agents development. Electronic Commerce Research and Applications 1(2): 193-207 (2002)

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

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

Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza: Belief Revision for Adaptive Information Filtering Agents. Int. J. Cooperative Inf. Syst. 10(1-2): 57-79 (2001)

Arnoud Van Der Maas, A. Johannes Ten Hoopen, Arthur H. M. ter Hofstede: Viewpoint: Progress with Formalization in Medical Informatics? JAMIA 8(2): 126-130 (2001)

Arnoud Van Der Maas, Arthur H. M. ter Hofstede, A. Johannes Ten Hoopen: Model Formulation: Requirements for Medical Modeling Languages. JAMIA 8(2): 146-162 (2001)

Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza: Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents. Journal of Applied Non-Classical Logics 11(1-2): 169-201 (2001)

Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza: Nonmonotonic Reasoning or Adaptive Information Filtering. ACSC 2001: 109-116

Alistair P. Barros, Arthur H. M. ter Hofstede, Clemens A. Szyperski: Retrofitting Workflows for B2B Assembly. COMPSAC 2001: 123-128

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

Guido Governatori, Marlon Dumas, Arthur H. M. ter Hofstede, Phillipa Oaks: A formal approach to legal negotiation. ICAIL 2001: 168-177

Marlon Dumas, Arthur H. M. ter Hofstede: UML Activity Diagrams as a Workflow Specification Language. UML 2001: 76-90

Arnoud Van Der Maas, Arthur H. M. ter Hofstede: Formal description of disease courses. Artificial Intelligence in Medicine 18(1): 29-55 (2000)

David Edmond, Arthur H. M. ter Hofstede: A reflective infrastructure for workflow adaptability. Data Knowl. Eng. 34(3): 271-304 (2000)

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

Bartek Kiepuszewski, Arthur H. M. ter Hofstede, Christoph Bussler: On Structured Workflow Modelling. CAiSE 2000: 431-445

Wil M. P. van der Aalst, Alistair P. Barros, Arthur H. M. ter Hofstede, Bartek Kiepuszewski: Advanced Workflow Patterns. CoopIS 2000: 18-29

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

David Edmond, Arthur H. M. ter Hofstede: Service Composition for Electronic Commerce. PACIS 2000: 20

Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza: A Logic-Based Approach for Adaptive Information Filtering Agents. PRICAI Workshops 2000: 269-278

Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza: Applying Maxi-adjustment to Adaptive Information Filtering Agents. CoRR cs.AI/0003014 (2000)

Arnoud Van Der Maas, Arthur H. M. ter Hofstede, Pieter de Vries Robbé: Formal description of temporal knowledge in case reports. Artificial Intelligence in Medicine 16(3): 251-282 (1999)

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

Alistair P. Barros, Arthur H. M. ter Hofstede: Modeling Extensions for Concurrent Workflow Coordination. CoopIS 1999: 336-347

Arthur H. M. ter Hofstede, Alistair P. Barros: Specifying Complex Process Control Aspects in Workflows for Exception Handling. DASFAA 1999: 53-60

Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza: A Study of Belief Revision in the Context of Adaptive Information Filtering. ICSC 1999: 1-10

Alistair P. Barros, Arthur H. M. ter Hofstede: Modelling Concurrent Process Coordination in Workflow Specifications. ISCO 1999: 141-162

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

Arthur H. M. ter Hofstede, Theo P. van der Weide: Deriving Identity from Extensionality. International Journal of Software Engineering and Knowledge Engineering 8(2): 189-221 (1998)

Arthur H. M. ter Hofstede, Henderik Alex Proper: How to formalize it?: Formalization principles for information system development methods. Information & Software Technology 40(10): 519-540 (1998)

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

Arthur H. M. ter Hofstede, E. Lippe, Theo P. van der Weide: Applications of a Categorical Framework for Conceptual Data Modelling. Acta Inf. 34(12): 927-963 (1997)

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

Paul J. M. Frederiks, Arthur H. M. ter Hofstede, E. Lippe: A unifying framework for conceptual data modelling concepts. Information & Software Technology 39(1): 15-25 (1997)

Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide: Exploiting Fact Verbalisation in Conceptual Information Modelling. Inf. Syst. 22(6/7): 349-385 (1997)

Arthur H. M. ter Hofstede, T. F. Verhoef: On the Feasibility of Situational Method Engineering. Inf. Syst. 22(6/7): 401-422 (1997)

Alistair P. Barros, Arthur H. M. ter Hofstede, Henderik Alex Proper: Towards Real-Scale Business Transaction Workflow Modelling. CAiSE 1997: 437-450

Alistair P. Barros, Arthur H. M. ter Hofstede, Henderik Alex Proper: Essential Principles for Workflow Modelling Effectiveness. PACIS 1997: 15

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

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

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

E. Lippe, Arthur H. M. ter Hofstede: A Category Theory Approach to Conceptual Data Modeling. ITA 30(1): 31-79 (1996)

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

Jan-Willem G. M. Hubbers, Arthur H. M. ter Hofstede: An Algebraic Semantics for Object-Oriented Behaviour Modeling. ASYNC 1996: 4-15

Arthur H. M. ter Hofstede, Maria E. Orlowska, Jayantha Rajapakse: Verification Problems in Conceptual Workflow Specifications. ER 1996: 73-88

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

T. F. Verhoef, Arthur H. M. ter Hofstede: Feasibility of Flexible Information Modelling Support. CAiSE 1995: 168-185

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

Arthur H. M. ter Hofstede, Theo P. van der Weide: Fact Orientation in Complex Object Role Modelling Techniques. ORM 1994: 45-59

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

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

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

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

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

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

T. F. Verhoef, Arthur H. M. ter Hofstede, G. M. Wijers: Structuring Modelling Knowledge for CASE Shells. CAiSE 1991: 502-524

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