J Strother Moore
Impact in
- Hardware and Architecture top 0.5%
- Network Packet Processing and Optimization
- Parallel Computing and Optimization Techniques
- Software top 1%
Papers in
-
- Logic, programming, and type systems 43
- Logic, Reasoning, and Knowledge 9
- Security and Verification in Computing 5
-
- Formal Methods in Verification 28
- Numerical Methods and Algorithms 7
- Co-authors
- Robert S. Boyer (13 shared papers)Matt Kaufmann (21 shared papers)Panagiotis Manolios (8 shared papers)William R. Bevier (2 shared papers)Warren A. Hunt (4 shared papers)William D. Young (2 shared papers)George Porter (2 shared papers)Daron Vroon (3 shared papers)
- Journals
- Journal of Automated Reasoning (10 papers)IEEE Transactions on Software Engineering (2 papers)Communications of the ACM (2 papers)Formal Aspects of Computing (2 papers)Journal of the ACM (2 papers)
- Partner nations
- United StatesSpainCanada
In The Last Decade
J Strother Moore
71 papers receiving 2.7k citations
Hit Papers
Peers
Comparison fields: 5 of 94
- Hardware and Architecture 1.2k
- Software 357
- Computational Theory and Mathematics 1.4k
- Artificial Intelligence 2.5k
- Computer Networks and Communications 710
Countries citing papers authored by J Strother Moore
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
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-authors
The 25 scholars most cited alongside J Strother Moore, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 78 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | A fast string searching algorithm Hit paper breakdown → | 1977 | 1410 |
| 2 | A computational logic | 1979 | 426 |
| 3 | 2011 | 116 | |
| 4 | 1997 | 94 | |
| 5 | 2000 | 88 | |
| 6 | 1989 | 77 | |
| 7 | 1989 | 63 | |
| 8 | Integrating decision procedures into heuristic theorem provers: a case study of linear arithmetic | 1988 | 60 |
| 9 | 2000 | 58 | |
| 10 | Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures. | 1979 | 56 |
| 11 | 1995 | 55 | |
| 12 | 1998 | 52 | |
| 13 | 2002 | 37 | |
| 14 | 2001 | 35 | |
| 15 | 2003 | 28 | |
| 16 | A lemma driven automatic theorem prover for recursive function theory | 1977 | 24 |
| 17 | A verified operating system kernel | 1987 | 24 |
| 18 | 1996 | 23 | |
| 19 | 1994 | 22 | |
| 20 | 2003 | 20 |
About J Strother Moore
J Strother Moore is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Information Systems and Software, having authored 78 papers that have together received 3.1k indexed citations. Recurring topics across this work include Logic, programming, and type systems (43 papers), Formal Methods in Verification (28 papers), Parallel Computing and Optimization Techniques (17 papers), Logic, Reasoning, and Knowledge (9 papers), Embedded Systems Design Techniques (8 papers), Numerical Methods and Algorithms (7 papers), Software Testing and Debugging Techniques (6 papers) and Security and Verification in Computing (5 papers). The work is most often cited by research in Hardware and Architecture (1.2k citations), Software (357 citations), Computational Theory and Mathematics (1.4k citations), Artificial Intelligence (2.5k citations) and Computer Networks and Communications (710 citations). J Strother Moore has collaborated with scholars based in United States, Spain and Canada. Frequent co-authors include Robert S. Boyer, Matt Kaufmann, Panagiotis Manolios, William R. Bevier, Warren A. Hunt, William D. Young, George Porter, Daron Vroon, Sandip Ray and Peter C. Dillinger. Their work appears in journals such as Journal of Automated Reasoning, IEEE Transactions on Software Engineering, Communications of the ACM, Formal Aspects of Computing and Journal of the ACM.
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.