| Solving TSP using improved elitist ant system based on improved pheromone strategy and dynamic candidate list R Karmakar, R Mitra, A Dey, V Chakraborty, A Nayak MAYFEB Journal of Electrical and Computer Engineering 2, 2016 | 11 | 2016 |
| A prototype modeling of smart irrigation system using Event-B R Karmakar, BB Sarkar SN Computer Science 2 (1), 36, 2021 | 10 | 2021 |
| Event-b based formal modeling of a controller: a case study R Karmakar, BB Sarkar, N Chaki Proceedings of International Conference on Frontiers in Computing and …, 2020 | 10 | 2020 |
| Formal verification of safety-critical systems: a case-study in airbag system design S Guha, A Nag, R Karmakar International Conference on Intelligent Systems Design and Applications, 107-116, 2020 | 9 | 2020 |
| System modeling using Event-B: an insight R Karmakar, B Biman Sarkar, N Chaki Proceedings of the 2nd International Conference on Information Systems …, 2019 | 7 | 2019 |
| A Review on Rainfall Forecasting using Ensemble Learning Techniques S Kundu, SK Biswas, D Tripathi, R Karmakar, S Majumdar, S Mandal e-Prime-Advances in Electrical Engineering, Electronics and Energy, 100296, 2023 | 6 | 2023 |
| A framework for component mapping between Event-B and Python R Karmakar Ambient Communications and Computer Systems: Proceedings of RACCCS 2021, 129-139, 2022 | 5 | 2022 |
| Mapping UML activity diagram into z notation A Halder, R Karmakar Innovative Data Communication Technologies and Application: Proceedings of …, 2022 | 5 | 2022 |
| Event ordering using graphical notation for Event-B models R Karmakar, BB Sarkar, N Chaki International Conference on Computer Information Systems and Industrial …, 2020 | 5 | 2020 |
| Symbolic model checking: a comprehensive review for critical system design R Karmakar Advances in Data and Information Sciences: Proceedings of ICDIS 2021, 693-703, 2022 | 4 | 2022 |
| IOT IN MODERN DAY EDUCATION: A STUDY MA Das, MA Hazari, MR Karmakar International Journal of Latest Trends in Engineering and Technology 10 (1 …, 2018 | 4 | 2018 |
| Formal Verification of a Medical Insurance System Prototype: The Event-B Modeling Approach R Karmakar, S Dutta Journal of Information Assurance and Security (JIAS) 17 (1), 025-034, 2022 | 3 | 2022 |
| Application of Genetic Algorithm (GA) in Medical Science: A Review R Karmakar Second International Conference on Sustainable Technologies for …, 2022 | 3 | 2022 |
| BCPUML: Breast Cancer Prediction Using Machine Learning Approach—A Performance Analysis R Karmakar, S Chatterjee, AK Das, A Mandal SN Computer Science 4 (4), 377, 2023 | 2 | 2023 |
| Formal verification techniques: A comparative analysis for critical system design R Karmakar International Conference on Intelligent Systems Design and Applications, 93-102, 2021 | 2 | 2021 |
| Estimating Aqueous Solubility Directly From Molecular Structure Using Machine Learning Approach A Dutta, R Karmakar 2021 Fifth International Conference on I-SMAC (IoT in Social, Mobile …, 2021 | 2 | 2021 |
| A graphical tool for formal verification using Event-B modeling R Karmakar Multimedia Tools and Applications 83 (4), 10899-10923, 2024 | 1 | 2024 |
| Neural session key exchange in the Industrial Internet of Things using hyperchaotic-guided vector-valued artificial neural synchronization T Hai, A Sarkar, R Karmakar, MZ Khan, A Noor, TH Noor, A Kumar, ... Engineering Applications of Artificial Intelligence 125, 106683, 2023 | 1 | 2023 |
| FMSG: a framework for modeling and verification of a smart grid R Karmakar, P Bera, S Dutta Sādhanā 49 (2), 131, 2024 | | 2024 |
| Elevating security and disease forecasting in smart healthcare through artificial neural synchronized federated learning T Hai, A Sarkar, M Aksoy, R Karmakar, S Manna, A Prasad Cluster Computing, 1-26, 2024 | | 2024 |
Nabendu ChakiProfessor, University of CalcuttaVerified email at ieee.org
