Programmable synthesis using a new "Speech microprocessor". - James L. Caldwell (ICASSP, 1980)

FACE Core Environment: The Model and Its Application in CAE/CAD Tool Development. - William D. Smith; David A. Duff; Martin Dragomirecky; James L. Caldwell; Michael J. Hartman; Jeffrey R. Jasica; Manuel A. d'Abreu (DAC, 1989)

Moving Proofs-As-Programs into Practice. - James L. Caldwell (ASE, 1997)

Classical Propositional Decidability via Nuprl Proof Extraction. - James L. Caldwell (TPHOLs, 1998)

Formal Methods Technology Transfer: A View from NASA. - James L. Caldwell (Formal Methods Syst. Des., 1998)

Intuitionistic Tableau Extracted. - James L. Caldwell (TABLEAUX, 1999)

Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. - Jeffrey Van Baalen; James L. Caldwell; Shivakant Mishra (FAABS, 2000)

Search algorithms in type theory. - James L. Caldwell; Ian P. Gent; Judith L. Underwood (Theor. Comput. Sci., 2000)

Extracting General Recursive Program Schemes in Nuprl's Type Theory. - James L. Caldwell (LOPSTR, 2001)

Constructively Characterizing Fold and Unfold. - Tjark Weber; James L. Caldwell (LOPSTR, 2003)

Constructive Membership Predicates as Index Types. - James L. Caldwell; Josef Pohl (PLPV@IJCAR, 2006)

Extending dynamic constraint detection with disjunctive constraints. - Nadya Kuzmina; John Paul; Ruben Gamboa; James L. Caldwell (WODA, 2008)

A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints - Sunil Kothari; James L. Caldwell (UNIF, 2010)

Structural Induction Principles for Functional Programmers. - James L. Caldwell (TFPIE, 2013)

Generalized support and formal development of constraint propagators. - James L. Caldwell; Ian P. Gent; Peter Nightingale (AI Commun., 2017)

Verifying Smart Contract Transformations Using Bisimulations. - Kegan McIlwaine; James L. Caldwell (FMBC, 2025)