Follow
jstrother moore
jstrother moore
Computer Science Dept, University of Texas at Austin
Verified email at cs.utexas.edu - Homepage
Title
Cited by
Cited by
Year
A fast string searching algorithm
RS Boyer, JS Moore
Communications of the ACM 20 (10), 762-772, 1977
39091977
A computational logic
RS Boyer, JS Moore
Academic press, 2014
19402014
A computational logic handbook: Formerly notes and reports in computer science and applied mathematics
RS Boyer, JS Moore
Elsevier, 2014
12082014
Computer-aided reasoning: ACL2 case studies
M Kaufmann, P Manolios, JS Moore
Springer Science & Business Media, 2013
11392013
MJRTY—a fast majority vote algorithm
RS Boyer, JS Moore
Automated reasoning: essays in honor of Woody Bledsoe, 105-117, 1991
3921991
Proving theorems about LISP functions
RS Boyer, JS Moore
Journal of the ACM (JACM) 22 (1), 129-144, 1975
3681975
An industrial strength theorem prover for a logic based on Common Lisp
M Kaufmann, JS Moore
IEEE Transactions on Software Engineering 23 (4), 203-213, 1997
3231997
The sharing structure in theorem-proving programs.
R Boyer
Machine intelligence 7, 101-116, 1972
2821972
Integrating decision procedures into heuristic theorem provers: A case study of linear arithmetic
RS Boyer, JS Moore
Machine intelligence 11, 83-124, 1988
2521988
An approach to systems verification
WR Bevier, WA Hunt, JS Moore, WD Young
Journal of Automated Reasoning 5, 411-428, 1989
2271989
A mechanically checked proof of the AMD5K86TM floating-point division program
JS Moore, TW Lynch, M Kaufmann
IEEE Transactions on Computers 47 (09), 913-926, 1998
2211998
Metafunctions: proving them correct and using them efficiently as new proof procedures
RS Boyer, JS Moore
SRI International, Computer Science Laboratory, 1979
2121979
ACL2: An industrial strength version of Nqthm
M Kaufmann, JS Moore
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS'96, 23-34, 1996
2101996
ACL2 theorems about commercial microprocessors
B Brock, M Kaufmann, JS Moore
International Conference on Formal Methods in Computer-Aided Design, 275-293, 1996
2011996
A mechanically verified language implementation
JS Moore
Journal of Automated Reasoning 5 (4), 461-492, 1989
1901989
The Boyer-Moore theorem prover and its interactive enhancement
RS Boyer, M Kaufmann, JS Moore
Computers & Mathematics with Applications 29 (2), 27-62, 1995
1601995
SA fast string searching algorithm
RS Boyer, J Moore
Communications of the ACM 20 (10), 762-772, 1977
1391977
Piton: a mechanically verified assembly-level language
JS Moore
Springer, 2007
1252007
System verification
JS Moore
Journal of Automated Reasoning 5 (4), 409-410, 1989
1211989
Mechanical stretch activates nuclear factor‐kappaB, activator protein‐1, and mitogen‐activated protein kinases in lung parenchyma: implications in asthma
A Kumar, S Lnu, R Malya, D Barron, J Moore, DB Corry, AM Boriek
The FASEB journal 17 (13), 1800-1811, 2003
1202003
The system can't perform the operation now. Try again later.
Articles 1–20