EN
当前位置： X-MOL首页 › 全球导师 › 国内导师 › 王捍贫
王捍贫 教授 收藏 完善纠错
北京大学    信息科学技术研究所
登录后才能查看导师的联系方式，马上登录...

个人简介

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).

我收藏的导师 >
便捷的期刊搜索 >
免费课题组网站 >
推荐链接
down
wechat
bug