The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Beverly A. Sanders, Philipp A. Heuberger
    Distributed Deadlock Detection and Resolution with Probes. [Citation Graph (1, 0)][DBLP]
    WDAG, 1989, pp:207-218 [Conf]
  2. Beverly A. Sanders
    The Information Structure of Distributed Mutual Exclusion Algorithms. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Comput. Syst., 1987, v:5, n:3, pp:284-299 [Journal]
  3. Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders
    A Pattern Language for Parallel Application Programs (Research Note). [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2000, pp:678-681 [Conf]
  4. Beverly A. Sanders
    On the UNITY Design Decisions. [Citation Graph (0, 0)][DBLP]
    Research Directions in High-Level Parallel Programming Languages, 1991, pp:50-63 [Conf]
  5. Beverly A. Sanders
    An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1986, pp:314-320 [Conf]
  6. Michel Charpentier, Beverly A. Sanders
    Workshop Introduction. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  7. Beverly A. Sanders, Dominique Méry
    Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). [Citation Graph (0, 0)][DBLP]
    IPDPS Workshops, 2000, pp:974-976 [Conf]
  8. Spyros Lalis, Beverly A. Sanders
    Adding Concurrency to the Oberon System. [Citation Graph (0, 0)][DBLP]
    Programming Languages and System Architectures, 1994, pp:328-344 [Conf]
  9. Beverly A. Sanders
    A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1991, pp:217-230 [Conf]
  10. YoungJoon Byun, Beverly A. Sanders
    A pattern-based development methodology for communication protocols. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1524-1528 [Conf]
  11. Beverly A. Sanders
    Data Refinement of Mixed Specifications. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:2, pp:91-129 [Journal]
  12. Rutger M. Dijkstra, Beverly A. Sanders
    A Predicate Transformer for the Progress Property `To-Always'. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:3, pp:270-282 [Journal]
  13. Beverly A. Sanders
    Eliminating the Substitution Axiom from UNITY Logic. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1991, v:3, n:2, pp:189-205 [Journal]
  14. Dominique Méry, Beverly A. Sanders
    Editorial Note. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:1, pp:5- [Journal]
  15. Beverly A. Sanders
    The shortest path in parallel. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:77, n:2-4, pp:213-217 [Journal]
  16. YoungJoon Byun, Beverly A. Sanders
    A Pattern-based Development Methodology for Communication Protocols. [Citation Graph (0, 0)][DBLP]
    J. Inf. Sci. Eng., 2006, v:22, n:2, pp:315-335 [Journal]
  17. Beverly A. Sanders, Berna L. Massingill, Svetlana Kryukova
    Derivation of an Algorithm for Location Management for Mobile Communication Devices. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1998, v:8, n:4, pp:473-488 [Journal]
  18. K. Mani Chandy, Beverly A. Sanders
    Predicate Transformers for Reasoning about Concurrent Computation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:24, n:2, pp:129-148 [Journal]
  19. Spyros Lalis, Beverly A. Sanders
    From Persistent Objects to Object Transmission in Distributed Systems Using Oberon. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1995, v:16, n:1, pp:12-19 [Journal]
  20. Beverly A. Sanders
    Using atomic await commands to develop concurrent programs in Java. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 2000, v:19, n:4, pp:168-174 [Journal]
  21. Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders
    Parallel programming with a pattern language. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:217-234 [Journal]
  22. Beverly A. Sanders
    An Incentive Compatible Flow Control Algorithm for Rate Allocation in Computer Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1988, v:37, n:9, pp:1067-1072 [Journal]
  23. Beverly A. Sanders
    An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1988, v:37, n:7, pp:779-787 [Journal]
  24. David Meier, Beverly A. Sanders
    Composing leads-to properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:243, n:1-2, pp:339-361 [Journal]

  25. An infrastructure for scalable and portable parallel programs for computational chemistry. [Citation Graph (, )][DBLP]


  26. Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. [Citation Graph (, )][DBLP]


  27. JRF-E: using model checking to give advice on eliminating memory model-related bugs. [Citation Graph (, )][DBLP]


  28. Assertional reasoning about data races in relaxed memory models. [Citation Graph (, )][DBLP]


  29. Reengineering for Parallelism: an entry point into PLPP for legacy applications. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
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