Kuntal Das Barman

According to our database, Kuntal Das Barman authored at least 5 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Proceedings of the 24th International Conference on Transparent Optical Networks, 2024

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

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

Proceedings of the 23rd International Conference on Transparent Optical Networks, 2023

2007

Model Checking in Practice: Analysis of Generic Bootloader Using SPIN.

Kuntal Das Barman, Debapriyay Mukhopadhyay

Proceedings of the Formal Methods and Software Engineering, 2007

2002

Type-Theoretic Functional Semantics.

Yves Bertot, Venanzio Capretta, Kuntal Das Barman

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002