The following pages link to Jacek Sroka (Q980994):
Displayed 6 items.
- A formal semantics for the Taverna 2 workflow model (Q980997) (← links)
- Contextual Coalitional Games (Q3063970) (← links)
- Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism (Q3174742) (← links)
- On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality (Q3187050) (← links)
- (Q3638002) (← links)
- On Determining the AND-OR Hierarchy in Workflow Nets (Q4606265) (← links)