Matt Kaufmann
发表
F. Leighton,
E. Welzl,
G. Woeginger,
1996
.
Matt Kaufmann,
1987
.
J. S. Moore,
Matt Kaufmann,
1998
.
David M. Russinoff,
Matt Kaufmann,
R. Sumners,
2005
.
Panagiotis Manolios,
Matt Kaufmann,
J. S. Moore,
2006
.
Matt Kaufmann,
D. Russino,
2000
.
J. S. Moore,
Matt Kaufmann,
2022
.
Matt Kaufmann,
J. S. Moore,
J. Strother Moore,
2014
.
Orlin G. Grigorov,
D. McGuinness,
D. Aspinall,
2008
.
Matt Kaufmann,
Matt Kaufmann,
2003
.
Saharon Shelah,
Matt Kaufmann,
S. Shelah,
1985,
Discrete Mathematics.
Matt Kaufmann,
Matt Kaufmann,
1992
.
J. Mitchell,
G. Iwamoto,
Matt Kaufmann,
1982,
Circulation research.
Marijn J. H. Heule,
W. Hunt,
L. Cruz-Filipe,
2016,
CADE.
Matt Kaufmann,
A. Enayat,
Zachiri McKenzie,
2017,
Archive for Mathematical Logic.
Matt Kaufmann,
J. S. Moore,
Thomas W. Lynch,
1998
.
Matt Kaufmann,
H. Vollmar,
U. Marschall,
2020,
BMC Palliative Care.
Richard J. Blaikie,
Matt Kaufmann,
Alan D. F. Dunbar,
2004
.
José-Luis Ruiz-Reina,
Panagiotis Manolios,
Robert W. Sumners,
2008,
J. Funct. Program..
Marly Roncken,
Matt Kaufmann,
Warren A. Hunt,
2019,
2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Sandip Ray,
Matt Kaufmann,
Erik Reeber,
2006,
J. Appl. Log..
Carl Pixley,
Matt Kaufmann,
Matt Kaufmann,
1997,
Proceedings International Conference on Computer Design VLSI in Computers and Processors.
J. Strother Moore,
Matt Kaufmann,
J. S. Moore,
1997,
IEEE Trans. Software Eng..
Michael Burns,
Jaehong Park,
Janet Nguyen,
1996,
Proceedings International Test Conference 1996. Test and Design Validity.
Panagiotis Manolios,
Matt Kaufmann,
J. S. Moore,
2000
.
Robert S. Boyer,
Matt Kaufmann,
J. S. Moore,
1995
.
Matt Kaufmann,
S. Smorodinsky,
Christina Armatas,
2017,
MMWR. Morbidity and mortality weekly report.
D. Coster,
X. Bonnin,
A. Kallenbach,
2007
.
L. Horton,
D. Coster,
R. Dux,
2006
.
Matt Kaufmann,
W. Grossmann,
J. Neuhauser,
1973
.
Matt Kaufmann,
K. Lackner,
W. Schneider,
1986
.
A. Kallenbach,
C. Maggi,
G. Pereverzev,
2004
.
D. Zasche,
W. Schneider,
O. Gruber,
1988
.
Panagiotis Manolios,
Matt Kaufmann,
J. S. Moore,
2011
.
Panagiotis Manolios,
J. Strother Moore,
Matt Kaufmann,
2000,
Advances in Formal Methods.
Matt Kaufmann,
Warren A. Hunt,
David L. Rager,
2013,
ITP.
Matt Kaufmann,
Matt Wilding,
Matt Kaufmann,
1989
.
Matt Kaufmann,
Warren A. Hunt,
Shilpi Goel,
2017,
Provably Correct Systems.
Matt Kaufmann,
J. S. Moore,
J. Strother Moore,
2018,
Journal of Automated Reasoning.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Marijn J. H. Heule,
Marijn Heule,
Matt Kaufmann,
2017,
ITP.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2013,
ACL2.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2011,
ACL2.
J. Strother Moore,
Matt Kaufmann,
J. S. Moore,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.
Matt Kaufmann,
Matt Kaufmann,
2009,
ACL2 '09.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2008,
TPHOLs.
Matt Kaufmann,
J. S. Moore,
J. Strother Moore,
2007
.
Matt Kaufmann,
Ruben Gamboa,
Ruben Gamboa,
2001,
Journal of Automated Reasoning.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2001,
Journal of Automated Reasoning.
Matt Kaufmann,
Matt Kaufmann,
2000,
International Journal on Software Tools for Technology Transfer.
Matt Kaufmann,
Matt Kaufmann,
1998,
CADE.
Bishop Brock,
J. Strother Moore,
Matt Kaufmann,
1996,
FMCAD.
Matt Kaufmann,
J. S. Moore,
J. Strother Moore,
2015
.
Matt Kaufmann,
Matt Kaufmann,
1998
.
Bishop Brock,
Matt Kaufmann,
J. S. Moore,
2008,
Journal of Automated Reasoning.
J. Strother Moore,
Matt Kaufmann,
J. S. Moore,
1998,
IEEE Trans. Computers.
Paolo Pecchiari,
Matt Kaufmann,
P. Pecchiari,
1996,
Journal of Automated Reasoning.
Matt Kaufmann,
Matt Kaufmann,
1992,
Journal of Automated Reasoning.
David Basin,
Matt Kaufmann,
D. Basin,
1991
.
Matt Kaufmann,
Matt Kaufmann,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Matt Kaufmann,
Matt Kaufmann,
1991,
Journal of Automated Reasoning.
Matt Kaufmann,
Matt Kaufmann,
1990,
CADE.
Matt Kaufmann,
J. S. Moore,
J. Strother Moore,
2006
.
Matt Kaufmann,
Ruben Gamboa,
Ruben Gamboa,
2001
.
Matt Kaufmann,
Matt Kaufmann,
1991
.
Matt Kaufmann,
Matt Kaufmann,
1990
.
Matt Kaufmann,
Matt Kaufmann,
1989
.
Addition of Free Variables to the PC-NQTHM Interactive Enhancement of the Boyer-Moore Theorem Prover
Matt Kaufmann,
1989
.
Panagiotis Manolios,
Harsh Raju Chamarthi,
Peter C. Dillinger,
2011,
ACL2.
Matt Kaufmann,
Matt Kaufmann,
1983,
Journal of Symbolic Logic.
Panagiotis Manolios,
Matt Kaufmann,
Matt Kaufmann,
2002,
ACL 2002.
Matt Kaufmann,
Matt Kaufmann,
1981
.
Matt Kaufmann,
Warren A. Hunt,
Cuong K. Chau,
2015,
ACL2.
Ali Enayat,
Matt Kaufmann,
Zachiri McKenzie,
2017,
Arch. Math. Log..
Matt Kaufmann,
Matt Kaufmann,
1977
.
James H. Schmerl,
Matt Kaufmann,
Matt Kaufmann,
1984,
Ann. Pure Appl. Log..
Jon Barwise,
Matt Kaufmann,
Michael Makkai,
1981
.
Matt Kaufmann,
Warren A. Hunt,
J. S. Moore,
2005,
TPHOLs.
Matt Kaufmann,
Warren A. Hunt,
W. Hunt,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
Michael J. C. Gordon,
Matt Kaufmann,
James Reynolds,
2006,
2006 Formal Methods in Computer Aided Design.
Michael J. C. Gordon,
Matt Kaufmann,
James Reynolds,
2006,
ACL2 '06.
J. S. Moore,
M. Kaufmann,
J. Strother Moore,
1996,
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
J. S. MooreTechnical,
Matt Kaufmann,
J. Strother,
1994
.
J. S. Moore,
Matt Kaufmann,
2020,
International Workshop on the ACL2 Theorem Prover and Its Applications.