Personal information
Blockchain, Smart Contracts, Smart contract formal verification
India, United States
Activities
Works (5)
International Journal of Communication Systems
2024-04
|
Journal article
Contributors:
Monika;
Rajesh Bhatia
Source:
check_circle
Crossref
Cluster Computing
2022-12
|
Journal article
Contributors:
Monika;
Rajesh Bhatia;
Arnav Jain;
Baljeet Singh
Source:
check_circle
Crossref
2021 International Conference on Computer Communication and Informatics (ICCCI)
2021-01-27
|
Conference paper
Contributors:
Monika;
Ankit Goyal;
Shivam Raina;
Kashish Bhatia;
Rajesh Bhatia
Source:
Monika
2020 International Conference on Smart Technologies in Computing, Electrical and Electronics (ICSTCEE)
2020-10-09
|
Conference paper
Contributors:
Monika;
Rajesh Bhatia
Source:
Monika
2016 International Conference on Computational Techniques in Information and Communication Technologies (ICCTICT)
2016-03
|
Conference paper
Contributors:
Monika Bishnoi;
Paramvir Singh
Source:
Monika