-
王生原
-
-
- 所属机构:清华大学信息科学技术学院计算机科学与技术系
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 董渊
- 作品数：95被引量：289H指数：9
- 供职机构：清华大学
- 研究主题：字节码 软件工程 编译器 形式化验证 操作系统
- 张素琴
- 作品数：54被引量：398H指数：10
- 供职机构：清华大学信息科学技术学院计算机科学与技术系
- 研究主题：编译器 面向对象 类库 LINUX C++
- 石刚
- 作品数：18被引量：54H指数：5
- 供职机构：新疆大学信息科学与工程学院
- 研究主题：形式化验证 编译器 COQ 翻译 定理证明
- 田金兰
- 作品数：35被引量：190H指数：8
- 供职机构：清华大学信息科学技术学院计算机科学与技术系
- 研究主题：编译器 面向对象 数据挖掘 交叉调试器 目标机
- 杨萍
- 作品数：106被引量：789H指数：17
- 供职机构：青海师范大学
- 研究主题：柴达木盆地 地理信息系统 自动站 极端温度事件 极端气候事件
