Arithmetical Problems and Recursively Enumerable Predicates. - Martin Davis (J. Symb. Log., 1953)

Computability and Unsolvability. - Martin D. Davis (McGraw-Hill, 1958)

Reductions of Hilbert's Tenth Problem. - Martin Davis; Hilary Putnam (J. Symb. Log., 1958)

A Computing Procedure for Quantification Theory. - Martin Davis; Hilary Putnam (J. ACM, 1960)

A machine program for theorem-proving. - Martin Davis; George Logemann; Donald W. Loveland (Commun. ACM, 1962)

Meeting of the Association for Symbolic Logic. - Martin Davis (J. Symb. Log., 1966)

The Mathematics of Non-Monotonic Reasoning. - Martin Davis (Artif. Intell., 1980)

Pseudo-oracles for non-testable programs. - Martin D. Davis; Elaine J. Weyuker (ACM Annual Conference, 1981)

Obvious Logical Inferences. - Martin Davis (IJCAI, 1981)

Why Gödel Didn't Have Church's Thesis - Martin Davis (Inf. Control., 1982)

Introduction - Martin Davis; Carl Smith; Paul Young (Inf. Control., 1982)

Computability, complexity, and languages - fundamentals of theoretical computer science. - Martin D. Davis; Elaine J. Weyuker (Academic Press, 1983)

A Formal Notion of Program-Based Test Data Adequacy - Martin D. Davis; Elaine J. Weyuker (Inf. Control., 1983)

Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. - Martin Davis; E. G. K. López-Escobar; Wilfried Sieg (J. Symb. Log., 1986)

Metric Space- Based Test-Data Adequacy Criteria. - Martin D. Davis; Elaine J. Weyuker (Comput. J., 1988)

Meeting of the Association for Symbolic Logic: New York City, May 1987. - Martin Davis; Rohit Parikh (J. Symb. Log., 1988)

Emil Post's Contributions to Computer Science - Martin Davis (LICS, 1989)

A Free Variable Version of the First-Order Predicate Calculus. - Martin Davis; Ronald Fechter (J. Log. Comput., 1991)

American logic in the 1920s. - Martin Davis (Bull. Symb. Log., 1995)

The Early History of Automated Deduction. - Martin Davis (Handbook of Automated Reasoning, 2001)

Christos Papadimitriou, Turing: A Novel About Computation, MIT Press (2003). - Martin D. Davis (Artif. Intell., 2005)

What did Gödel believe and when did he believe it? - Martin Davis (Bull. Symb. Log., 2005)

An Appreciation of Bob Paige. - Martin Davis (High. Order Symb. Comput., 2005)

The Church-Turing Thesis: Consensus and Opposition. - Martin Davis (CiE, 2006)

Why there is no such discipline as hypercomputation. - Martin Davis (Appl. Math. Comput., 2006)

SAT: Past and Future. - Martin Davis (SAT, 2007)

Inexhaustibility: A Non-Exhaustive Treatment by Torkel Franzén; Gödel's Theorem: An Incomplete Guide to Its Use and Misuse by Torkel Franzén. - Martin Davis (Am. Math. Mon., 2008)

Diophantine Equations and Computation. - Martin Davis (UC, 2009)

Sex and the mathematician: The High School Prom Theorem. - Martin Davis (Games Econ. Behav., 2009)

Logic and the development of the computer. - Martin Davis (Computational Logic, 2014)

Algorithms, Equations, and Logic. - Martin Davis (The Once and Future Turing, 2016)

My Life as a Logician. - Martin Davis (Martin Davis on Computability, Computational Logic, and Mathematical Foundations, 2016)

Pragmatic Platonism. - Martin Davis (Martin Davis on Computability, Computational Logic, and Mathematical Foundations, 2016)

Concluding Comments by Martin. - Martin Davis (Martin Davis on Computability, Computational Logic, and Mathematical Foundations, 2016)

Turing's Vision and Deep Learning. - Martin Davis (CiE, 2018)

Seventy Years of Computer Science. - Martin Davis (Fields of Logic and Computation III, 2020)

The Brain-As-Computer Metaphor. - Martin Davis (Frontiers Comput. Sci., 2021)