J Strother Moore - Concepedia

Author

J Strother Moore

Also Known As

J Moore, J S Moore, J STROTHER MOORE, J Strother Moore, J. Moore, J. S. Moore, J. Strother Moore, J.S. Moore, JStrother Moore, Moore, J Strother

206

Publications

7.2K

Citations

H-Index

Concepts

All Affiliations

The University of Texas at Austin SRI International Georgia Institute of Technology Palo Alto Research Center Cirrus Logic (United States)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	19	3.3K
2	Computer Science	15	17	3.2K
3	Computer Engineering	7	7	472
4	Education	1	1	27
5	Data Science	1	1	2.3K

J Strother Moore

Publications

4.1K

Citations

H-Index

Page 1

	Year	Citations
A fast string searching algorithm Robert S. Boyer, J Strother Moore Communications of the ACM Average BehaviorEngineeringInformation RetrievalData ScienceData Mining	1977	2.3K
An industrial strength theorem prover for a logic based on Common Lisp Matt Kaufmann, J Strother Moore IEEE Transactions on Software Engineering Applied LogicEngineeringHardware Verification LanguageVerificationComputer Architecture	1997	201
An approach to systems verification William R. Bevier, Warren A. Hunt, J Strother Moore, Journal of Automated Reasoning EngineeringAutomated ReasoningProgram AnalysisVerificationFormal Methods	1989	143
Integrating decision procedures into heuristic theorem provers: a case study of linear arithmetic R. S. Boyer, J Strother Moore	1988	129
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
A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program J Strother Moore, Thomas W. Lynch, Matt Kaufmann IEEE Transactions on Computers Hardware SecurityChecked ProofReal Data TypeDivision Microcode ProgramEngineering	1998	109
ACL2: an industrial strength version of Nqthm Matt Kaufmann, J Strother Moore EngineeringIndustrial EngineeringVerificationComputer-aided VerificationAutomated Proof	2002	107
A mechanically verified language implementation J Strother Moore Journal of Automated Reasoning Formal SpecificationEngineeringVerified Language ImplementationProgram AnalysisAutomated Reasoning	1989	107
The Boyer-Moore theorem prover and its interactive enhancement R. S. Boyer, Matt Kaufmann, J Strother Moore Computers & Mathematics with Applications Automated ProofProof ComplexityInteractive EnhancementComputability Theory	1995	96
Structured Theory Development for a Mechanized Logic Matt Kaufmann, J Strother Moore Journal of Automated Reasoning	2001	72

Page 1