研究领域
计算机理论,研究方向包括程序逻辑、程序语义,计算机系统的描述与验证
近期论文
查看导师最新文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
[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).