Error Bounds for Zeros of a Polynomial Based Upon Gerschgorin's Theorems. - Brian T. Smith (J. ACM, 1970)

NATS a collaborative effort to certify and disseminate mathematical software. - James M. Boyle; William J. Cody; Wayne R. Cowell; Burton S. Garbow; Yasuhiko Ikebe; Cleve B. Moler; Brian T. Smith (ACM Annual Conference (2), 1972)

Matrix Eigensystem Routines - EISPACK Guide, Second Edition - Brian T. Smith; James M. Boyle; Jack J. Dongarra; Burton S. Garbow; Yasuhiko Ikebe; Virginia C. Klema; Cleve B. Moler (Springer, 1976)

Fortran Poisoning and Antidotes. - Brian T. Smith (Portability of Numerical Software, 1976)

A comparison of two recent approaches to machine parameterization for mathematical software. - Brian T. Smith (SIGNUM, 1978)

Environmental inquiry and general precision data type features fort he next fortran standard. - Brian T. Smith (ACM Annual Conference, 1981)

Synchronization and control of parallel algorithms. - Paul O. Frederickson; Rondall E. Jones; Brian T. Smith (Parallel Comput., 1985)

Position paper to be presented at "Verification workshop III (verkshop III)" to be held in Watsonville, CA. Feb. 18-21, 1985. - Brian T. Smith (ACM SIGSOFT Softw. Eng. Notes, 1985)

An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods. - Gregory H. Chisholm; Brian T. Smith; Anthony S. Wojcik (J. Autom. Reason., 1989)

Formal Verification of Fault Tolerance Using Theorem-Proving Techniques. - Joseph Kljaich Jr.; Brian T. Smith; Anthony S. Wojcik (IEEE Trans. Computers, 1989)

Optimal controller for intraaortic balloon pumping. - Ofer Barnea; Brian T. Smith; Stephen E. Dubin; Thomas W. Moore; Dov Jaron (IEEE Trans. Biomed. Eng., 1992)

HPF: A User's Perspective. - Brian T. Smith (SC, 1995)

Maui High Performance Computing Center: A Resource for the Pacific Basin. - Frank L. Gilfeather; Brian T. Smith; John S. Sobolewski; David K. Kahaner (HICSS (3), 1996)

Application of a neuro-fuzzy network for gait event detection using electromyography in the child with Cerebral palsy. - Richard T. Lauer; Brian T. Smith; Randal R. Betz (IEEE Trans. Biomed. Eng., 2005)

A Test Harness TH for Numerical Applications and Libraries. - Brian T. Smith (Grid-Based Problem Solving Environments, 2006)

Future Directions for Numerical Software Research - Comments during Discussions at WoCo9, Prescott, AZ, July 16-21, 2006. - Brian T. Smith (Grid-Based Problem Solving Environments, 2006)

Measuring Uncertainty in Scientific Computation Using Numerica 21's Test Harness. - Brian T. Smith (WoCoUQ, 2011)