J Strother Moore

7.2k total citations · 1 hit paper
78 papers, 3.1k citations indexed

About

J Strother Moore is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, J Strother Moore has authored 78 papers receiving a total of 3.1k indexed citations (citations by other indexed papers that have themselves been cited), including 53 papers in Artificial Intelligence, 39 papers in Computational Theory and Mathematics and 21 papers in Hardware and Architecture. Recurrent topics in J Strother Moore's work include Logic, programming, and type systems (43 papers), Formal Methods in Verification (28 papers) and Parallel Computing and Optimization Techniques (17 papers). J Strother Moore is often cited by papers focused on Logic, programming, and type systems (43 papers), Formal Methods in Verification (28 papers) and Parallel Computing and Optimization Techniques (17 papers). J Strother Moore collaborates with scholars based in United States, Canada and United Kingdom. J Strother Moore's co-authors include Robert S. Boyer, Matt Kaufmann, Panagiotis Manolios, William R. Bevier, Warren A. Hunt, William D. Young, George Porter, Daron Vroon, Peter C. Dillinger and Sandip Ray and has published in prestigious journals such as SHILAP Revista de lepidopterología, Communications of the ACM and IEEE Transactions on Software Engineering.

In The Last Decade

J Strother Moore

71 papers receiving 2.7k citations

Hit Papers

A fast string searching algorithm 1977 2026 1993 2009 1977 400 800 1.2k
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. A fast string searching algorithm
    1977 1.4k citations Robert S. Boyer, J Strother Moore profile →

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
J Strother Moore United States 20 2.5k 1.4k 1.2k 710 357 78 3.1k
Robert S. Boyer United States 15 2.0k 0.8× 895 0.6× 1.0k 0.8× 649 0.9× 476 1.3× 34 2.8k
Hanne Riis Nielson Denmark 21 1.6k 0.6× 1.0k 0.7× 494 0.4× 728 1.0× 754 2.1× 140 2.5k
Flemming Nielson Denmark 23 1.8k 0.7× 1.2k 0.8× 548 0.4× 758 1.1× 785 2.2× 147 2.7k
Bowen Alpern United States 20 1.3k 0.5× 732 0.5× 1.0k 0.8× 1.2k 1.6× 484 1.4× 45 2.4k
Jan Van Leeuwen Netherlands 14 1.6k 0.6× 1.6k 1.2× 263 0.2× 683 1.0× 224 0.6× 44 2.8k
Wojciech Penczek Poland 17 2.1k 0.8× 2.4k 1.7× 427 0.3× 676 1.0× 455 1.3× 105 3.3k
Joachim Parrow Sweden 17 2.3k 0.9× 1.7k 1.3× 306 0.2× 1.1k 1.6× 607 1.7× 50 3.1k
João Marques‐Silva Portugal 29 1.6k 0.6× 1.8k 1.3× 725 0.6× 799 1.1× 231 0.6× 167 3.2k
Martin Odersky Switzerland 33 2.8k 1.1× 975 0.7× 1.6k 1.3× 1.4k 2.0× 1.1k 3.1× 142 4.0k
Pierre Wolper Belgium 27 2.7k 1.1× 3.6k 2.6× 530 0.4× 772 1.1× 225 0.6× 52 4.4k

Countries citing papers authored by J Strother Moore

Since Specialization
Citations

This map shows the geographic impact of J Strother Moore'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 J Strother Moore with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites J Strother Moore more than expected).

Fields of papers citing papers by J Strother Moore

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by J Strother Moore. 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 J Strother Moore. The network helps show where J Strother Moore may publish in the future.

Co-authorship network of co-authors of J Strother Moore

