DDD-FM9001: Derivation of a Verified Microprocessor. - Bhaskar Bose; Steven D. Johnson (CHARME, 1993)

Integrating Boolean Verification with Formal Derivation. - Bhaskar Bose; Steven D. Johnson; Shyamsundar Pullela (CHDL, 1993)

System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition. - Bhaskar Bose; M. Esen Tuna; Steven D. Johnson (ICCD, 1993)

Derivation of a DRAM Memory Interface by Sequential Decomposition. - Kamlesh Rath; Bhaskar Bose; Steven D. Johnson (ICCD, 1993)

A Tutorial on Digital Design Derivation Using DRS. - Bhaskar Bose; M. Esen Tuna; Venkatesh Choppella (FMCAD, 1996)

An Image Processing approach to identify solar plages observed at 393.37 nm by Kodaikanal Solar Observatory. - Sarvesh Gharat; Bhaskar Bose; Abhimanyu Borthakur (CoRR, 2022)