您的位置： 专家智库 > >

周颖

作品数：4 被引量：9H指数：2
供职机构：东南大学计算机科学与工程学院更多>>
发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”江苏省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 6个自动化与计算...
  • 2个文化科学
  • 1个机械工程
  • 1个交通运输工程
  • 1个航空宇航科学...

主题

  • 3个代数
  • 3个动态逻辑
  • 3个信息物理融合...
  • 3个体系结构
  • 3个微分
  • 3个微分代数
  • 2个定理证明
  • 2个定理证明器
  • 1个带环
  • 1个代码
  • 1个代码分发
  • 1个代码覆盖
  • 1个代码覆盖率
  • 1个代码检测
  • 1个代码克隆
  • 1个代码库
  • 1个代码信息
  • 1个代码优化
  • 1个代码重构
  • 1个等价

机构

  • 5个东南大学
  • 1个南京大学
  • 1个中国科学技术...
  • 1个中国科学院软...
  • 1个泰州机电高等...

资助

  • 5个国家自然科学...
  • 3个国家高技术研...
  • 3个江苏省自然科...
  • 3个教育部“新世...
  • 2个国家教育部博...
  • 2个江苏省高校科...
  • 1个安徽省自然科...
  • 1个江苏省教育厅...
  • 1个国家杰出青年...
  • 1个江苏省“六大...
  • 1个东南大学优秀...
  • 1个“九五”国家...
  • 1个常熟市科技计...
  • 1个国家重点实验...
  • 1个计算机软件新...
  • 1个江苏省博士后...
  • 1个江苏省产学研...
  • 1个江苏省高校自...
  • 1个教育部人文社...
  • 1个中国人民解放...

传媒

  • 4个东南大学学报...
  • 2个小型微型计算...
  • 2个第五届中国测...
  • 1个计算机研究与...
  • 1个电子学报
  • 1个南京大学学报...
  • 1个计算机学报
  • 1个华中科技大学...
  • 1个计算机工程
  • 1个计算机应用与...
  • 1个计算机应用研...
  • 1个软件学报
  • 1个计算机科学
  • 1个Journa...
  • 1个电脑知识与技...
  • 1个计算机科学与...
  • 1个2011全国...
  • 1个第六届中国测...
  • 1个2012中国...
  • 1个第十一届全国...

地区

  • 6个江苏省
共 6 条 记 录，以下是 1-6
李必信
供职机构：东南大学
研究主题：面向对象 软件架构 源代码 WEB服务 CPS
发表作品相关人物供职机构所获资助研究领域
翟小祥
供职机构：东南大学计算机科学与工程学院
研究主题：动态逻辑 CPS 微分代数 微分 规约
发表作品相关人物供职机构所获资助研究领域
苏志勇
供职机构：东南大学计算机科学与工程学院
研究主题：WEB服务 可靠性 面向用户 BPEL WEB服务组合
发表作品相关人物供职机构所获资助研究领域
巩绪芳
供职机构：东南大学计算机科学与工程学院
研究主题：测试技术 软件体系结构
发表作品相关人物供职机构所获资助研究领域
段鹏飞
供职机构：东南大学计算机科学与工程学院
研究主题：信息物理融合系统 动态逻辑 微分代数 微分
发表作品相关人物供职机构所获资助研究领域
周蕾
供职机构：泰州机电高等职业技术学校
研究主题：可行点 死路
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0