| An axiomatic proof technique for parallel programs I S Owicki, D Gries Acta informatica 6 (4), 319-340, 1976 | 1647 | 1976 |
| High-speed switch scheduling for local-area networks TE Anderson, SS Owicki, JB Saxe, CP Thacker ACM Transactions on Computer Systems (TOCS) 11 (4), 319-352, 1993 | 1319 | 1993 |
| Proving liveness properties of concurrent programs S Owicki, L Lamport ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (3), 455-495, 1982 | 883 | 1982 |
| Verifying properties of parallel programs: An axiomatic approach S Owicki, D Gries Communications of the ACM 19 (5), 279-285, 1976 | 806 | 1976 |
| Competitive randomized algorithms for nonuniform problems AR Karlin, MS Manasse, LA McGeoch, S Owicki Algorithmica 11 (6), 542-571, 1994 | 522 | 1994 |
| Network objects A Birrell, G Nelson, S Owicki, E Wobber ACM SIGOPS Operating Systems Review 27 (5), 217-230, 1993 | 407 | 1993 |
| Maintaining the time in a distributed system K Marzullo, S Owicki Proceedings of the second annual ACM symposium on Principles of distributed …, 1983 | 279 | 1983 |
| Software self-defense systems and methods JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Horne, AK Wright, ... US Patent 7,823,135, 2010 | 278 | 2010 |
| Empirical studies of competitve spinning for a shared-memory multiprocessor AR Karlin, K Li, MS Manasse, S Owicki ACM SIGOPS Operating Systems Review 25 (5), 41-55, 1991 | 227 | 1991 |
| Software self-defense systems and methods JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Horne, AK Wright, ... US Patent 7,430,670, 2008 | 212 | 2008 |
| Software self-defense systems and methods J Horning, W Sibert, R Tarjan, U Maheshwari, W Horne, A Wright, ... US Patent App. 11/506,321, 2007 | 171 | 2007 |
| Modular verification of computer communication protocols B Hailpern, S Owicki IEEE Transactions on Communications 31 (1), 56-68, 1983 | 170 | 1983 |
| Software self-defense systems and methods JJ Homing, WO Sibert, RE Tarjan, U Maheshwari, WG Home, AK Wright, ... US Patent 7,779,394, 2010 | 148 | 2010 |
| Fault tolerant distributed garbage collection system and method for collecting network objects SS Owicki, AD Birrell, CG Nelson, EP Wobber US Patent 5,446,901, 1995 | 126 | 1995 |
| A model and temporal proof system for networks of processes V Nguyen, D Gries, S Owicki Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985 | 121 | 1985 |
| Systems and methods for watermarking software and other media WG Horne, U Maheshwari, RE Tarjan, JJ Horning, WO Sibert, ... US Patent 7,770,016, 2010 | 113 | 2010 |
| Distributed garbage collection for network objects A Birrell, D Evers, G Nelson, S Owicki, E Wobber Digital Equipment Corporation Systems Research Center, 1993 | 112 | 1993 |
| Verifying network protocols using temporal logic BT Hailpern, SS Owicki Stanford University, 1980 | 106 | 1980 |
| On the Use of Optimistic Methods for Concurrency Control in Distributed Databases. S Ceri, SS Owicki Berkeley Workshop, 117-129, 1982 | 101 | 1982 |
| Software self-defense systems and methods JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Home, AK Wright, ... US Patent 8,387,022, 2013 | 94 | 2013 |
