-
刘建元
-
-
- 所属机构:西安邮电学院计算机学院
- 所在地区:陕西省 西安市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 韩俊刚
- 作品数：180被引量：428H指数：11
- 供职机构：西安邮电大学
- 研究主题：片上网络 图形处理器 形式化验证 硬件 硬件设计
- 杜慧敏
- 作品数：138被引量：316H指数：8
- 供职机构：西安邮电大学
- 研究主题：片上网络 GPU 图形处理器 FPGA NOC
- 王强
- 作品数：1被引量：0H指数：0
- 供职机构：西安邮电学院计算机学院计算机系
- 研究主题：布尔函数 CAD BDD VLSI 二叉判定图
- 郭建
- 作品数：24被引量：57H指数：4
- 供职机构：华东师范大学
- 研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
- 杨红丽
- 作品数：5被引量：16H指数：3
- 供职机构：西安邮电学院计算机学院计算机系
- 研究主题：形式化方法 形式化验证 FM 形式逻辑 离散数学
