| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Arthur H. M. ter Hofstede 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 Wil M. P. van der Aalst , Arthur H. M. ter Hofstede, Mathias Weske : Business Process Management: A Survey. Business Process Management 2003 : 1-12 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 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 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 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) Marlon Dumas , Guido Governatori , Arthur H. M. ter Hofstede, Nick Russell : An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. RIDE 2002 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 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) 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 Hervizadeh , 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 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) 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- Raymond Lau , Arthur H. M. ter Hofstede, Peter Bruza : A Logic-Based Approach for Adaptive Information Filtering Agents. PRICAI Workshops 2000 : 269-278 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) 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 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) Arthur H. M. ter Hofstede, Maria E. Orlowska , Jayantha Rajapakse : Verification Problems in Conceptual Workflow Specifications. Data Knowl. Eng. 24 (3): 239-256 (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, Theo P. van Der Weide : Deriving Identity from Extensionality. International Journal of Software Engineering and Knowledge Engineering 8 (2): 189-221 (1998) Alistair P. Barros , Arthur H. M. ter Hofstede, Henderik Alex Proper : Towards Real-Scale Business Transaction Workflow Modelling. CAiSE 1997 : 437-450 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) 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) 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 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, 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) E. Lippe , Arthur H. M. ter Hofstede: A Category Theory Approach to Conceptual Data Modeling. ITA 30 (1): 31-79 (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) 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) Arthur H. M. ter Hofstede, Henderik Alex Proper , Theo P. van der Weide : Data Modelling in Complex Application Domains. CAiSE 1992 : 364-377 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) T. F. Verhoef , Arthur H. M. ter Hofstede, G. M. Wijers : Structuring Modelling Knowledge for CASE Shells. CAiSE 1991 : 502-524 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) 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 1 [ 32 ] [ 37 ] [ 48 ] [ 49 ] [ 53 ] [ 55 ] [ 57 ] [ 58 ] 2 [ 46 ] 3 [ 22 ] [ 24 ] [ 28 ] [ 30 ] [ 31 ] [ 37 ] [ 43 ] [ 48 ] 4 [ 2 ] [ 4 ] 5 [ 1 ] 6 [ 29 ] [ 35 ] [ 36 ] [ 39 ] 7 [ 38 ] 8 [ 40 ] [ 41 ] [ 42 ] [ 44 ] [ 46 ] [ 47 ] [ 50 ] [ 52 ] [ 53 ] [ 55 ] [ 56 ] 9 [ 33 ] [ 42 ] [ 45 ] [ 50 ] [ 51 ] [ 54 ] [ 56 ] 10 [ 15 ] 11 [ 41 ] [ 44 ] [ 46 ] [ 47 ] 12 [ 42 ] 13 [ 17 ] [ 20 ] 14 [ 37 ] [ 38 ] [ 48 ] [ 49 ] 15 [ 29 ] [ 35 ] [ 36 ] [ 39 ] 16 [ 13 ] [ 15 ] [ 21 ] 17 [ 27 ] [ 34 ] 18 [ 42 ] [ 45 ] 19 [ 41 ] [ 44 ] [ 51 ] [ 54 ] 20 [ 16 ] [ 25 ] [ 26 ] 21 [ 52 ] 22 [ 5 ] [ 6 ] [ 9 ] [ 11 ] [ 14 ] [ 19 ] [ 22 ] 23 [ 16 ] [ 25 ] 24 [ 27 ] 25 [ 46 ] [ 47 ] 26 [ 50 ] [ 56 ] 27 [ 54 ] 28 [ 43 ] 29 [ 3 ] [ 10 ] [ 12 ] [ 18 ] 30 [ 23 ] 31 [ 2 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 11 ] [ 14 ] [ 19 ] [ 21 ] 32 [ 57 ] [ 58 ] 33 [ 3 ] 34 [ 52 ] [ 55 ] 35 [ 36 ]  ©2004 Association for Computing Machinery |
