Matt Kaufmann
Affiliations: University of Texas at Austin, USA
According to our database^{1},
Matt Kaufmann
authored at least 69 papers
between 1979 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023
2020
J. Autom. Reason., 2020
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020
2019
Proceedings of the 25th IEEE International Symposium on Asynchronous Circuits and Systems, 2019
2018
DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract).
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018
Arch. Math. Log., 2018
Largest initial segments pointwise fixed by automorphisms of models of set theory.
Arch. Math. Log., 2018
Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018
2017
Proceedings of the Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, 2017
Proceedings of the Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, 2017
Proceedings of the Interactive Theorem Proving  8th International Conference, 2017
Proceedings of the Automated Deduction  CADE 26, 2017
Proceedings of the Provably Correct Systems, 2017
2015
Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015
2014
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014
Proceedings of the Interactive Theorem Proving  5th International Conference, 2014
Simulation and formal verification of x86 machinecode programs that make system calls.
Proceedings of the Formal Methods in ComputerAided Design, 2014
2013
Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013
Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013
Proceedings of the Interactive Theorem Proving  4th International Conference, 2013
2012
Proceedings of the Formal Methods in ComputerAided Design, 2012
2011
The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4.
J. Autom. Reason., 2011
Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011
Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011
Proceedings of ELS 2011  4th European Lisp Symposium, Hamburg, Germany, March 31, 2011
2010
Proceedings of the Design and Verification of Microprocessor Systems for HighAssurance Applications., 2010
2009
J. Appl. Log., 2009
2008
J. Funct. Program., 2008
J. Autom. Reason., 2008
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008
2007
Proof Pearl: Wellfounded Induction on the Ordinals Up to <i>epsilon</i> <sub>0</sub>.
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007
2006
Proceedings of the Formal Methods in ComputerAided Design, 6th International Conference, 2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
2001
J. Autom. Reason., 2001
J. Autom. Reason., 2001
2000
Int. J. Softw. Tools Technol. Transf., 2000
1998
A Mechanically Checked Proof of the AMD5<sub>K</sub>86<sup>TM</sup> Floating Point Division Program.
IEEE Trans. Computers, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
Proceedings of the Automated Deduction, 1998
1997
IEEE Trans. Software Eng., 1997
Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997
Proceedings of the 34st Conference on Design Automation, 1997
1996
Interaction with the BoyerMoore Theorem Prover: A Tutorial Study Using the ArithmeticGeometric Mean Theorem.
J. Autom. Reason., 1996
Proceedings of the Proceedings IEEE International Test Conference 1996, 1996
Proceedings of the Formal Methods in ComputerAided Design, First International Conference, 1996
1992
An Extension of the BoyerMoore Theorem Prover to Support FirstOrder Quantification.
J. Autom. Reason., 1992
1991
Generalization in the Presence of Free Variables: A MechanicallyChecked Correctness Proof for one Algorithm.
J. Autom. Reason., 1991
An Informal Discussion of Issues in MechanicallyAssisted Reasoning.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991
Proceedings of the Artificial and Mathematical Theory of Computation, 1991
1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1988
Proceedings of the 9th International Conference on Automated Deduction, 1988
1987
J. Symb. Log., 1987
1986
Notre Dame J. Formal Log., 1986
1985
ACM SIGSOFT Softw. Eng. Notes, 1985
Notre Dame J. Formal Log., 1985
J. Symb. Log., 1985
Discret. Math., 1985
1984
Notre Dame J. Formal Log., 1984
Math. Log. Q., 1984
J. Symb. Log., 1984
J. Symb. Log., 1984
Ann. Pure Appl. Log., 1984
Ann. Pure Appl. Log., 1984
1983
J. Symb. Log., 1983
J. Symb. Log., 1983
1979
J. Symb. Log., 1979