Susan Owicki

MaRDI QIDQ1219674zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A perspective on AN2 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing - PODC '93	2017-09-29	Paper
Competitive randomized algorithms for nonuniform problems Algorithmica	1995-02-13	Paper
scientific article; zbMATH DE number 432777 (Why is no real title available?)	1994-09-19	Paper
Construction of centered shortest-path trees in networks Networks	1983-01-01	Paper
Proving Liveness Properties of Concurrent Programs ACM Transactions on Programming Languages and Systems	1982-01-01	Paper
scientific article; zbMATH DE number 3621104 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3648171 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3628367 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3614147 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3581598 (Why is no real title available?)	1978-01-01	Paper
Verifying properties of parallel programs Communications of the ACM	1976-01-01	Paper
An axiomatic proof technique for parallel programs Acta Informatica	1976-01-01	Paper
scientific article; zbMATH DE number 3569793 (Why is no real title available?)	1976-01-01	Paper

Research outcomes over time

This page was built for person: Susan Owicki