John C. Cherniavsky

	2006
19		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
18		John C. Cherniavsky, Eric Hamilton: The Learning Grid. CSCL 2002: 733-734
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 SWAT (FOCS) 1973: 209-213
	1972
1		John C. Cherniavsky, Robert L. Constable: Representing Program Schemes in Logic SWAT (FOCS) 1972: 27-39

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page