Analyzing Data Flow in Trustworthy Electronic Payment Systems Using Event-B. - Girish Chandra; Divakar Yadav (ICDEM, 2010)

Verification of Money Atomicity in Digital Cash Based Payment System. - Girish Chandra; Divakar Yadav (ICISS, 2012)

Improved equalization and joint iterative detection. - Mustafa K. Gurcan; Dhineth Weliwitegoda; Girish Chandra (J. Frankl. Inst., 2012)

A New Approach for Clustering Gene Expression Data. - Girish Chandra; Sudhakar Tripathi (CICBA (2), 2017)

Industry Standards and Standardization: An Expert Survey on Opportunities and Challenges. - Girish Chandra; Arunabha Mukhopadhayay (ICIT, 2021)

Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols. - Sudhani Verma; Divakar Yadav; Girish Chandra (IEEE Access, 2022)

Ranked set sampling with lowest order statistics for Pareto distribution. - Dinesh S. Bhoj; Girish Chandra (Commun. Stat. Simul. Comput., 2023)

Formal verification of blockchain driven packet management in congested network using Event B. - Pratibha Singh; Arun Kumar Singh; Girish Chandra (Expert Syst. Appl., 2025)

LVCA: An efficient voting-based consensus algorithm in private Blockchain for enhancing data security. - Sudhani Verma; Girish Chandra; Divakar Yadav (Peer Peer Netw. Appl., 2025)