Robert S. Boyer

A fast string searching algorithm

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

Computing, Computer Science, Algorithms +9

SELECT—a formal system for testing and debugging programs by symbolic execution

Robert S. Boyer, B. Elspas, Karl Levitt · ACM SIGPLAN Notices · 1975 · 388 citations

Computing, Computer Science, Formal Methods +12

Efficient implementation of lattice operations

Hassan Aı̈t-Kaci, Robert S. Boyer, Patrick Lincoln et al. · ACM Transactions on Programming Languages and Systems · 1989 · 199 citations · Full text

Computing, Computer Science, Algorithms +10

SELECT---a formal system for testing and debugging programs by symbolic execution

Robert S. Boyer, B. Elspas, Karl Levitt · 1975 · 164 citations

Computing, Computer Science, Formal Methods +12

Automated proofs of object code for a widely used microprocessor

Robert S. Boyer, Yuan Yu · Journal of the ACM · 1996 · 117 citations · Full text

Computing, Computer Engineering, Computer Science +7