Concepedia

Joy Reed

JR

Statistics

Publications

5

Citations

154

H-Index

5

Active since

1991

Affiliations

University of Oxford(Current)

Armstrong Atlantic State University

University of Warwick

Joy Reed is an author at University of Oxford specializing in computer science, computing, and temporal logic.

Publications per year

1991–2007

5

Publications

5

Timed CSP: Theory and Practice

Steve Schneider, Dnaiel Jackson, George Reed et al. · View · 1991 · 80 citations

Computing, Computer Engineering, Computer Science +8

A rely and guarantee method for timed CSP: a specification and design of a telephone exchange

Andrew Kay, Joy Reed · IEEE Transactions on Software Engineering · 1993 · 25 citations

Computing, Computer Engineering, Computer Science +14

Portability, predictability and performance for parallel computing: BSP in practice

Joy Reed, Kevin Parrott, Tim Lanfear · Concurrency Practice and Experience · 1996 · 23 citations

Computing, Computer Science, High-performance Computing +17

Responsiveness of interoperating components

Joy Reed, Jane Sinclair, A. W. Roscoe · Formal Aspects of Computing · 2004 · 16 citations · Full text

Engineering, Computer Science, Systems Engineering +9

Responsiveness and stable revivals

Joy Reed, A. W. Roscoe, Jane Sinclair · Formal Aspects of Computing · 2007 · 10 citations · Full text

Engineering, Organizational Behavior, Urban Regeneration +1

1–5 of 5