Xiaomin Bai

According to our database, Xiaomin Bai authored at least 6 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

2018

Formal Modeling and Verification of Smart Contracts.

Xiaomin Bai, Zijing Cheng, Zhangbo Duan, Kai Hu

Proceedings of the 7th International Conference on Software and Computer Applications, 2018

Formal Modeling and Verification of Blockchain System.

Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin

Proceedings of the 10th International Conference on Computer Modeling and Simulation, 2018

2017

Energy informatics: Fundamentals and standardization.

Biyao Huang, Xiaomin Bai, Zhenyu Zhou, Quansheng Cui, Daohua Zhu, Ruwei Hu

ICT Express, 2017

Multi-Blockchain Model for Central Bank Digital Currency.

He Sun, Hongliang Mao, Xiaomin Bai, Zhidong Chen, Kai Hu, Wei Yu

Proceedings of the 18th International Conference on Parallel and Distributed Computing, 2017

2008

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

Proceedings of the Fourth International Conference on Natural Computation, 2008