The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rivi Sherman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot
    STATEMATE: A Working Environment for the Development of Complex Reactive Systems. [Citation Graph (3, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:4, pp:403-414 [Journal]
  2. David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring
    STATEMATE; A Working Environment for the Development of Complex Reactive Systems. [Citation Graph (2, 0)][DBLP]
    ICSE, 1988, pp:396-406 [Conf]
  3. David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman
    On the Formal Semantics of Statecharts (Extended Abstract) [Citation Graph (2, 0)][DBLP]
    LICS, 1987, pp:54-64 [Conf]
  4. David Harel, Rivi Sherman
    Propositional Dynamic Logic of Flowcharts. [Citation Graph (0, 0)][DBLP]
    FCT, 1983, pp:195-206 [Conf]
  5. Rivi Sherman, Amir Pnueli, David Harel
    Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. [Citation Graph (0, 0)][DBLP]
    POPL, 1982, pp:347-360 [Conf]
  6. David Harel, Rivi Sherman
    Looping vs. Repeating in Dynamic Logic [Citation Graph (0, 0)][DBLP]
    Information and Control, 1982, v:55, n:1-3, pp:175-192 [Journal]
  7. David Harel, Rivi Sherman
    Propositional Dynamic Logic of Flowcharts [Citation Graph (0, 0)][DBLP]
    Information and Control, 1985, v:64, n:1-3, pp:119-135 [Journal]
  8. Rivi Sherman, Amir Pnueli, David Harel
    Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1984, v:13, n:4, pp:825-839 [Journal]

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