| 2002 |
|---|
| 16 | | John C. Cherniavsky,
Elliot Soloway:
Editorial - A Survey of Research Questions for Intelligent Information Systems in Education.
J. Intell. Inf. Syst. 18(1): 5-14 (2002) |
| 1998 |
|---|
| 15 | | John C. Cherniavsky,
Nora H. Sabelli:
Research in Learning Technologies: A USA Perspective.
Teleteaching 1998: 199-216 |
| 1996 |
|---|
| 14 | | John C. Cherniavsky:
Fatal Defect: Chasing Killer Computer Bugs, by Peterson. Computer-Related Risks, by Neumann. Safeware: System Safety and Computers, by Leveson.
Inf. Soc. 12(1): (1996) |
| 1991 |
|---|
| 13 | EE | John C. Cherniavsky,
Carl H. Smith:
On Weyuker's Axioms For Software Complexity Measures.
IEEE Trans. Software Eng. 17(6): 636-638 (1991) |
| 1989 |
|---|
| 12 | | John C. Cherniavsky:
Validation Through Testing.
ICSE 1989: 354 |
| 1988 |
|---|
| 11 | EE | John C. Cherniavsky,
Mahendran Velauthapillai,
Richard Statman:
Inductive Inference: An Abstract Approach.
COLT 1988: 251-266 |
| 1987 |
|---|
| 10 | | John C. Cherniavsky,
Carl H. Smith:
A Recursion Theoretic Approach to Program Testing.
IEEE Trans. Software Eng. 13(7): 777-784 (1987) |
| 1982 |
|---|
| 9 | | W. Richards Adrion,
Martha A. Branstad,
John C. Cherniavsky:
Validation, Verification, and Testing of Computer Software.
ACM Comput. Surv. 14(2): 159-192 (1982) |
| 8 | | John Keohane,
John C. Cherniavsky,
Peter B. Henderson:
On Transforming Control Structures.
SIAM J. Comput. 11(2): 268-286 (1982) |
| 1979 |
|---|
| 7 | | John C. Cherniavsky:
On Finding Test Data Sets for Loop Free Programs.
Inf. Process. Lett. 8(2): 106-107 (1979) |
| 6 | | John C. Cherniavsky,
John Keohane,
Peter B. Henderson:
A Note Concerning Top Down Program Development and Restricted Exit Control Structures.
Inf. Process. Lett. 9(1): 8-12 (1979) |
| 5 | EE | John C. Cherniavsky,
Samuel N. Kamin:
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language.
J. ACM 26(1): 119-128 (1979) |
| 1977 |
|---|
| 4 | | John C. Cherniavsky,
Samuel N. Kamin:
A Complete and Consistent Hoare Semantics for a Simple Programming Language.
POPL 1977: 1-9 |
| 1976 |
|---|
| 3 | | John C. Cherniavsky:
Simple Programs Realize Exactly Presberger Formulas.
SIAM J. Comput. 5(4): 666-677 (1976) |
| 1973 |
|---|
| 2 | | John C. Cherniavsky:
The Complexity of Some Non-Classical Logics
FOCS 1973: 209-213 |
| 1972 |
|---|
| 1 | | John C. Cherniavsky,
Robert L. Constable:
Representing Program Schemes in Logic
FOCS 1972: 27-39 |
