Event Ordering Using Graphical Notation for Event-B Models. - Rahul Karmakar; Bidyut Biman Sarkar; Nabendu Chaki (CISIM, 2020)

Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design. - Susmita Guha; Akash Nag; Rahul Karmakar (ISDA, 2020)

Formal Verification Techniques: A Comparative Analysis for Critical System Design. - Rahul Karmakar (ISDA, 2021)

A Prototype Modeling of Smart Irrigation System Using Event-B. - Rahul Karmakar; Bidyut Biman Sarkar (SN Comput. Sci., 2021)

Neural session key exchange in the Industrial Internet of Things using hyperchaotic-guided vector-valued artificial neural synchronization. - Tao Hai; Arindam Sarkar; Rahul Karmakar; Mohammad Zubair Khan; Ayman Noor; Talal H. Noor; Abhinav Kumar; A. Yvaz (Eng. Appl. Artif. Intell., 2023)

BCPUML: Breast Cancer Prediction Using Machine Learning Approach - A Performance Analysis. - Rahul Karmakar; Subhranil Chatterjee; Akhil Kumar Das; Ardhendu Mandal (SN Comput. Sci., 2023)

Deep Learning-based Sentiment Analysis of Olympics Tweets. - Indranil Bandyopadhyay; Rahul Karmakar (CoRR, 2024)

A data balancing approach towards design of an expert system for Heart Disease Prediction. - Rahul Karmakar; Udita Ghosh; Arpita Pal; Sattwiki Dey; Debraj Malik; Priyabrata Sain (CoRR, 2024)

Extrapolative ML Models for Copolymers. - Israrul H. Hashmi; Himanshu; Rahul Karmakar; Tarak K. Patra (CoRR, 2024)

Secured mutual wireless communication using real and imaginary-valued artificial neuronal synchronization and attack detection. - Chengzhi Jiang; Arindam Sarkar; Abdulfattah Noorwali; Rahul Karmakar; Kamal M. Othman; Sarbajit Manna (Eng. Appl. Artif. Intell., 2024)

A graphical tool for formal verification using Event-B modeling. - Rahul Karmakar (Multim. Tools Appl., 2024)

GAN-guided artificial neural collaborative complex computation for efficient neural synchronization. - Arindam Sarkar; Rahul Karmakar; Mandira Roy (Multim. Tools Appl., 2024)

Elevating security and disease forecasting in smart healthcare through artificial neural synchronized federated learning. - Tao Hai; Arindam Sarkar; Muammer Aksoy; Rahul Karmakar; Sarbajit Manna; Amrita Prasad (Clust. Comput., 2024)

Breast Cancer Prediction using Stacking Models & Hyperparameter Tuning. - Rahul Karmakar; Akhil Kumar Das; Debapriya Sarkar; Saroj Kumar Biswas 001; Ardhendu Mandal; Arijit Bhattacharya (Inteligencia Artif., 2025)

An Explainable AI Model for Binary LJ Fluids. - Israrul H. Hashmi; Rahul Karmakar; Marripelli Maniteja; Kumar Ayush; Tarak K. Patra (CoRR, 2025)