The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Shaula Yemini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert E. Strom, Shaula Yemini
    Optimistic Recovery in Distributed Systems [Citation Graph (6, 0)][DBLP]
    ACM Trans. Comput. Syst., 1985, v:3, n:3, pp:204-226 [Journal]
  2. Shaula Yemini, Daniel M. Berry
    A Modular Verifiable Exception-Handling Mechanism. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1985, v:7, n:2, pp:214-243 [Journal]
  3. Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini
    High-level language support for programming distributed systems. [Citation Graph (0, 0)][DBLP]
    CASCON, 1991, pp:173-196 [Conf]
  4. Germán S. Goldszmidt, Yechiam Yemini, Shaula Yemini
    Network management by delegation: the MAD approach. [Citation Graph (0, 0)][DBLP]
    CASCON, 1991, pp:347-361 [Conf]
  5. Jacob Slonim, Patrick J. Finnigan, Alberto O. Mendelzon, Toby J. Teorey, Michael A. Bauer, Per-Åke Larson, Richard A. McBride, Yechiam Yemini, Shaula Yemini
    Towards a new distributed programming environment (CORDS). [Citation Graph (0, 0)][DBLP]
    CASCON, 1991, pp:155-172 [Conf]
  6. Robert E. Strom, Shaula Yemini
    The NIL Distributed Systems Programming Language: A Status Report. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:512-522 [Conf]
  7. Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini
    High-level language support for programming distributed systems. [Citation Graph (0, 0)][DBLP]
    ICCL, 1992, pp:320-330 [Conf]
  8. Robert E. Strom, Shaula Yemini
    Synthesizing Distributed and Parallel Programs through Optimistic Transformations. [Citation Graph (0, 0)][DBLP]
    ICPP, 1985, pp:632-642 [Conf]
  9. Robert E. Strom, Shaula Yemini
    Design, Implementation, and Validation of Secure Communications Systems. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:317-332 [Conf]
  10. S. Kliger, Shaula Yemini, Yechiam Yemini, David Ohsie, Salvatore J. Stolfo
    A coding approach to event correlation. [Citation Graph (0, 0)][DBLP]
    Integrated Network Management, 1995, pp:266-277 [Conf]
  11. A. Mayer, S. Kliger, David Ohsie, Shaula Yemini
    Event Modeling with the MODEL Language. [Citation Graph (0, 0)][DBLP]
    Integrated Network Management, 1997, pp:625-637 [Conf]
  12. Jacob Slonim, Michael A. Bauer, Per-Åke Larson, Patrick J. Finnigan, Toby J. Teorey, Alberto O. Mendelzon, Richard A. McBride, Yechiam Yemini, Shaula Yemini
    Distributed Programming Environment: Challenges. [Citation Graph (0, 0)][DBLP]
    Open Distributed Processing, 1991, pp:379-394 [Conf]
  13. Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini
    Interactive Blackbox Debugging for Concurrent Languages. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Debugging, 1988, pp:271-282 [Conf]
  14. Shaula Yemini
    An Axiomatic Treatment of Exception Handling. [Citation Graph (0, 0)][DBLP]
    POPL, 1982, pp:281-288 [Conf]
  15. Robert E. Strom, Shaula Yemini
    Synthesizing Distributed Protocols from Serial Programs. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:443-456 [Conf]
  16. Daniel M. Berry, Richard A. Kemmerer, Arndt von Staa, Shaula Yemini
    Toward Modular Verifiable Exception Handling. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1980, v:5, n:2, pp:77-101 [Journal]
  17. Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz
    High-Level Language Debugging for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 1990, v:8, n:4, pp:311-336 [Journal]
  18. Nissim Francez, Shaula Yemini
    Symmetric Intertask Communication. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1985, v:7, n:4, pp:622-636 [Journal]
  19. Shaula Yemini, Daniel M. Berry
    An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1987, v:9, n:3, pp:390-407 [Journal]
  20. Robert E. Strom, Shaula Yemini
    Typestate: A Programming Language Concept for Enhancing Software Reliability. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:1, pp:157-171 [Journal]

Search in 0.132secs, Finished in 0.133secs
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