Katha-Mala: A Voice Output Communication Aid for the Children with Severe Speech and Multiple Disorders (SSMI). - Arijit Mukhopadhyay; Saptarshi Biswas; Pratik Worah; Ramasish Das; Susmit Biswas; Anupam Basu (VLSI Design, 2004)

Directed-simulation assisted formal verification of serial protocol and bridge. - Saurav Gorai; Saptarshi Biswas; Lovleen Bhatia; Praveen Tiwari; Raj S. Mitra (DAC, 2006)

Apriori Formal Coverage Analysis for Protocol Properties. - Praveen Tiwari; Saptarshi Biswas; Raj S. Mitra (VLSI Design, 2006)

Tangent-cut optimizer on gradient descent: an approach towards Hybrid Heuristics. - Saptarshi Biswas; Subhrapratim Nath; Sumagna Dey; Utsha Majumdar (Artif. Intell. Rev., 2022)

Cipher constrained encoding for constraint optimization in extended nucleic acid memory. - Saptarshi Biswas; Sumagna Dey; Pradyut Nath; Subhrapratim Nath (Comput. Biol. Chem., 2022)

Computability of Real Functions with Oracle Pointer Machines Implies Real-Time Simulation of Chemical Reaction Networks. - Saptarshi Biswas (CiE, 2025)

Interpretable machine learning-guided design of Fe-based soft magnetic alloys. - Aditi Nachnani; Kai K. Li-Caldwell; Saptarshi Biswas; Prince Sharma; Gaoyuan Ouyang; Prashant Singh (CoRR, 2025)