张昱
作品数： 116被引量：253H指数：8
  • 所属机构:中国科学技术大学
  • 所在地区:安徽省 合肥市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

陈意云
作品数：133被引量：648H指数：16
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
吉建民
作品数：44被引量：47H指数：4
供职机构：中国科学技术大学
研究主题：自动驾驶 多目标 激光雷达 避障 虚拟现实
吴年
作品数：5被引量：8H指数：2
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：XML流 索引 查询 XPATH 自动机
袁丽娜
作品数：5被引量：2H指数：1
供职机构：中国科学技术大学
研究主题：即时编译器 垃圾收集 插桩 内存释放 垃圾收集器
郭帆
作品数：17被引量：15H指数：2
供职机构：中国科学技术大学
研究主题：移动代码 内存 系统默认 安全检查 类型化
作品列表