Robert S. Boyer
École des hautes études en sciences sociales(FR)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Computability, Logic, AI Algorithms, Parallel Computing and Optimization Techniques
Most-Cited Works
- → A fast string searching algorithm(1977)2,282 cited
- A computational logic(1979)
- → SELECT—a formal system for testing and debugging programs by symbolic execution(1975)387 cited
- → MJRTY—A Fast Majority Vote Algorithm(1991)232 cited
- → Efficient implementation of lattice operations(1989)199 cited
- → SELECT---a formal system for testing and debugging programs by symbolic execution(1975)162 cited
- → Automated proofs of object code for a widely used microprocessor(1996)116 cited
- Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures.(1979)