John C. Cherniavsky

1.3k total citations
26 papers, 728 citations indexed

About

John C. Cherniavsky is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, John C. Cherniavsky has authored 26 papers receiving a total of 728 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 5 papers in Information Systems. Recurrent topics in John C. Cherniavsky's work include Logic, programming, and type systems (5 papers), Computability, Logic, AI Algorithms (4 papers) and Software Engineering Research (4 papers). John C. Cherniavsky is often cited by papers focused on Logic, programming, and type systems (5 papers), Computability, Logic, AI Algorithms (4 papers) and Software Engineering Research (4 papers). John C. Cherniavsky collaborates with scholars based in United States, Taiwan and Singapore. John C. Cherniavsky's co-authors include Martha Branstad, W. Richards Adrion, Carl H. Smith, Elliot Soloway, Mike Sharples, Cathie Norris, Marlene Scardamalia, Sherry Hsi, Nicolas Balacheff and Jeremy Roschelle and has published in prestigious journals such as ACM Computing Surveys, IEEE Transactions on Software Engineering and Journal of the ACM.

In The Last Decade

John C. Cherniavsky

21 papers receiving 647 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
John C. Cherniavsky United States	8	437	212	180	124	122	26	728
Y.T. Yu Hong Kong	12	267 0.6×	362 1.7×	132 0.7×	122 1.0×	110 0.9×	35	780
W. Richards Adrion United States	10	268 0.6×	208 1.0×	131 0.7×	73 0.6×	25 0.2×	35	632
Gerald L. Engel United States	10	367 0.8×	94 0.4×	123 0.7×	55 0.4×	55 0.5×	57	898
Bruce H. Barnes United States	9	328 0.8×	95 0.4×	123 0.7×	44 0.4×	52 0.4×	27	799
Roland T. Mittermeir Austria	15	373 0.9×	154 0.7×	268 1.5×	72 0.6×	90 0.7×	63	759
Robert Clarisó Spain	14	345 0.8×	489 2.3×	369 2.0×	41 0.3×	28 0.2×	55	776
Bikram Sengupta India	14	403 0.9×	74 0.3×	230 1.3×	51 0.4×	33 0.3×	50	697
Mattia Monga Italy	15	350 0.8×	166 0.8×	282 1.6×	17 0.1×	39 0.3×	76	727
Nell Dale United States	13	139 0.3×	44 0.2×	116 0.6×	64 0.5×	148 1.2×	71	524
María Cecilia Bastarrica Chile	15	424 1.0×	144 0.7×	258 1.4×	45 0.4×	22 0.2×	56	612

Countries citing papers authored by John C. Cherniavsky

Since Specialization

Citations

This map shows the geographic impact of John C. Cherniavsky's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by John C. Cherniavsky with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites John C. Cherniavsky more than expected).

Fields of papers citing papers by John C. Cherniavsky

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by John C. Cherniavsky. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by John C. Cherniavsky. The network helps show where John C. Cherniavsky may publish in the future.

Co-authorship network of co-authors of John C. Cherniavsky

This figure shows the co-authorship network connecting the top 25 collaborators of John C. Cherniavsky. A scholar is included among the top collaborators of John C. Cherniavsky based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with John C. Cherniavsky. John C. Cherniavsky is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Chan, Tak-Wai, Jeremy Roschelle, Sherry Hsi, et al.. (2006). ONE-TO-ONE TECHNOLOGY-ENHANCED LEARNING: AN OPPORTUNITY FOR GLOBAL RESEARCH COLLABORATION. Research and Practice in Technology Enhanced Learning. 1(1). 3–29.

2.

Chan, Tak-Wai, Jeremy Roschelle, Sherry Hsi, et al.. (2006). ONE-TO-ONE TECHNOLOGY-ENHANCED LEARNING: AN OPPORTUNITY FOR GLOBAL RESEARCH COLLABORATION. Research and Practice in Technology Enhanced Learning. 1(1). 3–29. 297 indexed citations

3.

Cherniavsky, John C.. (2005). Validation Through Testing. 354–354.

4.

Cherniavsky, John C. & Elliot Soloway. (2002). Editorial—A Survey of Research Questions for Intelligent Information Systems in Education. Journal of Intelligent Information Systems. 18(1). 5–14. 4 indexed citations

5.

Cherniavsky, John C.. (1996). Fatal Defect: Chasing Killer Computer Bugs, by Peterson. Computer-Related Risks, by Neumann. Safeware: System Safety and Computers, by Leveson.. The Information Society. 12. 2 indexed citations

6.

Crossley, John N., John C. Cherniavsky, Richard A. Shore, et al.. (1994). Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday. Birkhäuser eBooks. 12 indexed citations

7.

Cherniavsky, John C. & Carl H. Smith. (1992). Software complexity measures, programming methodologies, and the size of machines. Oxford University Press eBooks. 193–205. 1 indexed citations

8.

Cherniavsky, John C. & Carl H. Smith. (1991). On Weyuker's axioms for software complexity measures. IEEE Transactions on Software Engineering. 17(6). 636–638. 61 indexed citations

9.

Cherniavsky, John C., et al.. (1988). Inductive inference: an abstract approach. 251–266. 6 indexed citations

10.

Cherniavsky, John C. & Carl H. Smith. (1987). A Recursion Theoretic Approach to Program Testing. IEEE Transactions on Software Engineering. SE-13(7). 777–784. 18 indexed citations

11.

Cherniavsky, John C.. (1985). NSF news. ACM SIGACT News. 16(4). 46–47. 2 indexed citations

12.

Cherniavsky, John C.. (1982). Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem. ACM SIGACT News. 14(4). 70–71. 14 indexed citations

13.

Adrion, W. Richards, Martha Branstad, & John C. Cherniavsky. (1982). Validation, Verification, and Testing of Computer Software. ACM Computing Surveys. 14(2). 159–192. 266 indexed citations

14.

Cherniavsky, John C., et al.. (1982). On Transforming Control Structures. SIAM Journal on Computing. 11(2). 268–286. 1 indexed citations

15.

Cherniavsky, John C.. (1980). Review of "Checking Landau's "Grundlagen" in the Automath system" by L. S. Van Benthem Jutting. Mathematical Centre 1979.. ACM SIGACT News. 12(3). 14–16. 1 indexed citations

16.

Cherniavsky, John C.. (1979). Review of "Automated theorem proving. ACM SIGACT News. 11(1). 18–18. 1 indexed citations

17.

Cherniavsky, John C., et al.. (1979). A Complete and Consistent Hoare Axiomatics for a Simple Programming Language. Journal of the ACM. 26(1). 119–128. 10 indexed citations

18.

Cherniavsky, John C., et al.. (1977). A complete and consistent hoare axiomatics for a simple programming language. 1–9. 2 indexed citations

19.

Cherniavsky, John C. & Robert L. Constable. (1972). Representing program schemes in logic. 4. 27–39. 3 indexed citations

20.

Cherniavsky, John C.. (1972). Logical theories for representing flowchart schemata. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact