-
张健
-
-
- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 严俊
- 作品数：24被引量：102H指数：4
- 供职机构：中国科学院软件研究所
- 研究主题：ANDROID应用 ANDROID平台 ANDROID 软件测试 测试用例
- 季晓慧
- 作品数：5被引量：33H指数：3
- 供职机构：中国科学院软件研究所
- 研究主题：混合整数规划 优化技术 全局优化 约束问题 英文
- 吴萍
- 作品数：5被引量：30H指数：3
- 供职机构：中国科学技术大学计算机科学与技术学院
- 研究主题：并发程序 JAVA虚拟机 别名分析 多线程程序 数据竞争
- 徐贵红
- 作品数：2被引量：13H指数：1
- 供职机构：中国科学院研究生院
- 研究主题：一阶逻辑 本体 可满足性 描述逻辑 语义网
- 黄拙
- 作品数：3被引量：19H指数：2
- 供职机构：中国科学院软件研究所
- 研究主题：一阶逻辑 命题逻辑 混合整数规划 优化技术 可满足性
