Arthur H. M. ter Hofstede

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
147Automated Error Correction of Business Process Models. Mauro Gambini, Marcello La Rosa, Sara Migliorini, Arthur H. M. ter Hofstede. BPM 2011, 148-165. Web SearchBibTeXDownload
146Process Mining Manifesto. Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, 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 Muńoz-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. Business Process Management Workshops (1) 2011, 169-194. Web SearchBibTeXDownload
145Data and process requirements for product recall coordination. Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Colin J. Fidge. Computers in Industry (62): 776-786 (2011). Web SearchBibTeXDownload
144Workflow support for scheduling in surgical care processes. Chun Ouyang, Moe Thandar Wynn, Jan-Christian Kuhr, Michael Adams, Thomas Becker, Arthur H. M. ter Hofstede, Colin J. Fidge. ECIS 2011. Web SearchBibTeXDownload
143Soundness 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 Asp. Comput. (23): 333-363 (2011). Web SearchBibTeXDownload
142Open Source Software for Workflow Management: The Case of YAWL. Michael Adams, Arthur H. M. ter Hofstede, Marcello La Rosa. IEEE Software (28): 16-19 (2011). Web SearchBibTeXDownload
141Managing 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. Industrial Informatics (7): 614-629 (2011). Web SearchBibTeXDownload
140Managing 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. Industrial Informatics (7): 255-265 (2011). Web SearchBibTeXDownload
139Configurable multi-perspective business process models. Marcello La Rosa, Marlon Dumas, Arthur H. M. ter Hofstede, Jan Mendling. Inf. Syst. (36): 313-340 (2011). Web SearchBibTeXDownload
138History-Aware, Real-Time Risk Detection in Business Processes. Raffaele Conforti, Giancarlo Fortino, Marcello La Rosa, Arthur H. M. ter Hofstede. OTM Conferences (1) 2011, 100-118. Web SearchBibTeXDownload
137Fragment-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, 20-37. Web SearchBibTeXDownload
2010
136Business Process Extensibility. Sören Balko, Arthur H. M. ter Hofstede, Alistair P. Barros, Marcello La Rosa, Michael Adams. Enterprise Modelling and Information Systems Architectures (5): 4-23 (2010). Web SearchBibTeXDownload
135Preserving 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 Asp. Comput. (22): 459-482 (2010). Web SearchBibTeXDownload
134Reduction 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. (76): 125-143 (2010). Web SearchBibTeXDownload
133The Design Environment. Stephan Clemens, Marcello La Rosa, Arthur H. M. ter Hofstede. Modern Business Process Automation 2010, 221-239. Web SearchBibTeXDownload
132Appendix A The Order Fulfillment Process Model. Marcello La Rosa, Stephan Clemens, Arthur H. M. ter Hofstede, Nick Russell. Modern Business Process Automation 2010, 599-616. Web SearchBibTeXDownload
131Process 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, 437-457. Web SearchBibTeXDownload
130The Language: Rationale and Fundamentals. Nick Russell, Arthur H. M. ter Hofstede. Modern Business Process Automation 2010, 23-102. Web SearchBibTeXDownload
129Advanced Synchronization. Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. Modern Business Process Automation 2010, 103-119. Web SearchBibTeXDownload
128Efficient and Accurate Retrieval of Business Process Models through Indexing - (Short Paper). Tao Jin, Jianmin Wang, Nianhua Wu, Marcello La Rosa, Arthur H. M. ter Hofstede. OTM Conferences (1) 2010, 402-409. Web SearchBibTeXDownload
127A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences - (Short Paper). Jianmin Wang, Tengfei He, Lijie Wen, Nianhua Wu, Arthur H. M. ter Hofstede, Jianwen Su. OTM Conferences (1) 2010, 394-401. Web SearchBibTeXDownload
126A flexible, object-centric approach for business process modelling. Guy Redding, Marlon Dumas, Arthur H. M. ter Hofstede, Adrian Iordachescu. Service Oriented Computing and Applications (4): 191-201 (2010). Web SearchBibTeXDownload
2009
125From business process models to process-oriented software systems. Chun Ouyang, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Mendling. ACM Trans. Softw. Eng. Methodol. (19) (2009). Web SearchBibTeXDownload
124Visual Support for Work Assignment in YAWL. Francesco Cardi, Massimiliano de Leoni, Michael Adams, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst. BPM (Demos) 2009. Web SearchBibTeXDownload
123YAWL: Power through Patterns. Michael Adams, Stephan Clemens, Marcello La Rosa, Arthur H. M. ter Hofstede. BPM (Demos) 2009. Web SearchBibTeXDownload
122Modelling Flexible Processes with Business Objects. Guy Redding, Marlon Dumas, Arthur H. M. ter Hofstede, Adrian Iordachescu. CEC 2009, 41-48. Web SearchBibTeXDownload
121Surmounting BPM challenges: the YAWL story. Nick Russell, Arthur H. M. ter Hofstede. Computer Science - R&D (23): 67-79 (2009). Web SearchBibTeXDownload
120Dimensions of coupling in middleware. Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede. Concurrency and Computation: Practice and Experience (21): 2233-2269 (2009). Web SearchBibTeXDownload
119Flexibility as a Service. Wil M. P. van der Aalst, Michael Adams, Arthur H. M. ter Hofstede, Maja Pesic, Helen Schonenberg. DASFAA Workshops 2009, 319-333. Web SearchBibTeXDownload
118Workflow 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. (68): 834-850 (2009). Web SearchBibTeXDownload
117Controlled Flexibility and Lifecycle Management of Business Processes through Extensibility. Sören Balko, Arthur H. M. ter Hofstede, Alistair P. Barros, Marcello La Rosa. EMISA 2009, 97-110. Web SearchBibTeXDownload
116Reduction rules for YAWL workflows with cancellation regions and OR-joins. Moe Thandar Wynn, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. Information & Software Technology (51): 1010-1020 (2009). Web SearchBibTeXDownload
115Patterns-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. Information & Software Technology (51): 1187-1216 (2009). Web SearchBibTeXDownload
114Soundness-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. (179): 769-790 (2009). Web SearchBibTeXDownload
113Synchronization 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. (18): 63-114 (2009). Web SearchBibTeXDownload
112Questionnaire-based variability modeling for system configuration. Marcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede. Software and System Modeling (8): 251-274 (2009). Web SearchBibTeXDownload
111newYAWL: Towards Workflow 2.0. Nick Russell, Arthur H. M. ter Hofstede. T. Petri Nets and Other Models of Concurrency (2): 79-97 (2009). Web SearchBibTeXDownload
110Designing a Workflow System Using Coloured Petri Nets. Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. T. Petri Nets and Other Models of Concurrency (3): 1-24 (2009). Web SearchBibTeXDownload
109Soundness 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. T. Petri Nets and Other Models of Concurrency (3): 50-70 (2009). Web SearchBibTeXDownload
2008
108Product 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, 73-81. Web SearchBibTeXDownload
107Visual 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, 67-83. Web SearchBibTeXDownload
106Workflow 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, 196-211. Web SearchBibTeXDownload
105Introduction 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, 251-253. Web SearchBibTeXDownload
104Open 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, 583-586. Web SearchBibTeXDownload
103Beyond 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, 199-215. Web SearchBibTeXDownload
102Correctness-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, 46-61. Web SearchBibTeXDownload
101Toward Web-Scale Workflows for Film Production. Chun Ouyang, Marcello La Rosa, Arthur H. M. ter Hofstede, Marlon Dumas, Katherine Shortland. IEEE Internet Computing (12): 53-61 (2008). Web SearchBibTeXDownload
100Bridging Global and Local Models of Service-Oriented Systems. Johannes Maria Zaha, Marlon Dumas, Arthur H. M. ter Hofstede, Alistair P. Barros, Gero Decker. IEEE Transactions on Systems, Man, and Cybernetics, Part C (38): 302-318 (2008). Web SearchBibTeXDownload
99Generating Business Process Models from Object Behavior Models. Guy Redding, Marlon Dumas, Arthur H. M. ter Hofstede, Adrian Iordachescu. IS Management (25): 319-331 (2008). Web SearchBibTeXDownload
2007
98Business 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, 66-77. Web SearchBibTeXDownload
97Transforming Object-Oriented Models to Process-Oriented Models. Guy Redding, Marlon Dumas, Arthur H. M. ter Hofstede, Adrian Iordachescu. Business Process Management Workshops 2007, 132-143. Web SearchBibTeXDownload
96Questionnaire-driven Configuration of Reference Process Models. Marcello La Rosa, Johannes Lux, Stefan Seidel, Marlon Dumas, Arthur H. M. ter Hofstede. CAiSE 2007, 424-438. Web SearchBibTeXDownload
95Communication Abstractions for Distributed Business Processes. Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede. CAiSE 2007, 409-423. Web SearchBibTeXDownload
94Verifying 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. (50): 294-314 (2007). Web SearchBibTeXDownload
93Modelling and Supporting Processes in Creative Environments. Stefan Seidel, Michael Adams, Arthur H. M. ter Hofstede, Michael Rosemann. ECIS 2007, 516-527. Web SearchBibTeXDownload
92Specification and execution of composite trading activities. Yain-Whar Si, David Edmond, Marlon Dumas, Arthur H. M. ter Hofstede. Electronic Commerce Research (7): 221-263 (2007). Web SearchBibTeXDownload
91Guided interaction: A mechanism to enable ad hoc service interaction. Phillipa Oaks, Arthur H. M. ter Hofstede. Information Systems Frontiers (9): 29-51 (2007). Web SearchBibTeXDownload
90Dynamic, Extensible and Context-Aware Exception Handling for Workflows. Michael Adams, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, David Edmond. OTM Conferences (1) 2007, 95-112. Web SearchBibTeXDownload
89Formal semantics and analysis of control flow in WS-BPEL. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede. Sci. Comput. Program. (67): 162-198 (2007). Cited by 171Web SearchBibTeXDownload
2006
88On 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, 95-104. Web SearchBibTeXDownload
87Verifying 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, 389-394. Web SearchBibTeXDownload
86On 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, 161-176. Web SearchBibTeXDownload
85Translating Standard Process Models to BPEL. Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur H. M. ter Hofstede. CAiSE 2006, 417-432. Cited by 65Web SearchBibTeXDownload
84Workflow Exception Patterns. Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. CAiSE 2006, 288-302. Web SearchBibTeXDownload
83Service Interaction Modeling: Bridging Global and Local Views. Johannes Maria Zaha, Marlon Dumas, Arthur H. M. ter Hofstede, Alistair P. Barros, Gero Decker. EDOC 2006, 45-55. Web SearchBibTeXDownload
82From BPMN Process Models to BPEL Web Services. Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst. ICWS 2006, 285-292. Web SearchBibTeXDownload
81Let's Dance: A Language for Service Behavior Modeling. Johannes Maria Zaha, Alistair P. Barros, Marlon Dumas, Arthur H. M. ter Hofstede. OTM Conferences (1) 2006, 145-162. Web SearchBibTeXDownload
80Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. Michael Adams, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst. OTM Conferences (1) 2006, 291-308. Web SearchBibTeXDownload
2005
79Service Interaction Patterns. John Evdemon, Marlon Dumas, Arthur H. M. ter Hofstede. Business Process Management 2005, 302-318. Web SearchBibTeXDownload
78Guided 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, 3-17. Web SearchBibTeXDownload
77Workflow Resource Patterns: Identification, Representation and Tool Support. Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. CAiSE 2005, 216-232. Web SearchBibTeXDownload
76Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets. Michael Adams, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst. CAiSE Short Paper Proceedings 2005. Web SearchBibTeXDownload
75When are two Workflows the Same?. Jan Hidders, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Verelst. CATS 2005, 3-11. Cited by 32Web SearchBibTeXDownload
74Specification 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, 315-322. Web SearchBibTeXDownload
73Probabilistic Automated Bidding in Multiple Auctions. Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede. Electronic Commerce Research (5): 25-49 (2005). Cited by 12Web SearchBibTeXDownload
72Life After BPEL?. Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. (Eric) Verbeek, Petia Wohed. EPEW/WS-FM 2005, 35-50. Web SearchBibTeXDownload
71Workflow Data Patterns: Identification, Representation and Tool Support. Nick Russell, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst. ER 2005, 353-368. Web SearchBibTeXDownload
70Pattern-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, 63-78. Web SearchBibTeXDownload
69Achieving 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, 423-443. Web SearchBibTeXDownload
68WofBPEL: A Tool for Automated Analysis of BPEL Processes. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede. ICSOC 2005, 484-489. Cited by 59Web SearchBibTeXDownload
67The Price of Services. Justin O'Sullivan, David Edmond, Arthur H. M. ter Hofstede. ICSOC 2005, 564-569. Web SearchBibTeXDownload
66YAWL: yet another workflow language. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. Inf. Syst. (30): 245-275 (2005). Web SearchBibTeXDownload
65On 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, 1015-1033. Web SearchBibTeXDownload
2004
64Design and Implementation of the YAWL System. Wil M. P. van der Aalst, Lachlan Aldred, Marlon Dumas, Arthur H. M. ter Hofstede. CAiSE 2004, 142-159. Web SearchBibTeXDownload
2003
63Fundamentals of control flow in workflows. Bartek Kiepuszewski, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst. Acta Inf. (39): 143-209 (2003). Web SearchBibTeXDownload
62Business Process Management: A Survey. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske. Business Process Management 2003, 1-12. Cited by 311Web SearchBibTeXDownload
61Property Propagation Rules for Prioritizing and Synchronizing Trading Activities. Yain-Whar Si, David Edmond, Arthur H. M. ter Hofstede, Marlon Dumas. CEC 2003, 246-255. Web SearchBibTeXDownload
60Workflow Patterns. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, Alistair P. Barros. Distributed and Parallel Databases (14): 5-51 (2003). Web SearchBibTeXDownload
59Analysis 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, 200-215. Web SearchBibTeXDownload
58Extending Conceptual Models for Web Based Applications. Phillipa Oaks, Arthur H. M. ter Hofstede, David Edmond, Murray Spork. ER 2003, 216-231. Web SearchBibTeXDownload
57Web Service Composition Languages: Old Wine in New Bottles?. Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede. EUROMICRO 2003, 298-307. Web SearchBibTeXDownload
56Pattern 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, 174-184. Web SearchBibTeX
55Capabilities: Describing What Services Can Do. Phillipa Oaks, Arthur H. M. ter Hofstede, David Edmond. ICSOC 2003, 1-16. Web SearchBibTeXDownload
54A 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, 595-602. Web SearchBibTeX
2002
53What's in a Service?. Justin O'Sullivan, David Edmond, Arthur H. M. ter Hofstede. Distributed and Parallel Databases (12): 117-133 (2002). Web SearchBibTeXDownload
52A formal approach to negotiating agents development. Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Phillipa Oaks. Electronic Commerce Research and Applications (1): 193-207 (2002). Cited by 37Web SearchBibTeXDownload
51An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell. RIDE 2002, 75-83. Cited by 7Web SearchBibTeXDownload
50A probabilistic approach to automated bidding in alternative auctions. Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell. WWW 2002, 99-108. Cited by 25Web SearchBibTeXDownload
2001
49Nonmonotonic Reasoning or Adaptive Information Filtering. Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza. ACSC 2001, 109-116. Web SearchBibTeXDownload
48Retrofitting Workflows for B2B Assembly. Alistair P. Barros, Arthur H. M. ter Hofstede, Clemens A. Szyperski. COMPSAC 2001, 123-128. Web SearchBibTeXDownload
47Towards A Semantic Framework for Service Description. Marlon Dumas, Justin O'Sullivan, Mitra Heravizadeh, David Edmond, Arthur H. M. ter Hofstede. DS-9 2001, 277-291. Web SearchBibTeX
46A formal approach to legal negotiation. Guido Governatori, Marlon Dumas, Arthur H. M. ter Hofstede, Phillipa Oaks. ICAIL 2001, 168-177. Cited by 46Web SearchBibTeX
45Belief Revision for Adaptive Information Filtering Agents. Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza. Int. J. Cooperative Inf. Syst. (10): 57-79 (2001). Web SearchBibTeXDownload
44Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents. Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza. Journal of Applied Non-Classical Logics (11): 169-201 (2001). Web SearchBibTeX
43UML Activity Diagrams as a Workflow Specification Language. Marlon Dumas, Arthur H. M. ter Hofstede. UML 2001, 76-90. Web SearchBibTeXDownload
2000
42Formal description of disease courses. Arnoud Van Der Maas, Arthur H. M. ter Hofstede. Artificial Intelligence in Medicine (18): 29-55 (2000). Web SearchBibTeXDownload
41On Structured Workflow Modelling. Bartek Kiepuszewski, Arthur H. M. ter Hofstede, Christoph Bussler. CAiSE 2000, 431-445. Cited by 137Web SearchBibTeXDownload
40Advanced Workflow Patterns. Wil M. P. van der Aalst, Alistair P. Barros, Arthur H. M. ter Hofstede, Bartek Kiepuszewski. CoopIS 2000, 18-29. Web SearchBibTeXDownload
39Applying Maxi-adjustment to Adaptive Information Filtering Agents. Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza. CoRR (cs.AI/0003014) (2000). Web SearchBibTeXDownload
38A reflective infrastructure for workflow adaptability. David Edmond, Arthur H. M. ter Hofstede. Data Knowl. Eng. (34): 271-304 (2000). Web SearchBibTeXDownload
37Belief revision and possibilistic logic for adaptive information filtering agents. Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza, Kam-Fai Wong. ICTAI 2000, 19. Web SearchBibTeXDownload
36Verification Of Workflow Task Structures: A Petri-net-baset Approach. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. Inf. Syst. (25): 43-69 (2000). Web SearchBibTeXDownload
35A Logic-Based Approach for Adaptive Information Filtering Agents. Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza. PRICAI Workshops 2000, 269-278. Web SearchBibTeXDownload
1999
34Formal description of temporal knowledge in case reports. Arnoud Van Der Maas, Arthur H. M. ter Hofstede, Pieter De Vries Robbé. Artificial Intelligence in Medicine (16): 251-282 (1999). Web SearchBibTeXDownload
33On the Complexity of Some Verification Problems in Process Control Specifications. Arthur H. M. ter Hofstede, Maria E. Orlowska. Comput. J. (42): 349-359 (1999). Cited by 15Web SearchBibTeXDownload
32Modeling Extensions for Concurrent Workflow Coordination. Alistair P. Barros, Arthur H. M. ter Hofstede. CoopIS 1999, 336-347. Web SearchBibTeXDownload
31Specifying Complex Process Control Aspects in Workflows for Exception Handling. Arthur H. M. ter Hofstede, Alistair P. Barros. DASFAA 1999, 53-60. Web SearchBibTeX
30A Study of Belief Revision in the Context of Adaptive Information Filtering. Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza. ICSC 1999, 1-10. Web SearchBibTeXDownload
29Modelling Concurrent Process Coordination in Workflow Specifications. Alistair P. Barros, Arthur H. M. ter Hofstede. ISCO 1999, 141-162. Web SearchBibTeX
1998
28Verification Problems in Conceptual Workflow Specifications. Arthur H. M. ter Hofstede, Maria E. Orlowska, Jayantha Rajapakse. Data Knowl. Eng. (24): 239-256 (1998). Cited by 118Web SearchBibTeXDownload
27How to formalize it?: Formalization principles for information system development methods. Arthur H. M. ter Hofstede, Henderik Alex Proper. Information & Software Technology (40): 519-540 (1998). Web SearchBibTeXDownload
26Towards the construction of workflow-suitable conceptual modelling techniques. Alistair P. Barros, Arthur H. M. ter Hofstede. Inf. Syst. J. (8): 313 (1998). Web SearchBibTeXDownload
25Deriving Identity from Extensionality. Arthur H. M. ter Hofstede, Theo P. van der Weide. International Journal of Software Engineering and Knowledge Engineering (8): 189-221 (1998). Web SearchBibTeXDownload
1997
24Applications of a Categorical Framework for Conceptual Data Modelling. Arthur H. M. ter Hofstede, E. Lippe, Theo P. van der Weide. Acta Inf. (34): 927-963 (1997). Web SearchBibTeXDownload
23Towards Real-Scale Business Transaction Workflow Modelling. Alistair P. Barros, Arthur H. M. ter Hofstede, Henderik Alex Proper. CAiSE 1997, 437-450. Web SearchBibTeXDownload
22Formalization of Communication and Behaviour in Object-Oriented Analysis. Jan-Willem G. M. Hubbers, Arthur H. M. ter Hofstede. Data Knowl. Eng. (23): 147-183 (1997). Web SearchBibTeXDownload
21A unifying framework for conceptual data modelling concepts. Paul J. M. Frederiks, Arthur H. M. ter Hofstede, E. Lippe. Information & Software Technology (39): 15-25 (1997). Web SearchBibTeXDownload
20Exploiting Fact Verbalisation in Conceptual Information Modelling. Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide. Inf. Syst. (22): 349-385 (1997). Web SearchBibTeXDownload
19On the Feasibility of Situational Method Engineering. Arthur H. M. ter Hofstede, T. F. Verhoef. Inf. Syst. (22): 401-422 (1997). Web SearchBibTeXDownload
1996
18An Algebraic Semantics for Object-Oriented Behaviour Modeling. Jan-Willem G. M. Hubbers, Arthur H. M. ter Hofstede. ASYNC 1996, 4-15. Web SearchBibTeXDownload
17Conceptual Data Modelling from a Categorical Perspective. Arthur H. M. ter Hofstede, E. Lippe, Paul J. M. Frederiks. Comput. J. (39): 215-231 (1996). Web SearchBibTeXDownload
16Query Formulation as an Information Retrieval Problem. Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide. Comput. J. (39): 255-274 (1996). Web SearchBibTeXDownload
15Verification Problems in Conceptual Workflow Specifications. Arthur H. M. ter Hofstede, Maria E. Orlowska, Jayantha Rajapakse. ER 1996, 73-88. Cited by 118Web SearchBibTeXDownload
14Meta-CASE: Is the game worth the candle?. Arthur H. M. ter Hofstede, T. F. Verhoef. Inf. Syst. J. (6): 41-68 (1996). Web SearchBibTeXDownload
13A Category Theory Approach to Conceptual Data Modeling. E. Lippe, Arthur H. M. ter Hofstede. ITA (30): 31-79 (1996). Web SearchBibTeX
1995
12Computer Supported Query Formulation in an Evolving Context. Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide. Australasian Database Conference 1995. Web SearchBibTeX
11Feasibility of Flexible Information Modelling Support. T. F. Verhoef, Arthur H. M. ter Hofstede. CAiSE 1995, 168-185. Web SearchBibTeXDownload
1994
10Supporting Information Disclosure in an Evolving Environment. Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide. DEXA 1994, 433-444. Web SearchBibTeXDownload
9Fact Orientation in Complex Object Role Modelling Techniques. Arthur H. M. ter Hofstede, Theo P. van der Weide. ORM 1994, 45-59. Web SearchBibTeX
1993
8Expressiveness in Conceptual Data Modelling. Arthur H. M. ter Hofstede, Theo P. van der Weide. Data Knowl. Eng. (10): 65-100 (1993). Web SearchBibTeXDownload
7Formal 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. (18): 489-523 (1993). Web SearchBibTeXDownload
1992
6Data Modelling in Complex Application Domains. Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide. CAiSE 1992, 364-377. Web SearchBibTeXDownload
5Uniquest: Determining the Semantics of Complex Uniqueness Constraints. Theo P. van der Weide, Arthur H. M. ter Hofstede, Patrick van Bommel. Comput. J. (35): 148-156 (1992). Web SearchBibTeXDownload
4Integrated Specification of Method and Graphic Knowledge. Arthur H. M. ter Hofstede, T. F. Verhoef, E. R. Nieuwland, G. M. Wijers. SEKE 1992, 307-316. Web SearchBibTeXDownload
1991
3Structuring Modelling Knowledge for CASE Shells. T. F. Verhoef, Arthur H. M. ter Hofstede, G. M. Wijers. CAiSE 1991, 502-524. Web SearchBibTeXDownload
2Semantics and verification of object-role models. Patrick van Bommel, Arthur H. M. ter Hofstede, Theo P. van der Weide. Inf. Syst. (16): 471-495 (1991). Web SearchBibTeXDownload
1990
1The Conceptual Task Model: a Specification Technique between Requirements Engineering and Program Development (Extended abstract). Sjaak Brinkkemper, Arthur H. M. ter Hofstede. CAiSE 1990, 228-250. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research