Search the dblp DataBase
Sanat K. Basu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Sanat K. Basu
Transformation of Program Schemes to Standard Forms [Citation Graph (0, 0)][DBLP]
FOCS, 1968, pp:99-105 [Conf] - Sanat K. Basu, Jayadev Misra
Some Classes of Naturally Provable Programs. [Citation Graph (0, 0)][DBLP]
ICSE, 1976, pp:400-406 [Conf] - Sanat K. Basu
On Classes of Computable Functions [Citation Graph (0, 0)][DBLP]
STOC, 1969, pp:55-59 [Conf] - Sanat K. Basu
On the Structure of Subrecursive Degrees. [Citation Graph (0, 0)][DBLP]
J. Comput. Syst. Sci., 1970, v:4, n:5, pp:452-464 [Journal] - Sanat K. Basu
A Note on Synthesis of Inductive Assertions. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1980, v:6, n:1, pp:32-39 [Journal] - Sanat K. Basu
On Development of Iterative Programs from Function Specifications. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1980, v:6, n:2, pp:170-182 [Journal] - Sanat K. Basu, Jayadev Misra
Proving Loop Programs. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1975, v:1, n:1, pp:76-86 [Journal] - Sanat K. Basu, Raymond T. Yeh
Strong Verification of Programs. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1975, v:1, n:3, pp:339-346 [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