Statistics
Publications
5
Citations
239
H-Index
5
Active since
2017
Xiaomin Bai is an author at Beihang University specializing in formal methods, computer science, and computing.
Publications per year
2017–2020
5
5
Formal Modeling and Verification of Smart Contracts
Xiaomin Bai, Zijing Cheng, Zhangbo Duan et al. · 2018 · 101 citations
Multi-Blockchain Model for Central Bank Digital Currency
He Sun, Hongliang Mao, Xiaomin Bai et al. · 2017 · 58 citations
Business, Cybersecurity, Finance +15
Kai Hu, Zhu Jian, Yi Ding et al. · Electronics · 2020 · 39 citations · Full text
Formal Modeling and Verification of Blockchain System
Zhangbo Duan, Hongliang Mao, Zhidong Chen et al. · 2018 · 18 citations
1–5 of 5