Susan Owicki | Academic Influence

Susan Owicki's AcademicInfluence.com Rankings

Susan Owicki

Computer Science

#437

World Rank

#454

Historical Rank

#247

USA Rank

Cloud Computing

#35

World Rank

#35

Historical Rank

#4

USA Rank

Artificial Intelligence

#265

World Rank

#270

Historical Rank

#108

USA Rank

Machine Learning

#519

World Rank

#525

Historical Rank

#73

USA Rank

computer-science Degrees

Download Badge

Computer Science

Susan Owicki's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Susan Owicki Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Susan Owicki is a computer scientist, Association for Computing Machinery Fellow, and one of the founding members of the Systers mailing list for women in computing. She changed careers in the early 2000s and became a licensed marriage and family therapist.

(See a Problem?)

Susan Owicki's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

High-speed switch scheduling for local-area networks (1993) (734)
Proving Liveness Properties of Concurrent Programs (1982) (656)
An axiomatic proof technique for parallel programs I (1976) (655)
Verifying properties of parallel programs: an axiomatic approach (1976) (499)
Competitive randomized algorithms for nonuniform problems (1990) (382)
High speed switch scheduling for local area networks (1992) (307)
Network objects (1994) (261)
Axiomatic Proof Techniques for Parallel Programs (1975) (180)
Maintaining the time in a distributed system (1985) (165)
Empirical studies of competitve spinning for a shared-memory multiprocessor (1991) (161)
Modular Verification of Computer Communication Protocols (1983) (122)
Distributed Garbage Collection for Network Objects (1993) (77)
On the Use of Optimistic Methods for Concurrency Control in Distributed Databases (1982) (66)
Verifying network protocols using temporal logic (1980) (64)
Maintaining the time in a distributed system (1983) (58)
A consistent and complete deductive system for the verification of parallel programs (1976) (55)
Evaluating the performance of software cache coherence (1989) (55)
Factors in the performance of the AN1 computer network (1992) (36)
Temporal Specifications of Self·Timed Systems (1981) (30)
A highly available scalable ITV system (1995) (25)
Specifications and Proofs for Abstract Data Types in Concurrent Programs (1978) (23)
A model and temporal proof system for networks of processes (1985) (21)
Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems (1993) (18)
Modular verification of concurrent programs (1982) (17)
Verifying Concurrent Programs With Shared Data Classes (1977) (17)
Construction of centered shortest-path trees in networks (1983) (12)
Specification and Verification of a Network Nail System (1978) (11)
GEM: A tool for concurrency specification and verification (1983) (10)
Behavior: A Temporal Approach to Process Modelling (1985) (9)
Center-based broadcasting (1980) (8)
Making the world safe for garbage collection (1981) (8)
A perspective on AN2: local area network as distributed system (1993) (6)
A Genetic Algorithm based Scheduling of an Input Queued Switch (2016) (2)
Distributed Garbage Collection for Network Objects Distributed Garbage Collection for Network Objects Digital Equipment Corporation 1993 (1993) (1)
Verifying parallel programs with resource allocation (1978) (1)
Program Logics and Program Verification (position paper) (1981) (1)
True-copy token scheme for a distributed database system (1987) (0)
Panel Discussion (1980) (0)
Design and Verification of Reliable Software. (1979) (0)
,research in Vlsi Systems Research in Vlsi Systems Design and a Rchitectu Re (1998) (0)
Cast Rates Greater than about 0.4 per Output Port, since at That Rate (1999) (0)
Proceedings of the 5th Annual Symposium on Computer Architecture, Palo Alto, CA, USA, April 1978 (1978) (0)
EVALUATING THE PERFORMANCE OF SOFTWARE CACHE COHERENCE DTIC Sa ELECTE (0)
Research in VLSI systems design and architecture (1981) (0)

This paper list is powered by the following services:

Other Resources About Susan Owicki

en.wikipedia.org

What Schools Are Affiliated With Susan Owicki?

Susan Owicki is affiliated with the following schools: