您的位置： 专家智库 > >

华保健

作品数：25 被引量：63H指数：4
供职机构：中国科学技术大学软件学院更多>>
发文基金：国家自然科学基金苏州市科技计划项目国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

领域

  • 23个自动化与计算...
  • 8个文化科学
  • 7个自然科学总论
  • 5个经济管理
  • 5个电子电信
  • 4个交通运输工程
  • 4个理学
  • 3个机械工程
  • 3个电气工程
  • 3个医药卫生
  • 3个一般工业技术
  • 2个天文地球
  • 2个化学工程
  • 2个石油与天然气...
  • 2个轻工技术与工...
  • 2个农业科学
  • 1个矿业工程
  • 1个金属学及工艺
  • 1个航空宇航科学...

主题

  • 13个代码
  • 9个内存
  • 9个编译器
  • 8个指针逻辑
  • 8个HOARE逻...
  • 7个出具证明编译...
  • 6个汇编代码
  • 5个应用程序
  • 5个自动生成
  • 5个汇编语
  • 4个代码保护
  • 4个调度
  • 4个语言设计
  • 4个逆向工程
  • 3个定理
  • 3个定理证明
  • 3个移动应用程序
  • 3个泄露
  • 3个内存泄漏
  • 3个内存泄露

机构

  • 22个中国科学技术...
  • 2个中国科学院软...
  • 2个安徽省计算与...
  • 1个北京跟踪与通...
  • 1个安徽省气象局
  • 1个湖南大学
  • 1个华东师范大学
  • 1个吉林大学
  • 1个江西师范大学
  • 1个中国科学院
  • 1个湖南省计算技...

资助

  • 16个国家自然科学...
  • 9个苏州市科技计...
  • 7个国家高技术研...
  • 5个安徽省自然科...
  • 4个江苏省自然科...
  • 3个中国博士后科...
  • 3个国家教育部博...
  • 2个国家重点基础...
  • 2个安徽省高等学...
  • 2个中国科学技术...
  • 1个国家科技支撑...
  • 1个湖南省自然科...
  • 1个江西省自然科...
  • 1个教育部留学回...
  • 1个上海市科学技...
  • 1个浙江省自然科...
  • 1个中国科学技术...
  • 1个国家杰出青年...
  • 1个湖南省科技计...
  • 1个江西省教育厅...

传媒

  • 11个小型微型计算...
  • 11个计算机工程与...
  • 10个计算机工程
  • 10个计算机应用与...
  • 7个软件学报
  • 7个计算机教育
  • 6个计算机学报
  • 6个计算机应用
  • 5个计算机研究与...
  • 5个计算机科学
  • 3个中国科学技术...
  • 3个电子技术（上...
  • 3个计算机系统应...
  • 3个计算机仿真
  • 3个系统仿真学报
  • 3个教育与现代化
  • 3个计算机工程与...
  • 3个第二届中国计...
  • 3个中国计算机学...
  • 2个电信科学

地区

  • 20个安徽省
  • 1个江西省
  • 1个北京市
共 23 条 记 录，以下是 1-10
陈意云
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
发表作品相关人物供职机构所获资助研究领域
李兆鹏
供职机构：中国科学技术大学软件学院
研究主题：HOARE逻辑 出具证明编译器 指针逻辑 循环不变式 自动定理证明
发表作品相关人物供职机构所获资助研究领域
朱洪军
供职机构：中国科学技术大学软件学院
研究主题：基于GIS ANDROID GIS 混合式教学 软件设计模式
发表作品相关人物供职机构所获资助研究领域
葛琳
供职机构：中国科学技术大学
研究主题：HOARE逻辑 出具证明编译器 指针逻辑 节点操作系统 主动网络
发表作品相关人物供职机构所获资助研究领域
陈灏
供职机构：中国科学技术大学软件学院
研究主题：代码保护 逆向工程 ANDROID应用 ANDROID 加壳
发表作品相关人物供职机构所获资助研究领域
王志芳
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：指针逻辑 HOARE逻辑 语言设计 出具证明编译器 氧化物陶瓷
发表作品相关人物供职机构所获资助研究领域
刘诚
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：出具证明编译器 自动生成
发表作品相关人物供职机构所获资助研究领域
郭宇
供职机构：中国科学技术大学
研究主题：形式化验证 COQ 高可信软件 编译原理课程 编程语言
发表作品相关人物供职机构所获资助研究领域
徐志军
供职机构：中国科学技术大学软件学院
研究主题：LS-SVM EMD 经验模态分解 端点效应 最小二乘支持向量机
发表作品相关人物供职机构所获资助研究领域
赵迪
供职机构：中国科学技术大学软件学院
研究主题：闭包 高阶 函数式语言 函数 代码
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0