Xiaomin Bai

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 5

Top Topics

Colored Petri Nets

Resource Allocation

Top Venues

Publications

Biyao Huang, Chuntian Zhang, Xiaomin Bai, Jianqi Li, Meng Sun, Wenxuan Kong
Energy-Efficient Resource Allocation for Machine-Type Communications in Smart Grid Based on a Matching With Externalities Approach. IEEE Access 7 (2019)
Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin
Formal Modeling and Verification of Blockchain System. ICCMS (2018)
Xiaomin Bai, Zijing Cheng, Zhangbo Duan, Kai Hu
Formal Modeling and Verification of Smart Contracts. ICSCA (2018)
Biyao Huang, Xiaomin Bai, Zhenyu Zhou, Quansheng Cui, Daohua Zhu, Ruwei Hu
Energy informatics: Fundamentals and standardization. ICT Express 3 (2) (2017)
He Sun, Hongliang Mao, Xiaomin Bai, Zhidong Chen, Kai Hu, Wei Yu
Multi-Blockchain Model for Central Bank Digital Currency. PDCAT (2017)
Ziguan Zhou, Xiaomin Bai, Shanshan Zhao, Wei Zhao, Zaihua Li, Jing Xu, Xiaojun Li
A New Islanding Boundary Searching Approach Based on Slow Coherency and Graph Theoretic. ICNC (6) (2008)