J. S. Moore

发表

Burkett C. McInturff, J. S. Moore, 2013 .
J. S. Moore, R. S. Boyer, 1983 .
J. Strother Moore, J. S. Moore, Strother Moore, 1975, IEEE Transactions on Software Engineering.
J. Strother Moore, Warren A. Hunt, J. S. Moore, 1989, Journal of Automated Reasoning.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1988 .
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1980 .
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1973, JACM.
Robert S. Boyer, J. S. Moore, J Strother Moore, 1982 .
J. S. Moore, Matt Kaufmann, 1998 .
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.
Panagiotis Manolios, Matt Kaufmann, J. S. Moore, 2006 .
Matt Kaufmann, J. S. Moore, J. Strother Moore, 2014 .
J. Strother Moore, J. S. Moore, 1979, Inf. Process. Lett..
J. S. Moore, J. Strother, 2020 .
Matt Kaufmann, J. S. Moore, Thomas W. Lynch, 1998 .
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1988, Journal of Automated Reasoning.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1990, ESPRIT Basic Research Series.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1977, CACM.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1987 .
Graham Wrightson, Bruce G. Buchanan, Robert S. Boyer, 2004, Journal of Automated Reasoning.
José-Luis Ruiz-Reina, Panagiotis Manolios, Robert W. Sumners, 2008, J. Funct. Program..
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1982 .
Sandip Ray, Matt Kaufmann, Erik Reeber, 2006, J. Appl. Log..
J. S. Moore, J Strother Moore, J. Strother Moore, 2002, 10th Anniversary Colloquium of UNU/IIST.
J. Strother Moore, Matt Kaufmann, J. S. Moore, 1997, IEEE Trans. Software Eng..
Panagiotis Manolios, Matt Kaufmann, J. S. Moore, 2000 .
Robert S. Boyer, Matt Kaufmann, J. S. Moore, 1995 .
Panagiotis Manolios, Matt Kaufmann, J. S. Moore, 2011 .
Panagiotis Manolios, J. Strother Moore, Matt Kaufmann, 2000, Advances in Formal Methods.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1990, CADE.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1988 .
J. S. Moore, J Strother Moore, Strother Moore, 1999, Formal Methods Syst. Des..
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1985, J. Autom. Reason..
Sandip Ray, John Matthews, Warren A. Hunt, 2008, Journal of Automated Reasoning.
Sandip Ray, John Matthews, J. S. Moore, 2006, LPAR.
J. S. Moore, J Strother Moore, 2003, International Journal on Software Tools for Technology Transfer.
J. Strother Moore, J. S. Moore, 2019, Formal Aspects of Computing.
J. S. Moore, J. Strother Moore, 2001 .
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.
J. S. Moore, J Strother Moore, 2015, ATVA.
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, J. S. Moore, J Strother Moore, 2008, TPHOLs.
Matt Kaufmann, J. S. Moore, J. Strother Moore, 2007 .
Panagiotis Manolios, J. S. Moore, J Strother Moore, 2003, Journal of Automated Reasoning.
George Porter, J. S. Moore, J Strother Moore, 2002, TOPL.
Robert S. Boyer, J. S. Moore, J Strother Moore, 2002, PADL.
J. S. Moore, J Strother Moore, 2001, CAV.
Matt Kaufmann, J. S. Moore, J Strother Moore, 2001, Journal of Automated Reasoning.
Bishop Brock, J. Strother Moore, Matt Kaufmann, 1996, FMCAD.
J. S. Moore, J Strother Moore, 2017, Provably Correct Systems.
Matt Kaufmann, J. S. Moore, J. Strother Moore, 2015 .
George Porter, J. S. Moore, J. Strother Moore, 2011 .
Bishop Brock, J. Strother Moore, J. S. Moore, 2005 .
J. S. Moore, J Strother Moore, 1999, Correct System Design.
Robert S. Boyer, J. S. Moore, J. Strother Moore, 1979, Perspectives in computing.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1985, SOEN.
J. Strother Moore, J. S. Moore, 1998, FMCAD.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1977, IJCAI.
J. Strother Moore, J. S. Moore, 1975, SGAR.
J. S. Moore, R. Boyer, 1979, Perspectives in computing.
Bishop Brock, Matt Kaufmann, J. S. Moore, 2008, Journal of Automated Reasoning.
Panagiotis Manolios, Peter C. Dillinger, J. S. Moore, 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).
J. S. Moore, J Strother Moore, J. Moore, 2005, VSTTE.
George Porter, J. S. Moore, J Strother Moore, 2001, Java Virtual Machine Research and Technology Symposium.
J. Strother Moore, Matt Kaufmann, J. S. Moore, 1998, IEEE Trans. Computers.
Robert S. Boyer, J. S. Moore, J. Strother Moore, 1997 .
John Erickson, J. S. Moore, J. Strother Moore, 2008 .
Matt Kaufmann, J. S. Moore, J. Strother Moore, 2006 .
Panagiotis Manolios, J. S. Moore, J Strother Moore, 2001, Inf. Process. Lett..
J. Strother Moore, J. S. Moore, 1998, CAV.
J. Strother Moore, J. S. Moore, 1989, Journal of Automated Reasoning.
Alan Bundy, Cliff B. Jones, Dieter Hutter, 2012, Dagstuhl Reports.
Matt Kaufmann, Warren A. Hunt, J. S. Moore, 2005, TPHOLs.
J. S. Moore, M. Kaufmann, J. Strother Moore, 1996, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
Warren A. Hunt, J. S. Moore, J Strother Moore, 2003, CHARME.
J. S. Moore, Matt Kaufmann, 2020, International Workshop on the ACL2 Theorem Prover and Its Applications.
Robert S. Boyer, J. S. Moore, J Strother Moore, 1998, Academic Press international series in formal methods.