A New Islanding Boundary Searching Approach Based on Slow Coherency and Graph Theoretic. - Ziguan Zhou; Xiaomin Bai; Shanshan Zhao; Wei Zhao; Zaihua Li; Jing Xu; Xiaojun Li (ICNC (6), 2008)

Multi-Blockchain Model for Central Bank Digital Currency. - He Sun; Hongliang Mao; Xiaomin Bai; Zhidong Chen; Kai Hu 004; Wei Yu (PDCAT, 2017)

Energy informatics: Fundamentals and standardization. - Biyao Huang; Xiaomin Bai; Zhenyu Zhou 001; Quansheng Cui; Daohua Zhu; Ruwei Hu (ICT Express, 2017)

Formal Modeling and Verification of Blockchain System. - Zhangbo Duan; Hongliang Mao; Zhidong Chen; Xiaomin Bai; Kai Hu 004; Jean-Pierre Talpin (ICCMS, 2018)

Formal Modeling and Verification of Smart Contracts. - Xiaomin Bai; Zijing Cheng; Zhangbo Duan; Kai Hu 004 (ICSCA, 2018)

Energy-Efficient Resource Allocation for Machine-Type Communications in Smart Grid Based on a Matching With Externalities Approach. - Biyao Huang; Chuntian Zhang; Xiaomin Bai; Jianqi Li; Meng Sun; Wenxuan Kong (IEEE Access, 2019)