Ter Hofstede, Arthur, 1966-
Hofstede, A.H.M. ter (Arthur Harry Maria), 1966-
Arthur ter Hofstede Nederlands informaticus
Hofstede, Arthur H.M. ter, 1966-
Hofstede, Arthur ter
VIAF ID: 85391693 (Personal)
Permalink: http://viaf.org/viaf/85391693
Preferred Forms
- 100 0 _ ‡a Arthur ter Hofstede ‡c Nederlands informaticus
-
-
-
-
- 100 1 _ ‡a Ter Hofstede, Arthur ‡d 1966-
- 100 1 _ ‡a Ter Hofstede, Arthur ‡d 1966-
- 100 1 _ ‡a Ter Hofstede, Arthur, ‡d 1966-
-
-
-
- 100 1 _ ‡a Ter Hofstede, Arthur, ‡d 1966-
4xx's: Alternate Name Forms (23)
5xx's: Related Names (6)
- 510 2 _ ‡a BPI 2007 Brisbane
- 551 _ _ ‡a Brisbane ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Proefschrift Nijmegen
- 510 2 _ ‡a Queensland University of Technology
- 510 2 _ ‡a Queensland University of Technology ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Springer Science+Business Media
Works
Title | Sources |
---|---|
Advanced Synchronization | |
An algebraic semantics for object-oriented behaviour modeling | |
Approximate Clone Detection in Repositories of Business Process Models | |
BPM 2007 | |
Business process management : international conference, BPM 2003, Eindhoven, the Netherlands, June 26-27, 2003 : proceedings | |
Business process management workshops : BPM 2007 international workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007 : revised selected papers | |
Capabilities: Describing What Services Can Do | |
Conceptual data modeling from a categorical perspective | |
The conceptual task model: a specification technique between requirements engineering and program development | |
Cost-Informed Operational Process Support | |
Deriving identity from extensionality | |
Designing a Workflow System Using Coloured Petri Nets | |
Dynamic and Context-Aware Process Adaptation | |
Epilogue | |
Exploring fact verbalisations for conceptual query formulation | |
An Extensible Framework for Analysing Resource Behaviour Using Event Logs | |
Fact orientation in complex object role modelling techniques | |
Flexible support of information modelling : is the game worth the candle? | |
A formal approach to protocols and strategies for (legal) negotiation | |
Formal definition of a conceptual language for the description and manipulation of information models | |
Formal description of temporal knowledge in case reports. | |
Formalisation of techniques : chopping down the methodology jungle | |
Formalization of communication and behaviour in object-oriented analysis | |
Information modelling in data intensive domains | |
Introduction to the First International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS 2008) | |
Let’s Dance: A Language for Service Behavior Modeling | |
Leveraging Data Quality to Better Prepare for Process Mining: An Approach Illustrated Through Analysing Road Trauma Pre-Hospital Retrieval and Transport Processes in Queensland | |
Managing Process Model Complexity via Concrete Syntax Modifications | |
Modelling Flexible Processes with Business Objects | |
The modelling of tasks at a conceptual level in information systems development methods | |
Modern business process automation YAWL and its support environment | |
A note on schema equivalence | |
On the concepts underlying object-oriented conceptual data modeling | |
On the Notion of Coupling in Communication Middleware | |
Open Source Workflow: A Viable Direction for BPM? | |
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams | |
Patterns of Process Modeling | |
Preserving correctness during business process model configuration | |
A probabilistic approach to automated bidding in alternative auctions | |
Process-aware information systems : bridging people and software through process technology | |
Process-aware information systems / ed. by Marlon Dumas, Wil van der Aalst, Arthur H. M. ter Hofstede. - Hoboken, cop. 2005. | |
Process Mining and Simulation | |
Profiling Event Logs to Configure Risk Indicators for Process Delays | |
Progress with formalization in medical informatics? | |
PSM | |
PSM: datamodelleren in het kwadraat | |
Query formulation as an information retrieval problem | |
Questionnaire-based variability modeling for system configuration | |
A recommendation system for predicting risks across multiple business process instances | |
Semantics and verification of object-role models | |
Soundness of Workflow Nets with Reset Arcs | |
Specification and execution of composite trading activities | |
Supporting information disclosure in an evolving environment | |
Supporting query by navigation | |
Towards a data modeling shell | |
Towards formal patient case analysis : generic modelling of patient specific temporal knowledge | |
Translating Standard Process Models to BPEL | |
Turning event logs into process movies: animating what has really happened | |
The uniquest algorithm : a formal semantics of complex uniqueness constraints | |
Verifying workflows with cancellation regions and OR-joins : an approach based on invariants | |
WofBPEL: A Tool for Automated Analysis of BPEL Processes | |
Workflow Data Patterns: Identification, Representation and Tool Support | |
Workflow patterns : the definitive guide | |
YAWL: An open source Business Process Management System from science for science | |
ভূমিকা |