Joe Stoy

Q: What Schools Are Affiliated With Joe Stoy

Joe Stoy is affiliated with the following schools: University of Sussex, University of Oxford, Massachusetts Institute of Technology

Joe Stoy's AcademicInfluence.com Rankings

Joe Stoy

Computer Science

#3862

World Rank

#4059

Historical Rank

Database

#9440

World Rank

#9944

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Joe Stoy Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Joseph E. Stoy is a British computer scientist. He initially studied physics at Oxford University. Early in his career, in the 1970s, he worked on denotational semantics with Christopher Strachey in the Programming Research Group at the Oxford University Computing Laboratory . He was a Fellow of Balliol College, Oxford. He has also spent time at MIT in the United States. In 2003, he co-founded Bluespec, Inc.

(See a Problem?)

Joe Stoy'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

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (1981) (1435)
Denotational Semantics (1977) (144)
OS6 - an experimental operating system for a small computer. Part 1: general principles and structure (1972) (46)
Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989) (38)
The Congruence of two Programming Language Definitions (1981) (35)
OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system (1972) (31)
Proofs of Correctness of Cache-Coherence Protocols (2001) (24)
Foundations of Denotational Semantics (1979) (16)
Semantics of barriers in a non-strict, implicitly-parallel language (1995) (11)
Reliable design with multiple clock domains (2006) (10)
The semantics of Id (1994) (6)
λS: An implicitly parallel λ-calculus with recursive bindings, synchronization and side effects (1998) (5)
Os6: an operating system for a small computer (1972) (5)
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects (1998) (2)
Christopher Strachey and Fundamental Concepts (2000) (2)
A Lambda Calculus with Letrecs and Barriers (1996) (1)
THE CONGRl : ENCE OF TWO PROGRAMMING LANGUAGE OUFINITIONS (2009) (0)
S : an Implicitly Parallel -calculus with Letrec, Synchronization and Side-eeects S : an Implicitly Parallel -calculus with Letrec, Synchronization and Side-eeects (1997) (0)
OS 6—An experimental operating system for a small computer: input/output and filing system (2001) (0)

This paper list is powered by the following services:

Other Resources About Joe Stoy

en.wikipedia.org

What Schools Are Affiliated With Joe Stoy?

Joe Stoy is affiliated with the following schools:

Joe Stoy's Academic­Influence.com Rankings