Search the dblp DataBase
Brian T. Smith: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Frank L. Gilfeather, Brian T. Smith, John S. Sobolewski, David K. Kahaner
Maui High Performance Computing Center: A Resource for the Pacific Basin. [Citation Graph (0, 0)][DBLP]
HICSS (3), 1996, pp:444-0 [Conf] - Brian T. Smith
Fortran Poisoning and Antidotes. [Citation Graph (0, 0)][DBLP]
Portability of Numerical Software, 1976, pp:178-256 [Conf] - Brian T. Smith
HPF: A User's Perspective. [Citation Graph (0, 0)][DBLP]
SC, 1995, pp:- [Conf] - Brian T. Smith
Error Bounds for Zeros of a Polynomial Based Upon Gerschgorin's Theorems. [Citation Graph (0, 0)][DBLP]
J. ACM, 1970, v:17, n:4, pp:661-674 [Journal] - Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik
An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1989, v:5, n:4, pp:533-540 [Journal] - Joseph Kljaich Jr., Brian T. Smith, Anthony S. Wojcik
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Computers, 1989, v:38, n:3, pp:366-376 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002