-
高新岩
-
-
- 所属机构:中国科学院成都计算机应用研究所
- 所在地区:四川省 成都市
- 研究方向:自动化与计算机技术
- 发文基金:国家重点基础研究发展计划
相关作者
- 闫炜
- 作品数：8被引量：4H指数：2
- 供职机构：电子科技大学计算机科学与工程学院
- 研究主题：组合电路 并发系统 SAT算法 SAT 合取范式
- 吴尽昭
- 作品数：77被引量：178H指数：7
- 供职机构：广西民族大学
- 研究主题：英文 异构 PROMELA 形式化验证 任务调度算法
- 乔瑞
- 作品数：2被引量：0H指数：0
- 供职机构：中国科学院成都计算机应用研究所
- 研究主题：操作语义 偏序
- 陈澎
- 作品数：7被引量：44H指数：4
- 供职机构：中国科学院成都计算机应用研究所
- 研究主题：设计模式 GIS 形式化方法 语音 软件体系结构
- 方海光
- 作品数：105被引量：856H指数：12
- 供职机构：首都师范大学
- 研究主题：教育 大数据 教育软件 学习环境 人工智能
