The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Susan S. Owicki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefano Ceri, Susan S. Owicki
    On the Use of Optimistic Methods for Concurrency Control in Distributed Databases. [Citation Graph (22, 0)][DBLP]
    Berkeley Workshop, 1982, pp:117-129 [Conf]
  2. Susan S. Owicki, David Gries
    An Axiomatic Proof Technique for Parallel Programs I. [Citation Graph (4, 0)][DBLP]
    Acta Inf., 1976, v:6, n:, pp:319-340 [Journal]
  3. Susan S. Owicki, David Gries
    Verifying Properties of Parallel Programs: An Axiomatic Approach. [Citation Graph (3, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:5, pp:279-285 [Journal]
  4. Susan S. Owicki, Leslie Lamport
    Proving Liveness Properties of Concurrent Programs. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:3, pp:455-495 [Journal]
  5. Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
    Network Objects. [Citation Graph (1, 0)][DBLP]
    SOSP, 1993, pp:217-230 [Conf]
  6. Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker
    High Speed Switch Scheduling for Local Area Networks. [Citation Graph (0, 0)][DBLP]
    ASPLOS, 1992, pp:98-110 [Conf]
  7. Susan S. Owicki, Anant Agarwal
    Evaluating the Performance of Software Cache Coherence. [Citation Graph (0, 0)][DBLP]
    ASPLOS, 1989, pp:230-242 [Conf]
  8. Les Belady, Susan S. Owicki, Robert Balzer, Bill Curtis
    Panel Discussion. [Citation Graph (0, 0)][DBLP]
    COMPCON, 1982, pp:235-236 [Conf]
  9. Leslie Lamport, Susan S. Owicki
    Program Logics and Program Verification (position paper). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:197-199 [Conf]
  10. Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
    Behavior: A Temporal Approach to Process Modelling. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:237-254 [Conf]
  11. Susan S. Owicki
    Verifying parallel programs with resource allocation. [Citation Graph (0, 0)][DBLP]
    Mathematical Studies of Information Processing, 1978, pp:151-164 [Conf]
  12. Susan S. Owicki
    Specifications and Proofs for Abstract Data Types in Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:174-197 [Conf]
  13. Susan S. Owicki
    Specification and Verification of a Network Nail System. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:198-234 [Conf]
  14. Amy L. Lansky, Susan S. Owicki
    GEM: A Tool for Concurrency Specification and Verification. [Citation Graph (0, 0)][DBLP]
    PODC, 1983, pp:198-212 [Conf]
  15. Keith Marzullo, Susan S. Owicki
    Maintaining the Time in a Distributed System. [Citation Graph (0, 0)][DBLP]
    PODC, 1983, pp:295-305 [Conf]
  16. Susan S. Owicki
    A Perspective on AN2: Local Area Network as Distributed System. [Citation Graph (0, 0)][DBLP]
    PODC, 1993, pp:1-11 [Conf]
  17. Brent Hailpern, Susan S. Owicki
    Modular Verification of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1982, pp:322-336 [Conf]
  18. Van Nguyen, David Gries, Susan S. Owicki
    A Model and Temporal Proof System for Networks of Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1985, pp:121-131 [Conf]
  19. Susan S. Owicki
    Making the World Safe for Garbage Collection. [Citation Graph (0, 0)][DBLP]
    POPL, 1981, pp:77-86 [Conf]
  20. Susan S. Owicki, Anna R. Karlin
    Factors in the Performance of the AN1 Computer Network. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1992, pp:167-180 [Conf]
  21. Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki
    Competitive Randomized Algorithms for Non-Uniform Problems. [Citation Graph (0, 0)][DBLP]
    SODA, 1990, pp:301-309 [Conf]
  22. Michael N. Nelson, Mark A. Linton, Susan S. Owicki
    A Highly Available, Scalable ITV System. [Citation Graph (0, 0)][DBLP]
    SOSP, 1995, pp:54-67 [Conf]
  23. Anna R. Karlin, Kai Li, Mark S. Manasse, Susan S. Owicki
    Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor. [Citation Graph (0, 0)][DBLP]
    SOSP, 1991, pp:41-55 [Conf]
  24. Susan S. Owicki
    A Consistent and Complete Deductive System for the Verification of Parallel Programs [Citation Graph (0, 0)][DBLP]
    STOC, 1976, pp:73-86 [Conf]
  25. Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki
    Competitive Randomized Algorithms for Nonuniform Problems. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 1994, v:11, n:6, pp:542-571 [Journal]
  26. Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
    A Model and Temporal Proof System for Networks of Processes. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:1, pp:7-25 [Journal]
  27. Keith Marzullo, Susan S. Owicki
    Maintaining the Time in a Distributed System. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1985, v:19, n:3, pp:44-54 [Journal]
  28. Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
    Network Objects [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:S4, pp:0-0 [Journal]
  29. Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker
    High Speed Switch Scheduling for Local Area Networks. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 1993, v:11, n:4, pp:319-352 [Journal]

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002