Model Checking Algorithms for Formal Verification in Computer Architecture. - Amandeep Gill; H. Srikantha; Syed Rashid Anwar (ICCCNT, 2024)

Correlation Between 3D Magnetic Resonance Imaging and Clinical Outcomes in Traumatic Brain Injury. - H. Srikantha; Ginu Anie Joseph; Surendra Yadav (ICCCNT, 2024)

Computational Geometry and Image-Based Modeling. - H. Srikantha; V. A. Mishra; V. J. Vijayalakshmi; Ankit Punia; S. Bhuvaneswari; Prakhar Goyal (ICCCNT, 2024)