The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeff W. Sanders: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jeff W. Sanders
    Computations and Relational Bundles. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:30-62 [Conf]
  2. Yifeng Chen, Jeff W. Sanders
    Logic of Global Synchrony. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:487-501 [Conf]
  3. Jeff W. Sanders
    A Hierarchical Approach to Hardware Design. [Citation Graph (0, 0)][DBLP]
    Concurrency: Theory, Language, And Architecture, 1989, pp:282-296 [Conf]
  4. John Graham-Cumming, Jeff W. Sanders
    On the Refinement of Non-Interference. [Citation Graph (0, 0)][DBLP]
    CSFW, 1991, pp:35-42 [Conf]
  5. Jifeng He, C. A. R. Hoare, Jeff W. Sanders
    Data Refinement Refined. [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:187-196 [Conf]
  6. Florian Kammüller, Jeff W. Sanders
    Idempotent Relations in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:310-324 [Conf]
  7. Luming Lai, Jeff W. Sanders
    A Refinement Calculus for Communicating Processes with State. [Citation Graph (0, 0)][DBLP]
    IWFM, 1997, pp:- [Conf]
  8. Yifeng Chen, Jeff W. Sanders
    Compositional Reasoning for Pointer Structures. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:115-139 [Conf]
  9. Christian Lengauer, Jeff W. Sanders
    The Projection of Systolic Programs. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:307-324 [Conf]
  10. Jeff W. Sanders, Paolo Zuliani
    Quantum Programming. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:80-99 [Conf]
  11. Florian Kammüller, Jeff W. Sanders
    Heuristics for Refinement Relations. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:292-299 [Conf]
  12. Jifeng He, Jeff W. Sanders
    Unifying Probability. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:173-199 [Conf]
  13. Yifeng Chen, Jeff W. Sanders
    The weakest specifunction. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:41, n:7-8, pp:383-414 [Journal]
  14. C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin
    Laws of Programming. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1987, v:30, n:8, pp:672-686 [Journal]
  15. Karen Paliwoda, Jeff W. Sanders
    An Incremental Specification of the Sliding-Window Protocol. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1991, v:5, n:, pp:83-94 [Journal]
  16. Ian J. Hayes, Jeff W. Sanders
    Specification by Interface Separation. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:4, pp:430-439 [Journal]
  17. Christian Lengauer, Jeff W. Sanders
    The Projection of Systolic Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:3, pp:273-293 [Journal]
  18. Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders
    Refinement-Oriented Probability for CSP. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:6, pp:617-647 [Journal]
  19. Jochen Burghardt, Florian Kammüller, Jeff W. Sanders
    On the antisymmetry of Galois embeddings. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:79, n:2, pp:57-63 [Journal]
  20. C. A. R. Hoare, Jifeng He, Jeff W. Sanders
    Prespecification in Data Refinement. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:25, n:2, pp:71-76 [Journal]
  21. Yifeng Chen, Jeff W. Sanders
    Weakest Specifunctions for BSP. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2001, v:11, n:4, pp:439-454 [Journal]
  22. Yifeng Chen, Jeff W. Sanders
    Top-Down Design of Bulk-Synchronous Parallel Programs. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2003, v:13, n:3, pp:389-400 [Journal]
  23. Yifeng Chen, Jeff W. Sanders
    Logic of global synchrony. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:2, pp:221-262 [Journal]
  24. Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders
    Specification for Testing. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:280-299 [Conf]
  25. Jeff W. Sanders, Matteo Turilli
    Dynamics of Control. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:440-449 [Conf]

  26. Unifying Probability with Nondeterminism. [Citation Graph (, )][DBLP]


  27. Modelling and Verification of Web Navigation. [Citation Graph (, )][DBLP]


  28. Abstraction of Object Graphs in Program Verification. [Citation Graph (, )][DBLP]


  29. Refinement Algebra with Explicit Probabilism. [Citation Graph (, )][DBLP]


  30. Refining Emergent Properties. [Citation Graph (, )][DBLP]


  31. Data Refinement with Probability in Mind. [Citation Graph (, )][DBLP]


Search in 0.000secs, Finished in 0.001secs
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