Searching for authors named "Pinar Senkul" – sorted by Relevance.
-
Logic Based Approaches to Workflow Modeling and Verification
- 2 Michael Kifer 1 Pinar Senkul 3 Guizhen Yang 1 1 Department of Computer Science, Stony Brook
- Cited by 5 (2 self) – Add To MetaCart
-
A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints
- A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints ∗ Pinar Senkul
- Cited by 20 (2 self) – Add To MetaCart

