John C. Cherniavsky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1972–1989
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | ICSE | Validation Through Testing. | John C. Cherniavsky |
| 1988 | COLT | Inductive Inference: An Abstract Approach. | John C. Cherniavsky, Mahendran Velauthapillai, Richard Statman |
| 1977 | POPL | A Complete and Consistent Hoare Semantics for a Simple Programming Language. | John C. Cherniavsky, Samuel N. Kamin |
| 1973 | FOCS | The Complexity of Some Non-Classical Logics | John C. Cherniavsky |
| 1972 | FOCS | Representing Program Schemes in Logic | John C. Cherniavsky, Robert L. Constable |