The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joy N. Reed: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe
    Timed CSP: Theory and Practice. [Citation Graph (1, 0)][DBLP]
    REX Workshop, 1991, pp:640-675 [Conf]
  2. Joy N. Reed, D. M. Jackson, B. Deianov, George M. Reed
    Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:239-254 [Conf]
  3. Joy N. Reed, Jane Sinclair
    Combining Independent Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:45-59 [Conf]
  4. Joy N. Reed, J. E. Sinclair, F. Guigand
    Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:375-394 [Conf]
  5. S. J. Creese, Joy N. Reed
    Verifying End-to-End Protocols using Induction with CSP/FDR. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1999, pp:1243-1257 [Conf]
  6. Joy N. Reed, J. E. Sinclair
    Routing - A Challenge to Formal Methods. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:305-311 [Conf]
  7. Joy N. Reed
    Formal Methods and Industrial-Strength Computer Networks. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:223-233 [Conf]
  8. Joy N. Reed, Jane Sinclair
    Motivating Study of Formal Methods in the Classroom. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:32-46 [Conf]
  9. Joy N. Reed, Kevin Parrott, Tim Lanfear
    Portability, predictability and performance for parallel computing: BSP in practice. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 1996, v:8, n:10, pp:799-812 [Journal]
  10. Joy N. Reed, A. W. Roscoe, Jane Sinclair
    Machine-Verifiable Responsiveness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:185-200 [Journal]
  11. Joy N. Reed, J. E. Sinclair
    Refinement-Preserving Plug-In Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  12. Joy N. Reed, J. E. Sinclair, A. W. Roscoe
    Responsiveness of interoperating components. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:4, pp:394-411 [Journal]
  13. Andrew Kay, Joy N. Reed
    A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:6, pp:625-639 [Journal]
  14. Joy N. Reed, A. W. Roscoe, J. E. Sinclair
    Responsiveness and stable revivals. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:3, pp:303-319 [Journal]

Search in 0.084secs, Finished in 0.085secs
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