Concepedia

Matt Kaufmann

MK

26

Publications

1.1K

Citations

16

H-Index

1977

Active since

Affiliations

The University of Texas at Austin(Current)

Purdue University West Lafayette

Motorola (United States)

University of Wisconsin–Madison

Cirrus Logic (United States)

Matt Kaufmann is an author at The University of Texas at Austin specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisSoftware AnalysisComputer EngineeringSoftware Testing

Publications per year

1977–2017

26

Publications

26

An industrial strength theorem prover for a logic based on Common Lisp

Matt Kaufmann, J Strother Moore · IEEE Transactions on Software Engineering · 1997 · 201 citations

Applied Logic, Engineering, Hardware Verification Language +21

A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program

J Strother Moore, Thomas W. Lynch, Matt Kaufmann · IEEE Transactions on Computers · 1998 · 109 citations

Hardware Security, Checked Proof, Real Data Type +15

ACL2: an industrial strength version of Nqthm

Matt Kaufmann, J Strother Moore · 2002 · 107 citations

Engineering, Industrial Engineering, Verification +21

The Boyer-Moore theorem prover and its interactive enhancement

R. S. Boyer, Matt Kaufmann, J Strother Moore · Computers & Mathematics with Applications · 1995 · 96 citations

Automated Proof, Proof Complexity, Interactive Enhancement +1

Structured Theory Development for a Mechanized Logic

Matt Kaufmann, J Strother Moore · Journal of Automated Reasoning · 2001 · 72 citations

Rows per page

1–5 of 26