Search the dblp DataBase
D. Sarkar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- D. Sarkar
Register Transfer Operation Analysis during Data Path Verification. [Citation Graph (0, 0)][DBLP]
ASP-DAC, 2002, pp:172-180 [Conf] - D. Sarkar
Register Transfer Operation Analysis during Data Path Verification. [Citation Graph (0, 0)][DBLP]
VLSI Design, 2002, pp:172-0 [Conf] - M. Hira, D. Sarkar
Verification of Tempura specification of sequential circuits. [Citation Graph (0, 0)][DBLP]
IEEE Trans. on CAD of Integrated Circuits and Systems, 1997, v:16, n:4, pp:362-375 [Journal] - D. Sarkar, S. C. De Sarkar
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1989, v:15, n:1, pp:1-9 [Journal] - D. Sarkar, S. C. De Sarkar
A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1368-1381 [Journal] - D. Sarkar, S. C. De Sarkar
A Theorem Prover for Verifying Iterative Programs Over Integers. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1989, v:15, n:12, pp:1550-1566 [Journal]
A novel technique for image steganography based on Block-DCT and Huffman Encoding [Citation Graph (, )][DBLP]
Search in 0.013secs, Finished in 0.013secs
| 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