| 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 |
