张健
作品数： 27被引量：249H指数：8
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

严俊
作品数：25被引量：103H指数：4
供职机构：中国科学院软件研究所
研究主题：ANDROID应用 ANDROID平台 ANDROID 软件测试 测试用例
季晓慧
作品数：5被引量：33H指数：3
供职机构：中国科学院软件研究所
研究主题：混合整数规划 优化技术 全局优化 约束问题 英文
吴萍
作品数：5被引量：30H指数：3
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：并发程序 JAVA虚拟机 别名分析 多线程程序 数据竞争
徐贵红
作品数：2被引量：13H指数：1
供职机构：中国科学院研究生院
研究主题：一阶逻辑 本体 可满足性 描述逻辑 语义网
黄拙
作品数：3被引量：19H指数：2
供职机构：中国科学院软件研究所
研究主题：一阶逻辑 命题逻辑 混合整数规划 优化技术 可满足性
作品列表