王捍贫
近期热点
资料介绍
个人简历
1993.7,博士,北京师范大学研究领域
计算机理论,研究方向包括程序逻辑、程序语义,计算机系统的描述与验证近期论文
[1] Yuxin Jing, Hanpin Wang, Yu Huang, Lei Zhang, Jiang Xu, Yongzhi Cao: A modeling language to describe massive data storage management in cyber-physical systems. J. Parallel Distrib. Comput. 103: 113-120 (2017) [2] Jiabao Lin, Hanpin Wang: The Complexity of Holant Problems over Boolean Domain with Non-Negative Weights. ICALP 2017: 29:1-29:14, (2017). 相关热点