Matt Kaufmann
发表
Robert W. Sumners,
Matt Kaufmann,
2002,
ACL 2002.
Jae-Young Jang,
Carl Pixley,
Shaz Qadeer,
1997,
DAC.
John T. Baldwin,
Julia F. Knight,
Matt Kaufmann,
1985,
J. Symb. Log..
Matt Kaufmann,
Matt Kaufmann,
1983,
Journal of Symbolic Logic.
Matt Kaufmann,
1983,
J. Symb. Log..
Matt Kaufmann,
Warren A. Hunt,
Shilpi Goel,
2017,
Provably Correct Systems.
Matt Kaufmann,
Bob Boyer,
1985,
SOEN.
Richard J. Blaikie,
Matt Kaufmann,
Alan D. F. Dunbar,
2004
.
Matt Kaufmann,
1984,
Notre Dame J. Formal Log..
Matt Kaufmann,
Warren A. Hunt,
David L. Rager,
2011,
ELS.
Evangelos Kranakis,
Matt Kaufmann,
1984,
Math. Log. Q..
Saharon Shelah,
Matt Kaufmann,
S. Shelah,
1985,
Discrete Mathematics.
Matt Kaufmann,
Matt Kaufmann,
1998,
CADE.
Matt Kaufmann,
J S Moore,
1992
.
Matt Kaufmann,
2015
.
Michael J. C. Gordon,
Matt Kaufmann,
James Reynolds,
2006,
2006 Formal Methods in Computer Aided Design.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2013,
ACL2.
Michael Burns,
Jaehong Park,
Janet Nguyen,
1996,
Proceedings International Test Conference 1996. Test and Design Validity.
Saharon Shelah,
Matt Kaufmann,
1986,
Notre Dame J. Formal Log..
Matt Kaufmann,
1994
.
Matt Kaufmann,
M. Wilding,
1989
.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2001,
Journal of Automated Reasoning.
H. Jerome Keisler,
C. Ward Henson,
Matt Kaufmann,
1984,
J. Symb. Log..
Marly Roncken,
Matt Kaufmann,
Warren A. Hunt,
2019,
2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Sandip Ray,
Warren A. Hunt,
Matt Kaufmann,
2008
.
Matt Kaufmann,
1979,
J. Symb. Log..
Matt Kaufmann,
Matt Kaufmann,
2000,
International Journal on Software Tools for Technology Transfer.
Matt Kaufmann,
Matt Kaufmann,
1990,
CADE.
Matt Kaufmann,
Matt Kaufmann,
1992,
Journal of Automated Reasoning.
Matt Kaufmann,
Panagiotis Mandios,
J Strother Moore,
2000
.
Lawrence C. Paulson,
Matt Kaufmann,
2010
.
Alessandro Coglio,
Matt Kaufmann,
Eric Whitman Smith,
2017,
ACL2.
Panagiotis Manolios,
Matt Kaufmann,
J. S. Moore,
2000
.
Carl Pixley,
Matt Kaufmann,
Matt Kaufmann,
1997,
Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Matt Kaufmann,
1984,
J. Symb. Log..
Panagiotis Manolios,
Harsh Raju Chamarthi,
Peter C. Dillinger,
2011,
ACL2.
Matt Kaufmann,
J Strother Moore,
2020,
ACL2.
Matt Kaufmann,
J. S. Moore,
Thomas W. Lynch,
1998
.
Matt Kaufmann,
J Strother Moore,
2014,
ITP.
Panagiotis Manolios,
Matt Kaufmann,
J. S. Moore,
2011
.
Jacob Kornerup,
Matt Kaufmann,
Mark Reitblatt,
2009,
ACL2 '09.
Ali Enayat,
Matt Kaufmann,
Zachiri McKenzie,
2018,
Arch. Math. Log..
Robert S. Boyer,
J. Strother Moore,
Matt Kaufmann,
1991,
Artificial and Mathematical Theory of Computation.
Matt Kaufmann,
Matt Wilding,
Matt Kaufmann,
1989
.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2011,
ACL2.
J. Strother Moore,
Matt Kaufmann,
J. S. Moore,
1998,
IEEE Trans. Computers.
Matt Kaufmann,
1998
.
Matt Kaufmann,
J. S. Moore,
J. Strother Moore,
2015
.
Matt Kaufmann,
Shilpi Goel,
2018
.
Matt Kaufmann,
J. S. Moore,
J. Strother Moore,
2007
.
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Marijn Heule,
2017,
CADE.
Michael J. C. Gordon,
Matt Kaufmann,
James Reynolds,
2006,
ACL2 '06.
Saharon Shelah,
Matt Kaufmann,
1984,
Ann. Pure Appl. Log..
Matt Kaufmann,
Warren A. Hunt,
David L. Rager,
2013,
ITP.
Matt Kaufmann,
David L. Rager,
2015,
ACL2.
Matt Kaufmann,
Warren A. Hunt,
Cuong K. Chau,
2015,
ACL2.
Matt Kaufmann,
Matt Kaufmann,
1991,
Journal of Automated Reasoning.
Matt Kaufmann,
J S Moore,
2000
.
Matt Kaufmann,
Warren A. Hunt,
Shilpi Goel,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Robert S. Boyer,
Matt Kaufmann,
J. S. Moore,
1995
.
Matt Kaufmann,
Shilpi Goel,
2018,
ACL2.
Matt Kaufmann,
J S Moore,
2000
.
Marijn J. H. Heule,
Marijn Heule,
Matt Kaufmann,
2017,
ITP.
Matt Kaufmann,
Ruben Gamboa,
Ruben Gamboa,
2001,
Journal of Automated Reasoning.
Matt Kaufmann,
Matt Kaufmann,
2009,
ACL2 '09.
Matt Kaufmann,
1999,
Proceedings: Electrical Insulation Conference and Electrical Manufacturing and Coil Winding Conference (Cat. No.99CH37035).
Matt Kaufmann,
J. S. Moore,
J. Strother Moore,
2018,
Journal of Automated Reasoning.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2008,
TPHOLs.
Matt Kaufmann,
Warren A. Hunt,
J. S. Moore,
2005,
TPHOLs.
Jared Davis,
Matt Kaufmann,
2014,
ACL2.
Sandip Ray,
Michael J. C. Gordon,
Matt Kaufmann,
2011,
Journal of Automated Reasoning.
Matt Kaufmann,
1988,
CADE.
J. Strother Moore,
Matt Kaufmann,
J. S. Moore,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.
Matt Kaufmann,
Warren A. Hunt,
W. Hunt,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
Carl Pixley,
Matt Kaufmann,
Andrew Martin,
1998,
CAV.
Bishop Brock,
J. Strother Moore,
Matt Kaufmann,
1996,
FMCAD.
Lawrence C. Paulson,
Matt Kaufmann,
2010,
ITP.
Matt Kaufmann,
Matt Kaufmann,
1998
.
Matt Kaufmann,
J. S. Moore,
J. Strother Moore,
2006
.
J. Strother Moore,
Matt Kaufmann,
J. S. Moore,
1997,
IEEE Trans. Software Eng..
Warren A. Hunt,
Matt Kaufmann,
2012
.
Paolo Pecchiari,
Matt Kaufmann,
P. Pecchiari,
1996,
Journal of Automated Reasoning.
Matt Kaufmann,
Warren A. Hunt,
Shilpi Goel,
2013,
ACL2.
Marly Roncken,
Ivan E. Sutherland,
Matt Kaufmann,
2018,
2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Sol Swords,
Matt Kaufmann,
2017,
ACL2.
Matt Kaufmann,
J Strother Moore,
2006,
ACL2 '06.
Matt Kaufmann,
Matt Kaufmann,
1990
.
Matt Kaufmann,
William D. Young,
1987
.
Matt Kaufmann,
J Strother Moore,
2014,
ACL2.
W. Szwander,
Matt Kaufmann,
1943
.
Matt Kaufmann,
Lawrence C. Paulson,
2010
.
Sandip Ray,
Matt Kaufmann,
Erik Reeber,
2006,
J. Appl. Log..
DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)
pdf
Matt Kaufmann,
2018,
ACL2.
Matt Kaufmann,
Matt Kaufmann,
1991
.
James H. Schmerl,
Matt Kaufmann,
1987,
J. Symb. Log..
Matt Kaufmann,
J Strother Moore,
2006
.
Panagiotis Manolios,
J. Strother Moore,
Matt Kaufmann,
2000,
Advances in Formal Methods.
Matt Kaufmann,
J S Moore,
2000
.
Matt Kaufmann,
Donald I. Good,
J S Moore,
1987
.
Matt Kaufmann,
1985,
Notre Dame J. Formal Log..
Ali Enayat,
Matt Kaufmann,
Zachiri McKenzie,
2017,
Arch. Math. Log..
Konrad Slind,
Matt Kaufmann,
2007,
TPHOLs.
Bishop Brock,
Matt Kaufmann,
J. S. Moore,
2008,
Journal of Automated Reasoning.
Panagiotis Manolios,
Matt Kaufmann,
Matt Kaufmann,
2002,
ACL 2002.
José-Luis Ruiz-Reina,
Panagiotis Manolios,
Robert W. Sumners,
2008,
J. Funct. Program..
James H. Schmerl,
Matt Kaufmann,
Matt Kaufmann,
1984,
Ann. Pure Appl. Log..
Matt Kaufmann,
Matt Kaufmann,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Matt Kaufmann,
Matt Kaufmann,
2003
.
Matt Kaufmann,
Matt Kaufmann,
1992
.
Matt Kaufmann,
Matt Kaufmann,
1989
.
Matt Kaufmann,
J Strother Moore,
2008
.
Matt Kaufmann,
Ruben Gamboa,
Ruben Gamboa,
2001
.
Matt Kaufmann,
1984
.
Matt Kaufmann,
1984
.
Matt Kaufmann,
1991
.
Matt Kaufmann,
1992
.
Matt Kaufmann,
2000
.
Matt Kaufmann,
Matt Kaufmann,
1981
.
Jon Barwise,
Matt Kaufmann,
Michael Makkai,
1981
.
David Basin,
Matt Kaufmann,
D. Basin,
1991
.
Matt Kaufmann,
1981
.
Matt Kaufmann,
J. S. Moore,
J. Strother Moore,
2014
.
Panagiotis Manolios,
Matt Kaufmann,
J. S. Moore,
2006
.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Matt Kaufmann,
Matt Kaufmann,
1977
.
Matt Kaufmann,
J Strother Moore,
2005
.
Robert W. Sumners,
Matt Kaufmann,
David M. Russinoff,
2002
.