J Strother Moore
The University of Texas at Austin(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques
Most-Cited Works
- → A fast string searching algorithm(1977)2,282 cited
- A computational logic(1979)
- → Computer-Aided Reasoning: An Approach(2011)618 cited
- → MJRTY—A Fast Majority Vote Algorithm(1991)232 cited
- → An industrial strength theorem prover for a logic based on Common Lisp(1997)201 cited
- → Computer-aided reasoning : ACL2 case studies(2000)178 cited
- → An approach to systems verification(1989)144 cited
- Integrating decision procedures into heuristic theorem provers: a case study of linear arithmetic(1988)