J Strother Moore
Affiliations: University of Texas at Austin, USA
According to our database^{1},
J Strother Moore
authored at least 81 papers
between 1973 and 2023.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2006, "For contributions to mechanized theorem proving.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on orcid.org

on id.loc.gov

on dnb.info

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2023
CoRR, 2023
2022
Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022
2020
J. Autom. Reason., 2020
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020
2019
Formal Aspects Comput., 2019
2017
FLAP, 2017
Proceedings of the ARCADE 2017, 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
Proceedings of the Automated Technology for Verification and Analysis, 2015
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
Proceedings of the Interactive Theorem Proving  5th International Conference, 2014
2013
Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013
2012
Dagstuhl Reports, 2012
Proceedings of the 39th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2012
2011
Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011
Proceedings of the International Conference on Formal Methods in ComputerAided Design, 2011
2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 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
J. Autom. Reason., 2008
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008
2006
Int. J. Softw. Tools Technol. Transf., 2006
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006
Proceedings of the Logic for Programming, 2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
2005
Sci. Comput. Program., 2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
2004
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the Formal Methods in ComputerAided Design, 5th International Conference, 2004
2003
J. Autom. Reason., 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
2002
ACM Trans. Program. Lang. Syst., 2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002
2001
J. Autom. Reason., 2001
Inf. Process. Lett., 2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
1999
Formal Methods Syst. Des., 1999
Proceedings of the Correct System Design, 1999
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 Formal Methods in ComputerAided Design, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
A computational logic handbook, Second Edition.
Academic Press international series in formal methods, Academic Press, ISBN: 9780121229559, 1998
1997
IEEE Trans. Software Eng., 1997
1996
Proceedings of the Formal Methods in ComputerAided Design, First International Conference, 1996
1994
J. Autom. Reason., 1994
A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol.
Formal Aspects Comput., 1994
1991
MJRTY: A Fast Majority Vote Algorithm.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991
Proceedings of the Artificial and Mathematical Theory of Computation, 1991
1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
J. Autom. Reason., 1989
J. Autom. Reason., 1989
1988
The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover.
J. Autom. Reason., 1988
1986
ACM SIGSOFT Softw. Eng. Notes, 1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
1985
ACM SIGSOFT Softw. Eng. Notes, 1985
Program Verification.
J. Autom. Reason., 1985
1984
J. ACM, 1984
1983
ACM SIGSOFT Softw. Eng. Notes, 1983
1980
A computational logic.
ACM monograph series, Academic Press, ISBN: 9780121229504, 1980
1979
Inf. Process. Lett., 1979
A computational logic handbook.
Perspectives in computing 23, Academic Press, ISBN: 9780121229528, 1979
1977
Commun. ACM, 1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
1976
Proceedings of the Conference Record of the Third ACM Symposium on Principles of Programming Languages, 1976
1975
IEEE Trans. Software Eng., 1975
SIGART Newsl., 1975
J. ACM, 1975
1973
PhD thesis, 1973