Matt Kaufmann

Matt Kaufmann (right) with [[J Strother Moore]] 2006 Matt Kaufmann is a senior research scientist in the department of computer sciences at the University of Texas at Austin, United States. He was a recipient of the 2005 ACM Software System Award along with Robert S. Boyer and J Strother Moore, for his work on the Boyer-Moore Theorem Prover. Provided by Wikipedia
Showing 1 - 9 results of 9 for search 'Matt Kaufmann', query time: 0.03s Refine Results
  1. 1
    DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)

    DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract) by Matt Kaufmann

    Published 2018-10-01
    Get full text
    Article
  2. 2
    Meta-extract: Using Existing Facts in Meta-reasoning

    Meta-extract: Using Existing Facts in Meta-reasoning by Matt Kaufmann, Sol Swords

    Published 2017-05-01
    Get full text
    Article
  3. 3
    Industrial-Strength Documentation for ACL2

    Industrial-Strength Documentation for ACL2 by Jared Davis, Matt Kaufmann

    Published 2014-06-01
    Get full text
    Article
  4. 4
    Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

    Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 by Matt Kaufmann, J Strother Moore

    Published 2013-04-01
    Get full text
    Article
  5. 5
    How Can I Do That with ACL2? Recent Enhancements to ACL2

    How Can I Do That with ACL2? Recent Enhancements to ACL2 by Matt Kaufmann, J Strother Moore

    Published 2011-10-01
    Get full text
    Article
  6. 6
    A Versatile, Sound Tool for Simplifying Definitions

    A Versatile, Sound Tool for Simplifying Definitions by Alessandro Coglio, Matt Kaufmann, Eric W. Smith

    Published 2017-05-01
    Get full text
    Article
  7. 7
    Abstract Stobjs and Their Application to ISA Modeling

    Abstract Stobjs and Their Application to ISA Modeling by Shilpi Goel, Warren A Hunt, Jr., Matt Kaufmann

    Published 2013-04-01
    Get full text
    Article
  8. 8
    Fourier Series Formalization in ACL2(r)

    Fourier Series Formalization in ACL2(r) by Cuong K. Chau, Matt Kaufmann, Warren A. Hunt Jr.

    Published 2015-09-01
    Get full text
    Article
  9. 9
    Integrating Testing and Interactive Theorem Proving

    Integrating Testing and Interactive Theorem Proving by Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios

    Published 2011-10-01
    Get full text
    Article

Search Tools: