Type-Theoretic Functional Semantics. - Yves Bertot; Venanzio Capretta; Kuntal Das Barman (TPHOLs, 2002)

Model Checking in Practice: Analysis of Generic Bootloader Using SPIN. - Kuntal Das Barman; Debapriyay Mukhopadhyay (ICFEM, 2007)

Electrical Manipulation of Plasmonic Relaxation and the Application of Voltage-Modulated Plasmon Resonance to Biosensing. - Kuntal Das Barman; Syu-Cing Ma; Rohit Gupta; Liang-Yun Lee; Jian-Jang Huang (ICTON, 2023)

Normally-Off AlGaN/GaN HEMTs With a Low Reverse Conduction Turn-On Voltage. - Dai-Jie Lin; Chih-Kang Chang; Kuntal Das Barman; Yu-Chuan Chu; William Shih; Jian-Jang Huang (IEEE Access, 2023)

Surface-Acoustic Waves Actuated Amplification in a Plasmonic Waveguide. - Rohit Gupta; Kuntal Das Barman; Liang-Yun Lee; Anuj Chauhan; Cheng-Yi Cheng; Jian-Jang Huang (ICTON, 2024)