John C. Cherniavsky

According to our database, John C. Cherniavsky authored at least 31 papers between 1972 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2009

Invited Speaker Abstracts.

Stephen Grossberg, Kurt VanLehn, Cristina Conati, Arthur C. Graesser, John C. Cherniavsky

Proceedings of the Cognitive and Metacognitive Educational Systems, 2009

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, Marlene Scardamalia, Pierre Dillenbourg, Chee-Kit Looi, Marcelo Milrad, Heinz Ulrich Hoppe

Res. Pract. Technol. Enhanc. Learn., 2006

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

Proceedings of the Making a Difference...: Proceedings of the 7th International Conference for the Learning Sciences, 2006

2002

Editorial - A Survey of Research Questions for Intelligent Information Systems in Education.

John C. Cherniavsky, Elliot Soloway

J. Intell. Inf. Syst., 2002

The Learning Grid.

John C. Cherniavsky, Eric Hamilton

Proceedings of the Conference on Computer Support for Collaborative Learning: Foundations for a CSCL Community, 2002

1998

Research in Learning Technologies: A USA Perspective.

John C. Cherniavsky, Nora H. Sabelli

Proceedings of the Teleteaching '98 - Distance Learning, 1998

1996

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

1991

On Weyuker's Axioms For Software Complexity Measures.

John C. Cherniavsky, Carl H. Smith

IEEE Trans. Software Eng., 1991

1989

Validation Through Testing.

John C. Cherniavsky

Proceedings of the 11th International Conference on Software Engineering, 1989

1988

Inductive Inference: An Abstract Approach.

John C. Cherniavsky, Mahendran Velauthapillai, Richard Statman

Proceedings of the First Annual Workshop on Computational Learning Theory, 1988

1987

A Recursion Theoretic Approach to Program Testing.

John C. Cherniavsky, Carl H. Smith

IEEE Trans. Software Eng., 1987

1985

NSF news.

John C. Cherniavsky

SIGACT News, 1985

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

On Transforming Control Structures.

John Keohane, John C. Cherniavsky, Peter B. Henderson

SIAM J. Comput., 1982

Validation, Verification, and Testing of Computer Software.

W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky

ACM Comput. Surv., 1982

1981

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

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

Validation, Verification, and Testing for the Individual Programmer.

Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion

Computer, 1980

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

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 "The theory of computer science: a programming approach" by J. M. Brady. Chapman and Hall.

John C. Cherniavsky

SIGACT News, 1979

A Complete and Consistent Hoare Axiomatics for a Simple Programming Language.

John C. Cherniavsky, Samuel N. Kamin

J. ACM, 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

On Finding Test Data Sets for Loop Free Programs.

John C. Cherniavsky

Inf. Process. Lett., 1979

1977

Book review department.

John C. Cherniavsky

SIGACT News, 1977

A Complete and Consistent Hoare Semantics for a Simple Programming Language.

John C. Cherniavsky, Samuel N. Kamin

Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

1976

Simple Programs Realize Exactly Presberger Formulas.

John C. Cherniavsky

SIAM J. Comput., 1976

1975

Function iteration logics and flowchart schemata.

John C. Cherniavsky

Computing, 1975

1973

The Complexity of Some Non-Classical Logics

John C. Cherniavsky

Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973

1972

Logical Theories for Representing Flowchart Schemata.

John C. Cherniavsky

PhD thesis, 1972

Representing Program Schemes in Logic

John C. Cherniavsky, Robert L. Constable

Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972