杨萍
作品数： 5被引量：8H指数：2
  • 所属机构:北京语言大学信息科学学院
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家科技重大专项

相关作者

王生原
作品数：72被引量：197H指数：7
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：编译器 形式化验证 字节码 PETRI网 COQ
张丽伟
作品数：6被引量：5H指数：1
供职机构：清华大学
研究主题：字节码 并行程序验证 多核处理器 逻辑系统 核工业
朱允敏
作品数：4被引量：5H指数：1
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：并行程序验证 多核处理器 自旋锁 逻辑系统 字节码
黄鹂鸣
作品数：12被引量：278H指数：5
供职机构：北京科技大学
研究主题：PM2.5 PM10 气中 大气气溶胶 好氧生物流化床
董渊
作品数：95被引量：289H指数：9
供职机构：清华大学
研究主题：字节码 软件工程 编译器 形式化验证 操作系统
作品列表