The following pages link to Susan Owicki (Q1219674):
Displaying 14 items.
- An axiomatic proof technique for parallel programs (Q1219675) (← links)
- (Q1329145) (redirect page) (← links)
- Competitive randomized algorithms for nonuniform problems (Q1329146) (← links)
- (Q3138907) (← links)
- (Q3206358) (← links)
- Construction of centered shortest-path trees in networks (Q3659499) (← links)
- Proving Liveness Properties of Concurrent Programs (Q3942371) (← links)
- Verifying properties of parallel programs (Q4085221) (← links)
- (Q4140351) (← links)
- (Q4151147) (← links)
- (Q4178461) (← links)
- (Q4184296) (← links)
- (Q4190120) (← links)
- A perspective on AN2 (Q5365155) (← links)
