Axiomatic Proof Techniques for Parallel Programs - Susan S. Owicki (Garland Publishing, New York, 1975)

Axiomatic Proof Techniques for Parallel Programs. - Susan S. Owicki (1975)

A Consistent and Complete Deductive System for the Verification of Parallel Programs - Susan S. Owicki (STOC, 1976)

An Axiomatic Proof Technique for Parallel Programs I. - Susan S. Owicki; David Gries (Acta Informatica, 1976)

Verifying Properties of Parallel Programs: An Axiomatic Approach. - Susan S. Owicki; David Gries (Commun. ACM, 1976)

Verifying Concurrent Programs With Shared Data Classes. - Susan S. Owicki (Formal Description of Programming Concepts, 1977)

Verifying parallel programs with resource allocation. - Susan S. Owicki (Mathematical Studies of Information Processing, 1978)

Specifications and Proofs for Abstract Data Types in Concurrent Programs. - Susan S. Owicki (Program Construction, 1978)

Specification and Verification of a Network Nail System. - Susan S. Owicki (Program Construction, 1978)

Program Logics and Program Verification (position paper). - Leslie Lamport; Susan S. Owicki (Logic of Programs, 1981)

Making the World Safe for Garbage Collection. - Susan S. Owicki (POPL, 1981)

On the Use of Optimistic Methods for Concurrency Control in Distributed Databases. - Stefano Ceri; Susan S. Owicki (Berkeley Workshop, 1982)

Panel Discussion. - Les Belady; Susan S. Owicki; Robert Balzer; Bill Curtis (COMPCON, 1982)

Modular Verification of Concurrent Programs. - Brent Hailpern; Susan S. Owicki (POPL, 1982)

Proving Liveness Properties of Concurrent Programs. - Susan S. Owicki; Leslie Lamport (ACM Trans. Program. Lang. Syst., 1982)

GEM: A Tool for Concurrency Specification and Verification. - Amy L. Lansky; Susan S. Owicki (PODC, 1983)

Construction of centered shortest-path trees in networks. - David W. Wall; Susan S. Owicki (Networks, 1983)

Modular Verification of Computer Communication Protocols. - Brent Hailpern; Susan S. Owicki (IEEE Trans. Commun., 1983)

Behavior: A Temporal Approach to Process Modelling. - Van Nguyen; Alan J. Demers; David Gries; Susan S. Owicki (Logic of Programs, 1985)

A Model and Temporal Proof System for Networks of Processes. - Van Nguyen; David Gries; Susan S. Owicki (POPL, 1985)

Maintaining the Time in a Distributed System. - Keith Marzullo; Susan S. Owicki (ACM SIGOPS Oper. Syst. Rev., 1985)

A Model and Temporal Proof System for Networks of Processes. - Van Nguyen; Alan J. Demers; David Gries; Susan S. Owicki (Distributed Comput., 1986)

Evaluating the Performance of Software Cache Coherence. - Susan S. Owicki; Anant Agarwal (ASPLOS, 1989)

Competitive Randomized Algorithms for Non-Uniform Problems. - Anna R. Karlin; Mark S. Manasse; Lyle A. McGeoch; Susan S. Owicki (SODA, 1990)

Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor. - Anna R. Karlin; Kai Li 001; Mark S. Manasse; Susan S. Owicki (SOSP, 1991)

Factors in the Performance of the AN1 Computer Network. - Susan S. Owicki; Anna R. Karlin (SIGMETRICS, 1992)

A Perspective on AN2: Local Area Network as Distributed System. - Susan S. Owicki (PODC, 1993)

High Speed Switch Scheduling for Local Area Networks. - Thomas E. Anderson; Susan S. Owicki; James B. Saxe; Charles P. Thacker (ACM Trans. Comput. Syst., 1993)

Competitive Randomized Algorithms for Nonuniform Problems. - Anna R. Karlin; Mark S. Manasse; Lyle A. McGeoch; Susan S. Owicki (Algorithmica, 1994)

A Highly Available, Scalable ITV System. - Michael N. Nelson; Mark A. Linton; Susan S. Owicki (SOSP, 1995)

Network Objects - Andrew Birrell; Greg Nelson; Susan S. Owicki; Edward Wobber (Softw. Pract. Exp., 1995)