Richard L. Schwartz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1979–1988
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1988 | CONCUR | Data Base Distribution and Concurrency for End-Users (Abstract). | Richard L. Schwartz |
| 1983 | PODC | An Interval Logic for Higher-Level Temporal Reasoning. | Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt |
| 1982 | CADE | STP: A Mechanized Logic for Specification and Verification. | Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith |
| 1981 | ICALP | Automatic Construction of Verification Condition Generators From Hoare Logics. | Mark Moriconi, Richard L. Schwartz |
| 1981 | ICDCS | Temporal Logic Specification of Distributed Systems. | Richard L. Schwartz, P. M. Melliar-Smith |
| 1981 | ICSE | The Finalization Operation for Abstract Types. | Richard L. Schwartz, P. M. Melliar-Smith |
| 1979 | ICALP | An Aximatic Treatment of Algol 68 Routines. | Richard L. Schwartz |