The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bhaskar Bose: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bhaskar Bose, Steven D. Johnson
    DDD-FM9001: Derivation of a Verified Microprocessor. [Citation Graph (0, 0)][DBLP]
    CHARME, 1993, pp:191-202 [Conf]
  2. Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela
    Integrating Boolean Verification with Formal Derivation. [Citation Graph (0, 0)][DBLP]
    CHDL, 1993, pp:139-146 [Conf]
  3. Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella
    A Tutorial on Digital Design Derivation Using DRS. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:270-274 [Conf]
  4. Bhaskar Bose, M. Esen Tuna, Steven D. Johnson
    System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition. [Citation Graph (0, 0)][DBLP]
    ICCD, 1993, pp:458-461 [Conf]
  5. Kamlesh Rath, Bhaskar Bose, Steven D. Johnson
    Derivation of a DRAM Memory Interface by Sequential Decomposition. [Citation Graph (0, 0)][DBLP]
    ICCD, 1993, pp:438-441 [Conf]

Search in 0.002secs, Finished in 0.002secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002