Assertion Based Verification Using HDVL. - Kausik Datta; Partha Pratim Das (VLSI Design, 2004)

CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. - Ansuman Banerjee; Kausik Datta; Pallab Dasgupta (ATVA, 2008)

A Verification Guided Approach for Selective Program Transformations for Approximate Computing. - Sayandeep Mitra; Moumita Das; Ansuman Banerjee; Kausik Datta; Tsung-Yi Ho (ATS, 2016)

An Introduction to VHDL 2008. - Kausik Datta; Goutam Kumar Bhaumik; Rohit Goel (VLSID, 2016)

Automated evaluation of comments to aid software maintenance. - Srijoni Majumdar; Ayush Bansal; Partha Pratim Das 001; Paul D. Clough; Kausik Datta; Soumya Kanti Ghosh 001 (J. Softw. Evol. Process., 2022)