John C. Cherniavsky

ONE-TO-ONE TECHNOLOGY-ENHANCED LEARNING: AN OPPORTUNITY FOR GLOBAL RESEARCH COLLABORATION

Tak-Wai Chan, Jeremy Roschelle, Sherry Hsi et al. · Research and Practice in Technology Enhanced Learning · 2006 · 522 citations · Full text

Education, Educational Technology, Higher Education +10

On Weyuker's axioms for software complexity measures

John C. Cherniavsky, Carl H. Smith · IEEE Transactions on Software Engineering · 1991 · 81 citations

Computing, Computer Science, Programming Languages +12

Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem

John C. Cherniavsky · ACM SIGACT News · 1982 · 45 citations

Humanities, Mathematics, Logic +9

A Recursion Theoretic Approach to Program Testing

John C. Cherniavsky, Carl H. Smith · IEEE Transactions on Software Engineering · 1987 · 30 citations

Computing, Computer Science, Programming Languages +11

Simple Programs Realize Exactly Presburger Formulas

John C. Cherniavsky · SIAM Journal on Computing · 1976 · 23 citations

Computing, Computer Science, Mathematics +12