John C. Cherniavsky

31 papers A* 3Journal 21Unranked 6

Year	Rank	Type	Title / Venue / Authors
2009	—	`conf`	Invited Speaker Abstracts. AAAI Fall Symposium: Cognitive and Metacognitive Educational Systems Stephen Grossberg, Kurt VanLehn, Cristina Conati, Arthur C. Graesser, John C. Cherniavsky
2006	J	`jnl`	One-to-One Technology-Enhanced Learning: an Opportunity for Global Research Collaboration. Res. Pract. Technol. Enhanc. Learn. 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
2006	—	`conf`	Whither Education Research? Science Policy Implications of NSF Research Support. ICLS John C. Cherniavsky, Janice Earle, N. Hari Narayanan, Roy Pea, John D. Bransford, Marcia C. Linn
2002	J	`jnl`	Editorial - A Survey of Research Questions for Intelligent Information Systems in Education. J. Intell. Inf. Syst. John C. Cherniavsky, Elliot Soloway
2002	—	`conf`	The Learning Grid. CSCL John C. Cherniavsky, Eric Hamilton
1998	—	`conf`	Research in Learning Technologies: A USA Perspective. Teleteaching John C. Cherniavsky, Nora H. Sabelli
1996	J	`jnl`	Fatal Defect: Chasing Killer Computer Bugs, by Peterson. Computer-Related Risks, by Neumann. Safeware: System Safety and Computers, by Leveson. Inf. Soc. John C. Cherniavsky
1991	J	`jnl`	On Weyuker's Axioms For Software Complexity Measures. IEEE Trans. Software Eng. John C. Cherniavsky, Carl H. Smith
1989	A*	`conf`	Validation Through Testing. ICSE John C. Cherniavsky
1988	A*	`conf`	Inductive Inference: An Abstract Approach. COLT John C. Cherniavsky, Mahendran Velauthapillai, Richard Statman
1987	J	`jnl`	A Recursion Theoretic Approach to Program Testing. IEEE Trans. Software Eng. John C. Cherniavsky, Carl H. Smith
1985	J	`jnl`	NSF news. SIGACT News John C. Cherniavsky
1982	J	`jnl`	On Transforming Control Structures. SIAM J. Comput. John Keohane, John C. Cherniavsky, Peter B. Henderson
1982	J	`jnl`	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 John C. Cherniavsky
1982	J	`jnl`	Validation, Verification, and Testing of Computer Software. ACM Comput. Surv. W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky
1981	J	`jnl`	High level language programming environments. ACM SIGSOFT Softw. Eng. Notes 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
1980	J	`jnl`	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 John C. Cherniavsky
1980	J	`jnl`	Validation, Verification, and Testing for the Individual Programmer. Computer Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion
1979	J	`jnl`	A Complete and Consistent Hoare Axiomatics for a Simple Programming Language. J. ACM John C. Cherniavsky, Samuel N. Kamin
1979	J	`jnl`	A Note Concerning Top Down Program Development and Restricted Exit Control Structures. Inf. Process. Lett. John C. Cherniavsky, John Keohane, Peter B. Henderson
1979	J	`jnl`	On Finding Test Data Sets for Loop Free Programs. Inf. Process. Lett. John C. Cherniavsky
1979	J	`jnl`	Review of "Automated theorem proving: a logical basis" by D. W. Loveland. North-Holland Publishing Co. 1977. SIGACT News John C. Cherniavsky
1979	J	`jnl`	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 John C. Cherniavsky
1979	J	`jnl`	Review of "The theory of computer science: a programming approach" by J. M. Brady. Chapman and Hall. SIGACT News John C. Cherniavsky
1977	A*	`conf`	A Complete and Consistent Hoare Semantics for a Simple Programming Language. POPL John C. Cherniavsky, Samuel N. Kamin
1977	J	`jnl`	Book review department. SIGACT News John C. Cherniavsky
1976	J	`jnl`	Simple Programs Realize Exactly Presberger Formulas. SIAM J. Comput. John C. Cherniavsky
1975	J	`jnl`	Function iteration logics and flowchart schemata. Computing John C. Cherniavsky
1973	—	`conf`	The Complexity of Some Non-Classical Logics SWAT John C. Cherniavsky
1972	—	`—`	Logical Theories for Representing Flowchart Schemata. John C. Cherniavsky
1972	—	`conf`	Representing Program Schemes in Logic SWAT John C. Cherniavsky, Robert L. Constable