John C. Cherniavsky

Publication Activity (10 Years)

Years Active: 1972-2009
Publications (10 Years): 0

Publications

Stephen Grossberg, Kurt VanLehn, Cristina Conati, Arthur C. Graesser, John C. Cherniavsky
Invited Speaker Abstracts. AAAI Fall Symposium: Cognitive and Metacognitive Educational Systems (2009)
John C. Cherniavsky, Janice Earle, N. Hari Narayanan, Roy Pea, John D. Bransford, Marcia C. Linn
Whither Education Research? Science Policy Implications of NSF Research Support. ICLS (2006)
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, Marlene Scardamalia, Pierre Dillenbourg, Chee-Kit Looi, Marcelo Milrad, Heinz Ulrich Hoppe
One-to-One Technology-Enhanced Learning: an Opportunity for Global Research Collaboration. Res. Pract. Technol. Enhanc. Learn. 1 (1) (2006)
John C. Cherniavsky, Elliot Soloway
Editorial - A Survey of Research Questions for Intelligent Information Systems in Education. J. Intell. Inf. Syst. 18 (1) (2002)
John C. Cherniavsky, Eric Hamilton
The Learning Grid. CSCL (2002)
John C. Cherniavsky, Nora H. Sabelli
Research in Learning Technologies: A USA Perspective. Teleteaching (1998)
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)
John C. Cherniavsky, Carl H. Smith
On Weyuker's Axioms For Software Complexity Measures. IEEE Trans. Software Eng. 17 (6) (1991)
John C. Cherniavsky
Validation Through Testing. ICSE (1989)
John C. Cherniavsky, Mahendran Velauthapillai, Richard Statman
Inductive Inference: An Abstract Approach. COLT (1988)
John C. Cherniavsky, Carl H. Smith
A Recursion Theoretic Approach to Program Testing. IEEE Trans. Software Eng. 13 (7) (1987)
John C. Cherniavsky
NSF news. SIGACT News 16 (4) (1985)
John Keohane, John C. Cherniavsky, Peter B. Henderson
On Transforming Control Structures. SIAM J. Comput. 11 (2) (1982)
John C. Cherniavsky
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. SIGACT News 14 (4) (1982)
W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky
Validation, Verification, and Testing of Computer Software. ACM Comput. Surv. 14 (2) (1982)
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
High level language programming environments. ACM SIGSOFT Softw. Eng. Notes 6 (4) (1981)
Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion
Validation, Verification, and Testing for the Individual Programmer. Computer 13 (12) (1980)
John C. Cherniavsky
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. SIGACT News 12 (3) (1980)
John C. Cherniavsky, Samuel N. Kamin
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language. J. ACM 26 (1) (1979)
John C. Cherniavsky
On Finding Test Data Sets for Loop Free Programs. Inf. Process. Lett. 8 (2) (1979)
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) (1979)
John C. Cherniavsky
Review of "The theory of computer science: a programming approach" by J. M. Brady. Chapman and Hall. SIGACT News 11 (1) (1979)
John C. Cherniavsky
Review of "Automated theorem proving: a logical basis" by D. W. Loveland. North-Holland Publishing Co. 1977. SIGACT News 11 (1) (1979)
John C. Cherniavsky
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. SIGACT News 11 (2) (1979)
John C. Cherniavsky, Samuel N. Kamin
A Complete and Consistent Hoare Semantics for a Simple Programming Language. POPL (1977)
John C. Cherniavsky
Book review department. SIGACT News 9 (1) (1977)
John C. Cherniavsky
Simple Programs Realize Exactly Presberger Formulas. SIAM J. Comput. 5 (4) (1976)
John C. Cherniavsky
Function iteration logics and flowchart schemata. Computing 14 (3) (1975)
John C. Cherniavsky
The Complexity of Some Non-Classical Logics SWAT (1973)
John C. Cherniavsky, Robert L. Constable
Representing Program Schemes in Logic SWAT (1972)