Representing Program Schemes in Logic - John C. Cherniavsky; Robert L. Constable (SWAT, 1972)

Logical Theories for Representing Flowchart Schemata. - John C. Cherniavsky (1972)

The Complexity of Some Non-Classical Logics - John C. Cherniavsky (SWAT, 1973)

Function iteration logics and flowchart schemata. - John C. Cherniavsky (Computing, 1975)

Simple Programs Realize Exactly Presberger Formulas. - John C. Cherniavsky (SIAM J. Comput., 1976)

A Complete and Consistent Hoare Semantics for a Simple Programming Language. - John C. Cherniavsky; Samuel N. Kamin (POPL, 1977)

Book review department. - John C. Cherniavsky (SIGACT News, 1977)

On Finding Test Data Sets for Loop Free Programs. - John C. Cherniavsky (Inf. Process. Lett., 1979)

A Note Concerning Top Down Program Development and Restricted Exit Control Structures. - John C. Cherniavsky; John Keohane; Peter B. Henderson (Inf. Process. Lett., 1979)

A Complete and Consistent Hoare Axiomatics for a Simple Programming Language. - John C. Cherniavsky; Samuel N. Kamin (J. ACM, 1979)

Review of "The theory of computer science: a programming approach" by J. M. Brady. Chapman and Hall. - John C. Cherniavsky (SIGACT News, 1979)

Review of "Automated theorem proving: a logical basis" by D. W. Loveland. North-Holland Publishing Co. 1977. - John C. Cherniavsky (SIGACT News, 1979)

Review of "TORIX: a programming system for operations on vectors and matrices over arbitrary fields and of variable size, vol 1" by S. G. Van Der Meulen and M. Veldhorst. Mathematisch Centrum 1978. - John C. Cherniavsky (SIGACT News, 1979)

Validation, Verification, and Testing for the Individual Programmer. - Martha A. Branstad; John C. Cherniavsky; W. Richards Adrion (Computer, 1980)

Review of "Checking Landau's "Grundlagen" in the Automath system" by L. S. Van Benthem Jutting. Mathematical Centre 1979.: "First order dynamic logic" by David Harel. Springer-Verlag 1979. And "A programming logic" by Robert L. Constable and Michael J. O'Donnell. Winthrop Publishers 1978. - John C. Cherniavsky (SIGACT News, 1980)

High level language programming environments. - Marvin V. Zelkowitz; W. Richards Adrion; Alfred V. Aho; Daniel G. Bobrow; Thomas Cheatham; John C. Cherniavsky; Susan L. Gerhart; Gordon Lyon; John Nestor; Terry A. Straeter (ACM SIGSOFT Softw. Eng. Notes, 1981)

Validation, Verification, and Testing of Computer Software. - W. Richards Adrion; Martha A. Branstad; John C. Cherniavsky (ACM Comput. Surv., 1982)

On Transforming Control Structures. - John Keohane; John C. Cherniavsky; Peter B. Henderson (SIAM J. Comput., 1982)

Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem: solvable classes of quantificational formulas" by Burton Dreben and Warren D. Goldfarb. Addison-Wesley 1979. - John C. Cherniavsky (SIGACT News, 1982)

NSF news. - John C. Cherniavsky (SIGACT News, 1985)

A Recursion Theoretic Approach to Program Testing. - John C. Cherniavsky; Carl H. Smith (IEEE Trans. Software Eng., 1987)

Inductive Inference: An Abstract Approach. - John C. Cherniavsky; Mahendran Velauthapillai; Richard Statman (COLT, 1988)

Validation Through Testing. - John C. Cherniavsky (ICSE, 1989)

On Weyuker's Axioms For Software Complexity Measures. - John C. Cherniavsky; Carl H. Smith (IEEE Trans. Software Eng., 1991)

Fatal Defect: Chasing Killer Computer Bugs, by Peterson. Computer-Related Risks, by Neumann. Safeware: System Safety and Computers, by Leveson. - John C. Cherniavsky (Inf. Soc., 1996)

Research in Learning Technologies: A USA Perspective. - John C. Cherniavsky; Nora H. Sabelli (Teleteaching, 1998)

The Learning Grid. - John C. Cherniavsky; Eric Hamilton 001 (CSCL, 2002)

Editorial - A Survey of Research Questions for Intelligent Information Systems in Education. - John C. Cherniavsky; Elliot Soloway (J. Intell. Inf. Syst., 2002)

Whither Education Research? Science Policy Implications of NSF Research Support. - John C. Cherniavsky; Janice Earle; N. Hari Narayanan; Roy Pea; John D. Bransford; Marcia C. Linn (ICLS, 2006)

One-to-One Technology-Enhanced Learning: an Opportunity for Global Research Collaboration. - Tak-Wai Chan; Jeremy Roschelle; Sherry Hsi; Kinshuk; Mike Sharples; Tom Brown; Charles Patton; John C. Cherniavsky; Roy D. Pea; Cathie Norris; Elliot Soloway; Nicolas Balacheff; et al. (Res. Pract. Technol. Enhanc. Learn., 2006)

Invited Speaker Abstracts. - Stephen Grossberg; Kurt VanLehn; Cristina Conati; Arthur C. Graesser; John C. Cherniavsky (AAAI Fall Symposium: Cognitive and Metacognitive Educational Systems, 2009)