Concepedia

J Strother Moore

JS

37

Publications

4.1K

Citations

25

H-Index

1956

Active since

Affiliations

The University of Texas at Austin(Current)

SRI International

Georgia Institute of Technology

Palo Alto Research Center

Cirrus Logic (United States)

J Strother Moore is an author at The University of Texas at Austin specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningComputer EngineeringSystem Software

Publications per year

1956–2019

37

Publications

37

A fast string searching algorithm

Robert S. Boyer, J Strother Moore · Communications of the ACM · 1977 · 2.3K citations · Full text

Average Behavior, Engineering, Information Retrieval +15

An industrial strength theorem prover for a logic based on Common Lisp

Matt Kaufmann, J Strother Moore · IEEE Transactions on Software Engineering · 1997 · 201 citations

Applied Logic, Engineering, Hardware Verification Language +21

An approach to systems verification

William R. Bevier, Warren A. Hunt, J Strother Moore et al. · Journal of Automated Reasoning · 1989 · 143 citations

Engineering, Automated Reasoning, Program Analysis +11

Integrating decision procedures into heuristic theorem provers: a case study of linear arithmetic

R. S. Boyer, J Strother Moore · 1988 · 129 citations

Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures.

Robert S. Boyer, J Strother Moore · Defense Technical Information Center (DTIC) · 1979 · 110 citations

Rows per page

1–5 of 37