Timothy R. Colburn

According to our database, Timothy R. Colburn authored at least 12 papers between 1984 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Decoupling as a Fundamental Value of Computer Science.

Timothy R. Colburn, Gary M. Shute

Minds Mach., 2011

2008

Metaphor in computer science.

Timothy R. Colburn, Gary M. Shute

J. Appl. Log., 2008

2007

Abstraction in Computer Science.

Timothy R. Colburn, Gary M. Shute

Minds Mach., 2007

1998

Information Modeling Aspects of Software Development.

Timothy R. Colburn

Minds Mach., 1998

1996

Book reviews.

Justin Leiber, Robert M. French, John A. Barnden, Syed S. Ali, Richard Wyatt, Timothy R. Colburn, Brian Harvey, Norman Gall, Susan G. Josephson, Francesco Orilia, Achille C. Varzi

Minds Mach., 1996

1995

Heuristics, justification, and defeasible reasoning.

Timothy R. Colburn

Minds Mach., 1995

1994

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

1993

Program Verification, Defeasible Reasoning, and Two Views of Computer Science.

Timothy R. Colburn

Proceedings of the Program Verification - Fundamental Issues in Computer Science, 1993

Computer Science and Philosophy.

Timothy R. Colburn

Proceedings of the Program Verification - Fundamental Issues in Computer Science, 1993

1991

Defeasible reasoning and logic programming.

Timothy R. Colburn

Minds Mach., 1991

Program verification, defeasible reasoning, and two views of computer science.

Timothy R. Colburn

Minds Mach., 1991

1984

An automated software design evaluator.

Nancy Giddings, Timothy R. Colburn

Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984