John C. Cherniavsky

	2006
18		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. Research and Practice in Technology Enhanced Learning 1(1): 3-29 (2006)
	2002
17		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
16		John C. Cherniavsky, Nora H. Sabelli: Research in Learning Technologies: A USA Perspective. Teleteaching 1998: 199-216
	1996
15		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
14		John C. Cherniavsky, Carl H. Smith: On Weyuker's Axioms For Software Complexity Measures. IEEE Trans. Software Eng. 17(6): 636-638 (1991)
	1989
13		John C. Cherniavsky: Validation Through Testing. ICSE 1989: 354
	1988
12		John C. Cherniavsky, Mahendran Velauthapillai, Richard Statman: Inductive Inference: An Abstract Approach. COLT 1988: 251-266
	1987
11		John C. Cherniavsky, Carl H. Smith: A Recursion Theoretic Approach to Program Testing. IEEE Trans. Software Eng. 13(7): 777-784 (1987)
	1982
10		W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky: Validation, Verification, and Testing of Computer Software. ACM Comput. Surv. 14(2): 159-192 (1982)
9		John Keohane, John C. Cherniavsky, Peter B. Henderson: On Transforming Control Structures. SIAM J. Comput. 11(2): 268-286 (1982)
	1979
8		John C. Cherniavsky: On Finding Test Data Sets for Loop Free Programs. Inf. Process. Lett. 8(2): 106-107 (1979)
7		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)
6		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
5		John C. Cherniavsky, Samuel N. Kamin: A Complete and Consistent Hoare Semantics for a Simple Programming Language. POPL 1977: 1-9
	1976
4		John C. Cherniavsky: Simple Programs Realize Exactly Presberger Formulas. SIAM J. Comput. 5(4): 666-677 (1976)
	1975
3		John C. Cherniavsky: Function iteration logics and flowchart schemata. Computing 14(3): 285-312 (1975)
	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

Coauthor Index

1	W. Richards Adrion	[10]
2	Nicolas Balacheff	[18]
3	Martha A. Branstad	[10]
4	Tom Brown	[18]
5	Tak-Wai Chan	[18]
6	Robert L. Constable	[1]
7	Pierre Dillenbourg	[18]
8	Peter B. Henderson	[7] [9]
9	Heinz Ulrich Hoppe	[18]
10	Sherry Hsi	[18]
11	Samuel N. Kamin (Sam Kamin)	[5] [6]
12	John Keohane	[7] [9]
13	Kinshuk	[18]
14	Chee-Kit Looi	[18]
15	Marcelo Milrad	[18]
16	Cathie Norris	[18]
17	Charles Patton	[18]
18	Roy D. Pea	[18]
19	Jeremy Roschelle	[18]
20	Nora H. Sabelli	[16]
21	Marlene Scardamalia	[18]
22	Mike Sharples	[18]
23	Carl H. Smith	[11] [14]
24	Elliot Soloway	[17] [18]
25	Richard Statman	[12]
26	Mahendran Velauthapillai	[12]

Colors in the list of coauthors