Matt Kaufmann
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Advanced Topology and Set Theory, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Computer-Aided Reasoning: An Approach(2011)618 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
- → ACL2 theorems about commercial microprocessors(1996)115 cited
- → A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program(1998)110 cited
- → ACL2: an industrial strength version of Nqthm(2002)107 cited
- → The Boyer-Moore theorem prover and its interactive enhancement(1995)96 cited