This figure shows the co-authorship network connecting the top 25 collaborators of J Strother Moore. A scholar is included among the top collaborators of J Strother Moore 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 J Strother Moore. J Strother Moore is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Hunt, Warren A., et al.. (2022). VWSIM: A Circuit Simulator. Electronic Proceedings in Theoretical Computer Science. 359. 61–75. 1 indexed citations
2.
Kaufmann, Matt & J Strother Moore. (2018). Limited Second-Order Functionality in a First-Order Setting. Journal of Automated Reasoning. 64(3). 391–422. 2 indexed citations
3.
Bundy, Alan, Dieter Hutter, Cliff B. Jones, & J Strother Moore. (2012). AI meets Formal Software Development (Dagstuhl Seminar 12271). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 4 indexed citations
4.
Moore, J Strother. (2011). The role of human creativity in mechanized verification. 18–18.
5.
Moore, J Strother. (2009). Automatically computing functional instantiations. 11–19. 4 indexed citations
6.
Kaufmann, Matt, et al.. (2007). Integrating external deduction tools with ACL2. Journal of Applied Logic. 7(1). 3–25. 12 indexed citations
7.
Kaufmann, Matt, et al.. (2007). Efficient execution in an automated reasoning environment. Journal of Functional Programming. 18(1). 15–46. 15 indexed citations
8.
Kaufmann, Matt, Panagiotis Manolios, & J Strother Moore. (2000). Computer-aided reasoning : ACL2 case studies. Kluwer Academic eBooks. 88 indexed citations
9.
Moore, J Strother, et al.. (1998). A Mechanically Checked Proof of the.
10.
Moore, J Strother, et al.. (1997). The Particle Beam Optics Interactive Computer Laboratory for Personal Computers and Workstations. APS. 1 indexed citations
11.
Boyer, Robert S. & J Strother Moore. (1997). Mechanized formal reasoning about programs and computing machines. MIT Press eBooks. 147–176. 13 indexed citations
12.
Kaufmann, Matt, et al.. (1995). The Boyer-Moore theorem prover and its interactive enhancement. Computers & Mathematics with Applications. 29(2). 27–62. 55 indexed citations
13.
Moore, J Strother, et al.. (1988). Integrating decision procedures into heuristic theorem provers: a case study of linear arithmetic. 83–124. 60 indexed citations
14.
Boyer, Robert S. & J Strother Moore. (1985). Program verification. Defense Technical Information Center (DTIC). 1(1). 17. 14 indexed citations
15.
Boyer, Robert S. & J Strother Moore. (1984). Proof Checking the RSA Public Key Encryption Algorithm. American Mathematical Monthly. 91(3). 181–181. 5 indexed citations
16.
Moore, J Strother, et al.. (1980). A Verification Condition Generator for FORTRAN.. Defense Technical Information Center (DTIC). 6 indexed citations
17.
Moore, J Strother, et al.. (1979). A Theorem-Prover for Recursive Functions: A User's Manual.. Defense Technical Information Center (DTIC). 1 indexed citations
18.
Boyer, Robert S. & J Strother Moore. (1977). A lemma driven automatic theorem prover for recursive function theory. Defense Technical Information Center (DTIC). 511–519. 24 indexed citations
19.
Moore, J Strother, et al.. (1977). A computer Proof of the Correctness of a Simple Optimizing Compiler for Expressions.. Defense Technical Information Center (DTIC). 2 indexed citations
20.
Moore, J Strother. (1976). The INTERLISP Virtual Machine Specification,. Defense Technical Information Center (DTIC). 6 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

Breakdown of academic impact, for papers by Robert S. Boyer Breakdown of academic impact, for papers by Hanne Riis Nielson Breakdown of academic impact, for papers by Flemming Nielson Breakdown of academic impact, for papers by Bowen Alpern Breakdown of academic impact, for papers by Jan Van Leeuwen Breakdown of academic impact, for papers by Wojciech Penczek Breakdown of academic impact, for papers by Joachim Parrow Breakdown of academic impact, for papers by João Marques‐Silva Breakdown of academic impact, for papers by Martin Odersky Breakdown of academic impact, for papers by Pierre Wolper
Rankless by CCL
2026