Modeling & Analysis of Transaction Management for Distributed Database Environment using Petri Nets. - Bidyut Biman Sarkar; Nabendu Chaki (NaBIC, 2009)

Virtual Data Warehouse Modeling Using Petri Nets for Distributed Decision Making. - Nabendu Chaki; Bidyut Biman Sarkar (J. Convergence Inf. Technol., 2010)

Distributed framework for tele health monitoring system. - Bidyut Biman Sarkar; Sugata Sanyal; Nabendu Chaki (ACWR, 2011)

Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets. - Bidyut Biman Sarkar; Agostino Cortesi; Nabendu Chaki (FedCSIS, 2013)

Personal Health Record Management System Using Hadoop Framework: An Application for Smarter Health Care. - Bidyut Biman Sarkar; Paul Swagata; Cornel Barna; Noemi Rohatinovici; Nabendu Chaki (SOFA (1), 2016)

Stochastic modelling and pilot data analysis towards provisioning of ambulance for handling emergency. - Bidyut Biman Sarkar; Pulak Kundu; Nabendu Chaki (Int. J. Adv. Intell. Paradigms, 2018)

An Application of Block Chain in Examination System, A Case Study. - Ashis Kumar Samanta; Bidyut Biman Sarkar (ACSS (1), 2020)

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

Quantified Analysis of Security Issues and Its Mitigation in Blockchain Using Game Theory. - Ashis Kumar Samanta; Bidyut Biman Sarkar; Nabendu Chaki (CICBA, 2021)

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