Concepedia

Susan Owicki

SO

Statistics

Publications

27

Citations

4.7K

H-Index

21

Active since

1976

Affiliations

Stanford University(Current)

Cornell University

Amherst College

Princeton University

IBM Research - Thomas J. Watson Research Center

Susan Owicki is an author at Stanford University specializing in computing, computer science, and computer systems.

Publications per year

1976–1995

27

Publications

27

An axiomatic proof technique for parallel programs I

Susan Owicki, David Gries · Acta Informatica · 1976 · 1K citations

Computing, Computer Science, Formal Methods +12

High-speed switch scheduling for local-area networks

Thomas E. Anderson, Susan Owicki, James B. Saxe et al. · ACM Transactions on Computer Systems · 1993 · 896 citations · Full text

Computing, Computer Engineering, Computer Science +16

Proving Liveness Properties of Concurrent Programs

Susan Owicki, Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1982 · 583 citations · Full text

Computing, Computer Engineering, Computer Science +9

Verifying properties of parallel programs

Susan Owicki, David Gries · Communications of the ACM · 1976 · 543 citations · Full text

Computing, Computer Science, Computer Systems +17

Competitive randomized algorithms for nonuniform problems

Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch et al. · Algorithmica · 1994 · 261 citations

Computing, Computer Science, Mathematics +9

1–5 of 27