您的位置： 专家智库 > >

潘建东

作品数：1 被引量：4H指数：1
供职机构：南京大学计算机科学与技术系更多>>
发文基金：国家自然科学基金国家科技支撑计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 3个文化科学
  • 2个化学工程
  • 2个理学
  • 1个金属学及工艺
  • 1个机械工程
  • 1个电子电信
  • 1个建筑科学
  • 1个航空宇航科学...
  • 1个一般工业技术

主题

  • 4个语义
  • 3个形式化
  • 3个形式化验证
  • 3个硬件
  • 2个代码
  • 2个代码生成
  • 2个定理
  • 2个定理证明
  • 1个大学计算机
  • 1个大学计算机基...
  • 1个大学计算机基...
  • 1个大学计算机基...
  • 1个大学计算机信...
  • 1个代价函数
  • 1个代码分析
  • 1个代码覆盖
  • 1个代码覆盖率
  • 1个代码复用
  • 1个代码混淆
  • 1个代码克隆

机构

  • 3个南京大学
  • 3个计算机软件新...
  • 1个国防科学技术...
  • 1个南京邮电大学
  • 1个山东交通学院
  • 1个山东大学
  • 1个并行与分布处...
  • 1个上海市信息安...

资助

  • 4个国家高技术研...
  • 4个国家科技支撑...
  • 4个国家自然科学...
  • 3个江苏省自然科...
  • 3个国家教育部博...
  • 2个国家重点基础...
  • 1个国家科技攻关...
  • 1个湖南省自然科...
  • 1个山东省自然科...
  • 1个浙江省自然科...
  • 1个中国博士后科...
  • 1个国家杰出青年...
  • 1个江苏省科技支...
  • 1个江苏省“六大...
  • 1个国际科技合作...
  • 1个国家重点实验...
  • 1个江苏省博士后...
  • 1个江苏省高校自...
  • 1个教育部大学计...
  • 1个山东省社会科...

传媒

  • 4个软件学报
  • 3个计算机科学
  • 2个计算机研究与...
  • 2个计算机学报
  • 2个计算机工程
  • 2个计算机应用与...
  • 2个微电子学与计...
  • 2个计算机应用
  • 2个解放军理工大...
  • 2个计算机教育
  • 2个2008年全...
  • 2个第六届中国信...
  • 2个2008年全...
  • 1个通信学报
  • 1个电子学报
  • 1个北京工业大学...
  • 1个计算机工程与...
  • 1个上海交通大学...
  • 1个科技管理研究
  • 1个计算机应用研...

地区

  • 3个江苏省
  • 1个湖南省
共 4 条 记 录，以下是 1-4
孙浩
供职机构：南京大学计算机科学与技术系
研究主题：污点分析 漏洞 整数 插装 信息流
发表作品相关人物供职机构所获资助研究领域
陈立前
供职机构：国防科学技术大学
研究主题：配置项 污点 浮点 插桩 遍历
发表作品相关人物供职机构所获资助研究领域
黄达明
供职机构：南京大学计算机科学与技术系
研究主题：计算思维 合约 课程体系 信息安全 定理证明
发表作品相关人物供职机构所获资助研究领域
曾庆凯
供职机构：南京大学
研究主题：漏洞 软件漏洞 内核 控制流 硬件虚拟化
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0