Simulation and formal verification of x86 machine-code programs that make system calls. - Shilpi Goel; Warren A. Hunt Jr.; Matt Kaufmann; Soumava Ghosh (FMCAD, 2014)

Enhancing supply chain resilience using ontology-based decision support system. - Sube Singh; Soumava Ghosh; Jayanth Jayaram; Manoj Kumar Tiwari (Int. J. Comput. Integr. Manuf., 2019)

Design and Optimization of GeSn Waveguide Photodetectors for 2-µm Band Silicon Photonics. - Soumava Ghosh; Radhika Bansal; Greg Sun; Richard A. Soref; Hung-Hsiang Cheng; Guo-En Chang (Sensors, 2022)

GoSage: Heterogeneous Graph Neural Network Using Hierarchical Attention for Collusion Fraud Detection. - Soumava Ghosh; Ravi Anand; Tanmoy Bhowmik; Siddhanth Chandrashekhar (ICAIF, 2023)

Dark Current Analysis on GeSn p-i-n Photodetectors. - Soumava Ghosh; Greg Sun; Timothy A. Morgan; Gregory T. Forcherio; Hung-Hsiang Cheng; Guo-En Chang (Sensors, 2023)

Theoretical Analysis of GeSn Quantum Dots for Photodetection Applications. - Pin-Hao Lin; Soumava Ghosh; Guo-En Chang (Sensors, 2024)