An automated software design evaluator. - Nancy Giddings; Timothy R. Colburn (ACM Annual Conference, 1984)

Program verification, defeasible reasoning, and two views of computer science. - Timothy R. Colburn (Minds Mach., 1991)

Defeasible reasoning and logic programming. - Timothy R. Colburn (Minds Mach., 1991)

Computer Science and Philosophy. - Timothy R. Colburn (Program Verification, 1993)

Program Verification, Defeasible Reasoning, and Two Views of Computer Science. - Timothy R. Colburn (Program Verification, 1993)

Correlation between Structure and Normal Boiling Points of Haloalkanes C1-C4 Using Neural Networks. - Alexandru T. Balaban; Subhash C. Basak; Timothy R. Colburn; Gregory D. Grunwald (J. Chem. Inf. Comput. Sci., 1994)

Heuristics, justification, and defeasible reasoning. - Timothy R. Colburn (Minds Mach., 1995)

Book reviews. - Justin Leiber; Robert M. French; John A. Barnden; Syed S. Ali; Richard Wyatt 001; Timothy R. Colburn; Brian Harvey; Norman Gall; Susan G. Josephson; Francesco Orilia; Achille C. Varzi (Minds Mach., 1996)

Information Modeling Aspects of Software Development. - Timothy R. Colburn (Minds Mach., 1998)

Abstraction in Computer Science. - Timothy R. Colburn; Gary M. Shute (Minds Mach., 2007)

Metaphor in computer science. - Timothy R. Colburn; Gary M. Shute (J. Appl. Log., 2008)

Decoupling as a Fundamental Value of Computer Science. - Timothy R. Colburn; Gary M. Shute (Minds Mach., 2011)