2009 | ||
---|---|---|
112 | EE | 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) |
111 | EE | 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) |
110 | EE | Nick Russell, Arthur H. M. ter Hofstede: newYAWL: Towards Workflow 2.0. T. Petri Nets and Other Models of Concurrency 2: 79-97 (2009) |
2008 | ||
109 | Arthur H. M. ter Hofstede, Boualem Benatallah, Hye-Young Paik: Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers Springer 2008 | |
108 | EE | 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 |
107 | EE | 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 |
106 | EE | 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 |
105 | EE | 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 |
104 | EE | 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 |
103 | EE | 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 |
102 | EE | 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) |
101 | EE | 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) |
100 | EE | 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) |
2007 | ||
99 | EE | 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 |
98 | EE | 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 |
97 | EE | 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 |
96 | EE | 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 |
95 | EE | 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 |
94 | EE | 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) |
93 | EE | 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) |
92 | EE | 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) |
91 | EE | 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) |
2006 | ||
90 | EE | 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 |
89 | EE | 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 |
88 | EE | 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 |
87 | EE | Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Workflow Exception Patterns. CAiSE 2006: 288-302 |
86 | EE | Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur H. M. ter Hofstede: Translating Standard Process Models to BPEL. CAiSE 2006: 417-432 |
85 | EE | 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 |
84 | EE | 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 |
83 | EE | 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 |
82 | EE | 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 |
2005 | ||
81 | EE | Alistair P. Barros, Marlon Dumas, Arthur H. M. ter Hofstede: Service Interaction Patterns. Business Process Management 2005: 302-318 |
80 | EE | 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 |
79 | EE | 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 |
78 | EE | 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 |
77 | EE | 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 |
76 | EE | 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 |
75 | EE | 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 |
74 | EE | 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 |
73 | EE | 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 |
72 | EE | 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 |
71 | EE | 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 |
70 | EE | Justin O'Sullivan, David Edmond, Arthur H. M. ter Hofstede: The Price of Services. ICSOC 2005: 564-569 |
69 | EE | 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 |
68 | EE | 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) |
67 | EE | Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: YAWL: yet another workflow language. Inf. Syst. 30(4): 245-275 (2005) |
2004 | ||
66 | EE | 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 |
2003 | ||
65 | Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske: Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings Springer 2003 | |
64 | EE | Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske: Business Process Management: A Survey. Business Process Management 2003: 1-12 |
63 | EE | 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 |
62 | EE | 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 |
61 | EE | Phillipa Oaks, Arthur H. M. ter Hofstede, David Edmond, Murray Spork: Extending Conceptual Models for Web Based Applications. ER 2003: 216-231 |
60 | EE | 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 |
59 | 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 | |
58 | EE | Phillipa Oaks, Arthur H. M. ter Hofstede, David Edmond: Capabilities: Describing What Services Can Do. ICSOC 2003: 1-16 |
57 | 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 | |
56 | EE | 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) |
55 | EE | 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) |
2002 | ||
54 | EE | 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 |
53 | EE | 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 |
52 | 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) | |
51 | EE | 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) |
2001 | ||
50 | EE | Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza: Nonmonotonic Reasoning or Adaptive Information Filtering. ACSC 2001: 109-116 |
49 | EE | Alistair P. Barros, Arthur H. M. ter Hofstede, Clemens A. Szyperski: Retrofitting Workflows for B2B Assembly. COMPSAC 2001: 123-128 |
48 | 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 | |
47 | Guido Governatori, Marlon Dumas, Arthur H. M. ter Hofstede, Phillipa Oaks: A formal approach to legal negotiation. ICAIL 2001: 168-177 | |
46 | EE | Marlon Dumas, Arthur H. M. ter Hofstede: UML Activity Diagrams as a Workflow Specification Language. UML 2001: 76-90 |
45 | EE | 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) |
44 | 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) | |
2000 | ||
43 | EE | Bartek Kiepuszewski, Arthur H. M. ter Hofstede, Christoph Bussler: On Structured Workflow Modelling. CAiSE 2000: 431-445 |
42 | EE | Wil M. P. van der Aalst, Alistair P. Barros, Arthur H. M. ter Hofstede, Bartek Kiepuszewski: Advanced Workflow Patterns. CoopIS 2000: 18-29 |
41 | EE | 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- |
40 | EE | Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza: A Logic-Based Approach for Adaptive Information Filtering Agents. PRICAI Workshops 2000: 269-278 |
39 | Arnoud Van Der Maas, Arthur H. M. ter Hofstede: Formal description of disease courses. Artificial Intelligence in Medicine 18(1): 29-55 (2000) | |
38 | EE | Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza: Applying Maxi-adjustment to Adaptive Information Filtering Agents CoRR cs.AI/0003014: (2000) |
37 | EE | David Edmond, Arthur H. M. ter Hofstede: A reflective infrastructure for workflow adaptability. Data Knowl. Eng. 34(3): 271-304 (2000) |
36 | EE | 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) |
1999 | ||
35 | EE | Alistair P. Barros, Arthur H. M. ter Hofstede: Modeling Extensions for Concurrent Workflow Coordination. CoopIS 1999: 336-347 |
34 | EE | Arthur H. M. ter Hofstede, Alistair P. Barros: Specifying Complex Process Control Aspects in Workflows for Exception Handling. DASFAA 1999: 53-60 |
33 | 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 | |
32 | Alistair P. Barros, Arthur H. M. ter Hofstede: Modelling Concurrent Process Coordination in Workflow Specifications. ISCO 1999: 141-162 | |
31 | 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) | |
30 | 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) | |
1998 | ||
29 | EE | Arthur H. M. ter Hofstede, Maria E. Orlowska, Jayantha Rajapakse: Verification Problems in Conceptual Workflow Specifications. Data Knowl. Eng. 24(3): 239-256 (1998) |
28 | EE | Alistair P. Barros, Arthur H. M. ter Hofstede: Towards the construction of workflow-suitable conceptual modelling techniques. Inf. Syst. J. 8(4): 313- (1998) |
27 | EE | 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) |
26 | EE | 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) |
1997 | ||
25 | Alistair P. Barros, Arthur H. M. ter Hofstede, Henderik Alex Proper: Towards Real-Scale Business Transaction Workflow Modelling. CAiSE 1997: 437-450 | |
24 | EE | 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) |
23 | EE | 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) |
22 | EE | 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) |
21 | EE | Arthur H. M. ter Hofstede, T. F. Verhoef: On the Feasibility of Situational Method Engineering. Inf. Syst. 22(6/7): 401-422 (1997) |
20 | EE | 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) |
1996 | ||
19 | EE | Jan-Willem G. M. Hubbers, Arthur H. M. ter Hofstede: An Algebraic Semantics for Object-Oriented Behaviour Modeling. ASYNC 1996: 4-15 |
18 | EE | 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 |
17 | EE | Arthur H. M. ter Hofstede, Maria E. Orlowska, Jayantha Rajapakse: Verification Problems in Conceptual Workflow Specifications. ER 1996: 73-88 |
16 | 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) | |
15 | 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) | |
14 | E. Lippe, Arthur H. M. ter Hofstede: A Category Theory Approach to Conceptual Data Modeling. ITA 30(1): 31-79 (1996) | |
13 | EE | Arthur H. M. ter Hofstede, T. F. Verhoef: Meta-CASE: Is the game worth the candle? Inf. Syst. J. 6(1): 41-68 (1996) |
1995 | ||
12 | 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- | |
11 | T. F. Verhoef, Arthur H. M. ter Hofstede: Feasibility of Flexible Information Modelling Support CAiSE 1995: 168-185 | |
1994 | ||
10 | Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide: Supporting Information Disclosure in an Evolving Environment. DEXA 1994: 433-444 | |
9 | Arthur H. M. ter Hofstede, Theo P. van der Weide: Fact Orientation in Complex Object Role Modelling Techniques. ORM 1994: 45-59 | |
1993 | ||
8 | Arthur H. M. ter Hofstede, Theo P. van der Weide: Expressiveness in Conceptual Data Modelling. Data Knowl. Eng. 10: 65-100 (1993) | |
7 | 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) | |
1992 | ||
6 | Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide: Data Modelling in Complex Application Domains. CAiSE 1992: 364-377 | |
5 | EE | 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 |
4 | 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) | |
1991 | ||
3 | T. F. Verhoef, Arthur H. M. ter Hofstede, G. M. Wijers: Structuring Modelling Knowledge for CASE Shells. CAiSE 1991: 502-524 | |
2 | 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) | |
1990 | ||
1 | 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 |