The following pages link to Arthur H. M. ter Hofstede (Q973033):
Displaying 27 items.
- (Q335886) (redirect page) (← links)
- Revising history for cost-informed process improvement (Q335888) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
- Preserving correctness during business process model configuration (Q973035) (← links)
- Formal semantics and analysis of control flow in WS-BPEL (Q997228) (← links)
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- Exploiting fact verbalisation in conceptual information modelling (Q1384181) (← links)
- On the feasibility of situational method engineering (Q1384184) (← links)
- Applications of a categorical framework for conceptual data modeling (Q1386445) (← links)
- Fundamentals of control flow in workflows (Q1424346) (← links)
- Verification of workflow task structures: A Petri-net-based approach (Q1567413) (← links)
- Specification and execution of composite trading activities (Q2466384) (← links)
- Probabilistic automated bidding in multiple auctions (Q2574108) (← links)
- Soundness of Workflow Nets with Reset Arcs (Q3651240) (← links)
- Uniquest: Determining the Semantics of Complex Uniqueness Constraints (Q4019963) (← links)
- Expressiveness in conceptual data modelling (Q4034420) (← links)
- (Q4250724) (← links)
- Formalization of communication and behaviour in object-oriented analysis (Q4398690) (← links)
- (Q4435847) (← links)
- A reflective infrastructure for workflow adaptability (Q4496885) (← links)
- (Q4794443) (← links)
- A category theory approach to conceptual data modeling (Q4889816) (← links)
- On the Complexity of Some Verification Problems in Process Control Specifications (Q4935297) (← links)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713516) (← links)
