Search the dblp DataBase
Arthur H. M. ter Hofstede :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (5, 0)][DBLP ] Inf. Syst., 1993, v:18, n:7, pp:489-523 [Journal ] Arthur H. M. ter Hofstede , Theo P. van der Weide Expressiveness in Conceptual Data Modelling. [Citation Graph (3, 0)][DBLP ] Data Knowl. Eng., 1993, v:10, n:, pp:65-100 [Journal ] Arthur H. M. ter Hofstede , Henderik Alex Proper , Theo P. van der Weide Data Modelling in Complex Application Domains. [Citation Graph (2, 0)][DBLP ] CAiSE, 1992, pp:364-377 [Conf ] Arthur H. M. ter Hofstede , Maria E. Orlowska , Jayantha Rajapakse Verification Problems in Conceptual Workflow Specifications. [Citation Graph (2, 7)][DBLP ] ER, 1996, pp:73-88 [Conf ] E. Lippe , Arthur H. M. ter Hofstede A Category Theory Approach to Conceptual Data Modeling. [Citation Graph (2, 0)][DBLP ] ITA, 1996, v:30, n:1, pp:31-79 [Journal ] Alistair P. Barros , Arthur H. M. ter Hofstede , Henderik Alex Proper Towards Real-Scale Business Transaction Workflow Modelling. [Citation Graph (1, 0)][DBLP ] CAiSE, 1997, pp:437-450 [Conf ] Bartek Kiepuszewski , Arthur H. M. ter Hofstede , Christoph Bussler On Structured Workflow Modelling. [Citation Graph (1, 0)][DBLP ] CAiSE, 2000, pp:431-445 [Conf ] Arthur H. M. ter Hofstede , Henderik Alex Proper , Theo P. van der Weide Supporting Information Disclosure in an Evolving Environment. [Citation Graph (1, 0)][DBLP ] DEXA, 1994, pp:433-444 [Conf ] Arthur H. M. ter Hofstede , E. Lippe , Paul J. M. Frederiks Conceptual Data Modelling from a Categorical Perspective. [Citation Graph (1, 0)][DBLP ] Comput. J., 1996, v:39, n:3, pp:215-231 [Journal ] Arthur H. M. ter Hofstede , Henderik Alex Proper , Theo P. van der Weide Query Formulation as an Information Retrieval Problem. [Citation Graph (1, 0)][DBLP ] Comput. J., 1996, v:39, n:4, pp:255-274 [Journal ] Arthur H. M. ter Hofstede , Maria E. Orlowska , Jayantha Rajapakse Verification Problems in Conceptual Workflow Specifications. [Citation Graph (1, 0)][DBLP ] Data Knowl. Eng., 1998, v:24, n:3, pp:239-256 [Journal ] Wil M. P. van der Aalst , Arthur H. M. ter Hofstede Verification Of Workflow Task Structures: A Petri-net-baset Approach. [Citation Graph (1, 0)][DBLP ] Inf. Syst., 2000, v:25, n:1, pp:43-69 [Journal ] Patrick van Bommel , Arthur H. M. ter Hofstede , Theo P. van der Weide Semantics and verification of object-role models. [Citation Graph (1, 0)][DBLP ] Inf. Syst., 1991, v:16, n:5, pp:471-495 [Journal ] Raymond Lau , Arthur H. M. ter Hofstede , Peter Bruza Nonmonotonic Reasoning or Adaptive Information Filtering. [Citation Graph (0, 0)][DBLP ] ACSC, 2001, pp:109-116 [Conf ] Arthur H. M. ter Hofstede , Henderik Alex Proper , Theo P. van der Weide Computer Supported Query Formulation in an Evolving Context. [Citation Graph (0, 0)][DBLP ] Australasian Database Conference, 1995, pp:0-0 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] APCCM, 2006, pp:95-104 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:423-443 [Conf ] Jan-Willem G. M. Hubbers , Arthur H. M. ter Hofstede An Algebraic Semantics for Object-Oriented Behaviour Modeling. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 1996, pp:4-15 [Conf ] Jan-Willem G. M. Hubbers , Arthur H. M. ter Hofstede An Algebraic Semantics for Object-Oriented Behaviour Modeling. [Citation Graph (0, 0)][DBLP ] ASYNC, 1996, pp:4-15 [Conf ] Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , Mathias Weske Business Process Management: A Survey. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2003, pp:1-12 [Conf ] Alistair P. Barros , Marlon Dumas , Arthur H. M. ter Hofstede Service Interaction Patterns. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2005, pp:302-318 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2006, pp:161-176 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2006, pp:389-394 [Conf ] Phillipa Oaks , Arthur H. M. ter Hofstede Guided Interaction: A Language and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction. [Citation Graph (0, 0)][DBLP ] Business Process Management Workshops, 2005, pp:3-17 [Conf ] Wil M. P. van der Aalst , Lachlan Aldred , Marlon Dumas , Arthur H. M. ter Hofstede Design and Implementation of the YAWL System. [Citation Graph (0, 0)][DBLP ] CAiSE, 2004, pp:142-159 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] CAiSE Short Paper Proceedings, 2005, pp:- [Conf ] Sjaak Brinkkemper , Arthur H. M. ter Hofstede The Conceptual Task Model: a Specification Technique between Requirements Engineering and Program Development (Extended abstract). [Citation Graph (0, 0)][DBLP ] CAiSE, 1990, pp:228-250 [Conf ] Chun Ouyang , Marlon Dumas , Stephan Breutel , Arthur H. M. ter Hofstede Translating Standard Process Models to BPEL. [Citation Graph (0, 0)][DBLP ] CAiSE, 2006, pp:417-432 [Conf ] Nick Russell , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede Workflow Exception Patterns. [Citation Graph (0, 0)][DBLP ] CAiSE, 2006, pp:288-302 [Conf ] Nick Russell , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , David Edmond Workflow Resource Patterns: Identification, Representation and Tool Support. [Citation Graph (0, 0)][DBLP ] CAiSE, 2005, pp:216-232 [Conf ] T. F. Verhoef , Arthur H. M. ter Hofstede Feasibility of Flexible Information Modelling Support [Citation Graph (0, 0)][DBLP ] CAiSE, 1995, pp:168-185 [Conf ] T. F. Verhoef , Arthur H. M. ter Hofstede , G. M. Wijers Structuring Modelling Knowledge for CASE Shells. [Citation Graph (0, 0)][DBLP ] CAiSE, 1991, pp:502-524 [Conf ] Jan Hidders , Marlon Dumas , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , Jan Verelst When are two Workflows the Same? [Citation Graph (0, 0)][DBLP ] CATS, 2005, pp:3-11 [Conf ] Alistair P. Barros , Arthur H. M. ter Hofstede , Clemens A. Szyperski Retrofitting Workflows for B2B Assembly. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2001, pp:123-128 [Conf ] Wil M. P. van der Aalst , Alistair P. Barros , Arthur H. M. ter Hofstede , Bartek Kiepuszewski Advanced Workflow Patterns. [Citation Graph (0, 6)][DBLP ] CoopIS, 2000, pp:18-29 [Conf ] Alistair P. Barros , Arthur H. M. ter Hofstede Modeling Extensions for Concurrent Workflow Coordination. [Citation Graph (0, 0)][DBLP ] CoopIS, 1999, pp:336-347 [Conf ] Arthur H. M. ter Hofstede , Alistair P. Barros Specifying Complex Process Control Aspects in Workflows for Exception Handling. [Citation Graph (0, 3)][DBLP ] DASFAA, 1999, pp:53-60 [Conf ] Marlon Dumas , Justin O'Sullivan , Mitra Hervizadeh , David Edmond , Arthur H. M. ter Hofstede Towards A Semantic Framework for Service Description. [Citation Graph (0, 0)][DBLP ] DS-9, 2001, pp:277-291 [Conf ] Yain-Whar Si , David Edmond , Arthur H. M. ter Hofstede , Marlon Dumas , Chan U. Chong Specification of Composite Trading Activities in Supply Chain Management. [Citation Graph (0, 0)][DBLP ] EEE, 2005, pp:315-322 [Conf ] 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? [Citation Graph (0, 0)][DBLP ] EPEW/WS-FM, 2005, pp:35-50 [Conf ] Phillipa Oaks , Arthur H. M. ter Hofstede , David Edmond , Murray Spork Extending Conceptual Models for Web Based Applications. [Citation Graph (0, 0)][DBLP ] ER, 2003, pp:216-231 [Conf ] Nick Russell , Arthur H. M. ter Hofstede , David Edmond , Wil M. P. van der Aalst Workflow Data Patterns: Identification, Representation and Tool Support. [Citation Graph (0, 0)][DBLP ] ER, 2005, pp:353-368 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ER, 2003, pp:200-215 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ER, 2005, pp:63-78 [Conf ] Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede Web Service Composition Languages: Old Wine in New Bottles?. [Citation Graph (0, 0)][DBLP ] EUROMICRO, 2003, pp:298-307 [Conf ] Guido Governatori , Marlon Dumas , Arthur H. M. ter Hofstede , Phillipa Oaks A formal approach to legal negotiation. [Citation Graph (0, 0)][DBLP ] ICAIL, 2001, pp:168-177 [Conf ] Petia Wohed , Erik Perjons , Marlon Dumas , Arthur H. M. ter Hofstede Pattern Based Analysis of Eai Languages - The Case of the Business Modeling Language. [Citation Graph (0, 0)][DBLP ] ICEIS (3), 2003, pp:174-184 [Conf ] Raymond Lau , Arthur H. M. ter Hofstede , Peter Bruza A Study of Belief Revision in the Context of Adaptive Information Filtering. [Citation Graph (0, 0)][DBLP ] ICSC, 1999, pp:1-10 [Conf ] Justin O'Sullivan , David Edmond , Arthur H. M. ter Hofstede The Price of Services. [Citation Graph (0, 0)][DBLP ] ICSOC, 2005, pp:564-569 [Conf ] Phillipa Oaks , Arthur H. M. ter Hofstede , David Edmond Capabilities: Describing What Services Can Do. [Citation Graph (0, 0)][DBLP ] ICSOC, 2003, pp:1-16 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICSOC, 2005, pp:484-489 [Conf ] Raymond Lau , Arthur H. M. ter Hofstede , Peter Bruza , Kam-Fai Wong Belief revision and possibilistic logic for adaptive information filtering agents. [Citation Graph (0, 0)][DBLP ] ICTAI, 2000, pp:19-0 [Conf ] Chun Ouyang , Marlon Dumas , Arthur H. M. ter Hofstede , Wil M. P. van der Aalst From BPMN Process Models to BPEL Web Services. [Citation Graph (0, 0)][DBLP ] ICWS, 2006, pp:285-292 [Conf ] Alistair P. Barros , Arthur H. M. ter Hofstede Modelling Concurrent Process Coordination in Workflow Specifications. [Citation Graph (0, 0)][DBLP ] ISCO, 1999, pp:141-162 [Conf ] Arthur H. M. ter Hofstede , Theo P. van der Weide Fact Orientation in Complex Object Role Modelling Techniques. [Citation Graph (0, 0)][DBLP ] ORM, 1994, pp:45-59 [Conf ] Lachlan Aldred , Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede On the Notion of Coupling in Communication Middleware. [Citation Graph (0, 0)][DBLP ] OTM Conferences (2), 2005, pp:1015-1033 [Conf ] Johannes Maria Zaha , Alistair P. Barros , Marlon Dumas , Arthur H. M. ter Hofstede Let's Dance: A Language for Service Behavior Modeling. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2006, pp:145-162 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2006, pp:291-308 [Conf ] Raymond Lau , Arthur H. M. ter Hofstede , Peter Bruza A Logic-Based Approach for Adaptive Information Filtering Agents. [Citation Graph (0, 0)][DBLP ] PRICAI Workshops, 2000, pp:269-278 [Conf ] Marlon Dumas , Guido Governatori , Arthur H. M. ter Hofstede , Nick Russell An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. [Citation Graph (0, 0)][DBLP ] RIDE, 2002, pp:75-83 [Conf ] Yain-Whar Si , David Edmond , Arthur H. M. ter Hofstede , Marlon Dumas A Model for the Configurable Composition and Synchronization of Complex Trading Activities. [Citation Graph (0, 0)][DBLP ] SAC, 2003, pp:595-602 [Conf ] Arthur H. M. ter Hofstede , T. F. Verhoef , E. R. Nieuwland , G. M. Wijers Integrated Specification of Method and Graphic Knowledge. [Citation Graph (0, 0)][DBLP ] SEKE, 1992, pp:307-316 [Conf ] Marlon Dumas , Arthur H. M. ter Hofstede UML Activity Diagrams as a Workflow Specification Language. [Citation Graph (0, 0)][DBLP ] UML, 2001, pp:76-90 [Conf ] Yain-Whar Si , David Edmond , Arthur H. M. ter Hofstede , Marlon Dumas Property Propagation Rules for Prioritizing and Synchronizing Trading Activities. [Citation Graph (0, 0)][DBLP ] CEC, 2003, pp:246-255 [Conf ] Marlon Dumas , Lachlan Aldred , Guido Governatori , Arthur H. M. ter Hofstede , Nick Russell A probabilistic approach to automated bidding in alternative auctions. [Citation Graph (0, 0)][DBLP ] WWW, 2002, pp:99-108 [Conf ] Arthur H. M. ter Hofstede , E. Lippe , Theo P. van der Weide Applications of a Categorical Framework for Conceptual Data Modelling. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1997, v:34, n:12, pp:927-963 [Journal ] Bartek Kiepuszewski , Arthur H. M. ter Hofstede , Wil M. P. van der Aalst Fundamentals of control flow in workflows. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2003, v:39, n:3, pp:143-209 [Journal ] Arnoud Van Der Maas , Arthur H. M. ter Hofstede Formal description of disease courses. [Citation Graph (0, 0)][DBLP ] Artificial Intelligence in Medicine, 2000, v:18, n:1, pp:29-55 [Journal ] Arnoud Van Der Maas , Arthur H. M. ter Hofstede , Pieter De Vries Robbé Formal description of temporal knowledge in case reports. [Citation Graph (0, 0)][DBLP ] Artificial Intelligence in Medicine, 1999, v:16, n:3, pp:251-282 [Journal ] Arthur H. M. ter Hofstede , Maria E. Orlowska On the Complexity of Some Verification Problems in Process Control Specifications. [Citation Graph (0, 0)][DBLP ] Comput. J., 1999, v:42, n:5, pp:349-359 [Journal ] Theo P. van der Weide , Arthur H. M. ter Hofstede , Patrick van Bommel Uniquest: Determining the Semantics of Complex Uniqueness Constraints. [Citation Graph (0, 0)][DBLP ] Comput. J., 1992, v:35, n:2, pp:148-156 [Journal ] Raymond Lau , Arthur H. M. ter Hofstede , Peter Bruza Applying Maxi-adjustment to Adaptive Information Filtering Agents [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] David Edmond , Arthur H. M. ter Hofstede A reflective infrastructure for workflow adaptability. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 2000, v:34, n:3, pp:271-304 [Journal ] Jan-Willem G. M. Hubbers , Arthur H. M. ter Hofstede Formalization of Communication and Behaviour in Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 1997, v:23, n:2, pp:147-183 [Journal ] Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , Bartek Kiepuszewski , Alistair P. Barros Workflow Patterns. [Citation Graph (0, 0)][DBLP ] Distributed and Parallel Databases, 2003, v:14, n:1, pp:5-51 [Journal ] Justin O'Sullivan , David Edmond , Arthur H. M. ter Hofstede What's in a Service? [Citation Graph (0, 0)][DBLP ] Distributed and Parallel Databases, 2002, v:12, n:2/3, pp:117-133 [Journal ] Marlon Dumas , Lachlan Aldred , Guido Governatori , Arthur H. M. ter Hofstede Probabilistic Automated Bidding in Multiple Auctions. [Citation Graph (0, 0)][DBLP ] Electronic Commerce Research, 2005, v:5, n:1, pp:25-49 [Journal ] Marlon Dumas , Guido Governatori , Arthur H. M. ter Hofstede , Phillipa Oaks A formal approach to negotiating agents development. [Citation Graph (0, 0)][DBLP ] Electronic Commerce Research and Applications, 2002, v:1, n:2, pp:193-207 [Journal ] Raymond Lau , Arthur H. M. ter Hofstede , Peter Bruza Belief Revision for Adaptive Information Filtering Agents. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 2001, v:10, n:1-2, pp:57-79 [Journal ] Arthur H. M. ter Hofstede , Theo P. van der Weide Deriving Identity from Extensionality. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:2, pp:189-221 [Journal ] Arthur H. M. ter Hofstede , Henderik Alex Proper How to formalize it?: Formalization principles for information system development methods. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1998, v:40, n:10, pp:519-540 [Journal ] Paul J. M. Frederiks , Arthur H. M. ter Hofstede , E. Lippe A unifying framework for conceptual data modelling concepts. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1997, v:39, n:1, pp:15-25 [Journal ] Wil M. P. van der Aalst , Arthur H. M. ter Hofstede YAWL: yet another workflow language. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 2005, v:30, n:4, pp:245-275 [Journal ] Arthur H. M. ter Hofstede , Henderik Alex Proper , Theo P. van der Weide Exploiting Fact Verbalisation in Conceptual Information Modelling. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 1997, v:22, n:6/7, pp:349-385 [Journal ] Arthur H. M. ter Hofstede , T. F. Verhoef On the Feasibility of Situational Method Engineering. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 1997, v:22, n:6/7, pp:401-422 [Journal ] Alistair P. Barros , Arthur H. M. ter Hofstede Towards the construction of workflow-suitable conceptual modelling techniques. [Citation Graph (0, 0)][DBLP ] Inf. Syst. J., 1998, v:8, n:4, pp:313-0 [Journal ] Arthur H. M. ter Hofstede , T. F. Verhoef Meta-CASE: Is the game worth the candle? [Citation Graph (0, 0)][DBLP ] Inf. Syst. J., 1996, v:6, n:1, pp:41-68 [Journal ] Raymond Lau , Arthur H. M. ter Hofstede , Peter Bruza Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2001, v:11, n:1-2, pp:169-201 [Journal ] Lachlan Aldred , Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede Communication Abstractions for Distributed Business Processes. [Citation Graph (0, 0)][DBLP ] CAiSE, 2007, pp:409-423 [Conf ] Marcello La Rosa , Johannes Lux , Stefan Seidel , Marlon Dumas , Arthur H. M. ter Hofstede Questionnaire-driven Configuration of Reference Process Models. [Citation Graph (0, 0)][DBLP ] CAiSE, 2007, pp:424-438 [Conf ] Johannes Maria Zaha , Marlon Dumas , Arthur H. M. ter Hofstede , Alistair P. Barros , Gero Decker Service Interaction Modeling: Bridging Global and Local Views. [Citation Graph (0, 0)][DBLP ] EDOC, 2006, pp:45-55 [Conf ] Michael Adams , Arthur H. M. ter Hofstede , Wil M. P. van der Aalst , David Edmond Dynamic, Extensible and Context-Aware Exception Handling for Workflows. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2007, pp:95-112 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Comput. J., 2007, v:50, n:3, pp:294-314 [Journal ] Phillipa Oaks , Arthur H. M. ter Hofstede Guided interaction: A mechanism to enable ad hoc service interaction. [Citation Graph (0, 0)][DBLP ] Information Systems Frontiers, 2007, v:9, n:1, pp:29-51 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:67, n:2-3, pp:162-198 [Journal ] Product flow analysis in distribution networks with a fixed time horizon. [Citation Graph (, )][DBLP ] Transforming Object-Oriented Models to Process-Oriented Models. [Citation Graph (, )][DBLP ] Business Process Simulation for Operational Decision Support. [Citation Graph (, )][DBLP ] Visual Support for Work Assignment in Process-Aware Information Systems. [Citation Graph (, )][DBLP ] Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. [Citation Graph (, )][DBLP ] Introduction to the First International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS 2008). [Citation Graph (, )][DBLP ] YAWL: Power through Patterns. [Citation Graph (, )][DBLP ] Visual Support for Work Assignment in YAWL. [Citation Graph (, )][DBLP ] Open Source Workflow: A Viable Direction for BPM?. [Citation Graph (, )][DBLP ] Flexibility as a Service. [Citation Graph (, )][DBLP ] Controlled Flexibility and Lifecycle Management of Business Processes through Extensibility. [Citation Graph (, )][DBLP ] Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects. [Citation Graph (, )][DBLP ] Correctness-Preserving Configuration of Business Process Models. [Citation Graph (, )][DBLP ] Modelling Flexible Processes with Business Objects. [Citation Graph (, )][DBLP ] Dimensions of coupling in middleware. [Citation Graph (, )][DBLP ] Workflow simulation for operational decision support. [Citation Graph (, )][DBLP ] Specification and execution of composite trading activities. [Citation Graph (, )][DBLP ] Search in 0.367secs, Finished in 0.376secs