王新兵
作品数： 6被引量：9H指数：2
  • 所属机构:清华大学信息科学技术学院计算机科学与技术系
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

黄连生
作品数：19被引量：88H指数：6
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：安全协议 网络安全 形式化验证 数字水印 形式化验证方法
杨克
作品数：4被引量：9H指数：2
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：安全协议 形式化验证 网络安全 极小值 立方体
谢峰
作品数：23被引量：14H指数：2
供职机构：清华大学
研究主题：安全协议 形式化验证 遍历 协同过滤 推荐系统
赵雁南
作品数：76被引量：334H指数：9
供职机构：清华大学
研究主题：智能机器人 控制器 控制系统 机器人控制器 ASIC
周宏斌
作品数：2被引量：29H指数：2
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：形式化验证 网络安全 串空间 安全协议 信息安全
作品列表