The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard L. Schwartz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Richard L. Schwartz, P. M. Melliar-Smith
    From State Machines to Temporal Logic: Specification Methods for Protocol Standards. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:55-65 [Conf]
  2. Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith
    STP: A Mechanized Logic for Specification and Verification. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:32-49 [Conf]
  3. Richard L. Schwartz
    Data Base Distribution and Concurrency for End-Users (Abstract). [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:63- [Conf]
  4. Mark Moriconi, Richard L. Schwartz
    Automatic Construction of Verification Condition Generators From Hoare Logics. [Citation Graph (0, 0)][DBLP]
    ICALP, 1981, pp:363-377 [Conf]
  5. Richard L. Schwartz
    An Aximatic Treatment of Algol 68 Routines. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:530-545 [Conf]
  6. Richard L. Schwartz, P. M. Melliar-Smith
    Temporal Logic Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:446-454 [Conf]
  7. Richard L. Schwartz, P. M. Melliar-Smith
    The Finalization Operation for Abstract Types. [Citation Graph (0, 0)][DBLP]
    ICSE, 1981, pp:273-282 [Conf]
  8. Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
    Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:3-18 [Conf]
  9. Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
    An Interval-Based Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:443-457 [Conf]
  10. Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
    An Interval Logic for Higher-Level Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    PODC, 1983, pp:173-186 [Conf]
  11. Richard L. Schwartz, P. M. Melliar-Smith
    From State Machines to Temporal Logic: Specification Methods for Protocol Standards. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:3-19 [Conf]
  12. Richard L. Schwartz
    Parallel Compilation: A Design and Its Application to SIMULA 67. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1978, v:3, n:2, pp:75-94 [Journal]
  13. Richard L. Schwartz, Daniel M. Berry
    A semantic view of ALGOL 68. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1979, v:4, n:1, pp:1-15 [Journal]
  14. Daniel M. Berry, Richard L. Schwartz
    United and Discriminated Record Types in Strongly Typed Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:9, n:1, pp:13-18 [Journal]
  15. Richard L. Schwartz
    Aliasing Among Pointers in EUCLID. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:9, n:2, pp:76-79 [Journal]
  16. P. M. Melliar-Smith, Richard L. Schwartz
    Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1982, v:31, n:7, pp:616-630 [Journal]

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