| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Arthur H. M. ter Hofstede 45 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 44 Wil M. P. van der Aalst , Arthur H. M. ter Hofstede, Mathias Weske : Business Process Management: A Survey. Business Process Management 2003 : 1-12 43 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 42 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 41 Marlon Dumas , Guido Governatori , Arthur H. M. ter Hofstede, Nick Russell : An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. RIDE 2002 40 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 39 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) 38 Alistair P. Barros , Arthur H. M. ter Hofstede, Clemens A. Szyperski : Retrofitting Workflows for B2B Assembly. COMPSAC 2001 : 123-128 37 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 36 Guido Governatori , Marlon Dumas , Arthur H. M. ter Hofstede, Phillipa Oaks : A formal approach to legal negotiation. ICAIL 2001 : 168-177 35 Marlon Dumas , Arthur H. M. ter Hofstede: UML Activity Diagrams as a Workflow Specification Language. UML 2001 : 76-90 34 Raymond Lau , Arthur H. M. ter Hofstede, Peter Bruza : Belief Revision for Adaptive Information Filtering Agents. IJCIS 10 (1-2): 57-79 (2001) 33 Bartek Kiepuszewski , Arthur H. M. ter Hofstede, Christoph Bussler : On Structured Workflow Modelling. CAiSE 2000 : 431-445 32 Wil M. P. van der Aalst , Alistair P. Barros , Arthur H. M. ter Hofstede, Bartek Kiepuszewski : Advanced Workflow Patterns. CoopIS 2000 : 18-29 31 Raymond Lau , Arthur H. M. ter Hofstede, Peter Bruza : A Logic-Based Approach for Adaptive Information Filtering Agents. PRICAI Workshops 2000 : 269-278 30 Arnoud Van Der Maas , Arthur H. M. ter Hofstede: Formal description of disease courses. Artificial Intelligence in Medicine 18 (1): 29-55 (2000) 29 David Edmond , Arthur H. M. ter Hofstede: A reflective infrastructure for workflow adaptability. DKE 34 (3): 271-304 (2000) 28 Wil M. P. van der Aalst , Arthur H. M. ter Hofstede: Verification Of Workflow Task Structures: A Petri-net-baset Approach. Information Systems 25 (1): 43-69 (2000) 27 Alistair P. Barros , Arthur H. M. ter Hofstede: Modeling Extensions for Concurrent Workflow Coordination. CoopIS 1999 : 336-347 26 Arthur H. M. ter Hofstede, Alistair P. Barros : Specifying Complex Process Control Aspects in Workflows for Exception Handling. DASFAA 1999 : 53-60 25 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 24 Alistair P. Barros , Arthur H. M. ter Hofstede: Modelling Concurrent Process Coordination in Workflow Specifications. ISCO 1999 : 141-162 23 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) 22 Arthur H. M. ter Hofstede, Maria E. Orlowska : On the Complexity of Some Verification Problems in Process Control Specifications. The Computer Journal 42 (5): 349-359 (1999) 21 Arthur H. M. ter Hofstede, Maria E. Orlowska , Jayantha Rajapakse : Verification Problems in Conceptual Workflow Specifications. DKE 24 (3): 239-256 (1998) 20 Alistair P. Barros , Arthur H. M. ter Hofstede, Henderik Alex Proper : Towards Real-Scale Business Transaction Workflow Modelling. CAiSE 1997 : 437-450 19 Arthur H. M. ter Hofstede, E. Lippe , Theo P. van der Weide : Applications of a Categorical Framework for Conceptual Data Modelling. Acta Informatica 34 (12): 927-963 (1997) 18 J. W. G. M. Hubbers , Arthur H. M. ter Hofstede: Formalization of Communication and Behaviour in Object-Oriented Analysis. DKE 23 (2): 147-183 (1997) 17 Arthur H. M. ter Hofstede, Henderik Alex Proper , Theo P. van der Weide : Exploiting Fact Verbalisation in Conceptual Information Modelling. IS 22 (6/7): 349-385 (1997) 16 Arthur H. M. ter Hofstede, T. F. Verhoef : On the Feasibility of Situational Method Engineering. IS 22 (6/7): 401-422 (1997) 15 Arthur H. M. ter Hofstede, Maria E. Orlowska , Jayantha Rajapakse : Verification Problems in Conceptual Workflow Specifications. ER 1996 : 73-88 14 E. Lippe , Arthur H. M. ter Hofstede: A Category Theory Approach to Conceptual Data Modeling. ITA 30 (1): 31-79 (1996) 13 Arthur H. M. ter Hofstede, E. Lippe , Paul J. M. Frederiks : Conceptual Data Modelling from a Categorical Perspective. The Computer Journal 39 (3): 215-231 (1996) 12 Arthur H. M. ter Hofstede, Henderik Alex Proper , Theo P. van der Weide : Query Formulation as an Information Retrieval Problem. The Computer Journal 39 (4): 255-274 (1996) 11 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- 10 T. F. Verhoef , Arthur H. M. ter Hofstede: Feasibility of Flexible Information Modelling Support. CAiSE 1995 : 168-185 9 Arthur H. M. ter Hofstede, Henderik Alex Proper , Theo P. van der Weide : Supporting Information Disclosure in an Evolving Environment. DEXA 1994 : 433-444 8 Arthur H. M. ter Hofstede, Theo P. van der Weide : Fact Orientation in Complex Object Role Modelling Techniques. ORM 1994 : 45-59 7 Arthur H. M. ter Hofstede, Theo P. van der Weide : Expressiveness in Conceptual Data Modelling. DKE 10 : 65-100 (1993) 6 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. IS 18 (7): 489-523 (1993) 5 Arthur H. M. ter Hofstede, Henderik Alex Proper , Theo P. van der Weide : Data Modelling in Complex Application Domains. CAiSE 1992 : 364-377 4 Theo P. van der Weide , Arthur H. M. ter Hofstede, Patrick van Bommel : Uniquest: Determining the Semantics of Complex Uniqueness Constraints. The Computer Journal 35 (2): 148-156 (1992) 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. IS 16 (5): 471-495 (1991) 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  DiSC'03 © 2003 Association for Computing Machinery |
