您的位置: 专家智库 > >

何积丰

作品数:77 被引量:276H指数:6
供职机构:华东师范大学更多>>
发文基金:国家自然科学基金上海市自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术文化科学兵器科学与技术更多>>

领域

  • 50个自动化与计算...
  • 37个文化科学
  • 29个经济管理
  • 20个理学
  • 19个电子电信
  • 15个医药卫生
  • 14个自然科学总论
  • 14个兵器科学与技...
  • 13个天文地球
  • 12个交通运输工程
  • 11个机械工程
  • 9个环境科学与工...
  • 9个一般工业技术
  • 9个政治法律
  • 8个生物学
  • 8个建筑科学
  • 8个社会学
  • 8个历史地理
  • 7个金属学及工艺
  • 6个农业科学

主题

  • 29个网络
  • 23个形式化
  • 21个学科
  • 20个计算机
  • 18个教育
  • 16个代码
  • 16个调度
  • 15个形式化验证
  • 15个共同体
  • 14个形式化方法
  • 14个治学
  • 14个基础学科
  • 14个教授治学
  • 14个保障性
  • 14个创造力
  • 13个用户
  • 12个信号
  • 9个代数
  • 9个等价
  • 8个软件模型

机构

  • 33个华东师范大学
  • 5个上海交通大学
  • 4个复旦大学
  • 4个北京大学
  • 4个华东理工大学
  • 4个中国科学院
  • 3个湖州师范学院
  • 3个清华大学
  • 3个教育部
  • 3个上海大学
  • 3个中国工程院
  • 3个国家自然科学...
  • 3个中国科学院研...
  • 2个北京科技大学
  • 2个北京信息工程...
  • 2个南京大学
  • 2个上海师范大学
  • 2个上海电力学院
  • 2个武汉大学
  • 2个同济大学

资助

  • 35个国家自然科学...
  • 20个国家重点基础...
  • 19个国家高技术研...
  • 12个国家教育部博...
  • 11个中国博士后科...
  • 8个上海市自然科...
  • 8个上海市教育委...
  • 7个国家杰出青年...
  • 7个国家科技重大...
  • 5个浙江省自然科...
  • 5个国家重点实验...
  • 5个中央高校基本...
  • 4个广东省自然科...
  • 4个霍英东教育基...
  • 4个江苏省自然科...
  • 4个上海市青年科...
  • 4个“九五”国家...
  • 4个教育部“新世...
  • 4个上海市科学技...
  • 3个高等学校骨干...

传媒

  • 22个软件学报
  • 15个科技导报
  • 11个计算机研究与...
  • 11个计算机学报
  • 11个计算机工程
  • 10个计算机工程与...
  • 10个计算机科学
  • 9个电子学报
  • 9个计算机应用与...
  • 9个计算机应用研...
  • 9个中国科学:信...
  • 7个中国科学基金
  • 7个计算机工程与...
  • 6个计算机工程与...
  • 6个小型微型计算...
  • 6个计算机科学与...
  • 5个科学通报
  • 5个计算机应用
  • 4个自然杂志
  • 3个教育发展研究

地区

  • 42个上海市
  • 7个北京市
  • 3个浙江省
  • 2个江苏省
  • 1个安徽省
  • 1个湖南省
58 条 记 录,以下是 1-10
史建琦
供职机构:华东师范大学
研究主题:形式化验证 目标代码 控制流图 反汇编 中间语言
发表作品相关人物供职机构所获资助研究领域
黄滟鸿
供职机构:华东师范大学
研究主题:目标代码 形式化验证 反汇编 L模型 控制流图
发表作品相关人物供职机构所获资助研究领域
李昂
供职机构:华东师范大学
研究主题:目标代码 反汇编 控制流图 自适应 程序模型
发表作品相关人物供职机构所获资助研究领域
熊家文
供职机构:华东师范大学
研究主题:反汇编 目标代码 程序模型 封装格式 翻译
发表作品相关人物供职机构所获资助研究领域
李新
供职机构:华东师范大学
研究主题:层次化 交互行为 集中式控制 自适应软件 自适应
发表作品相关人物供职机构所获资助研究领域
刘静
供职机构:华东师范大学
研究主题:太极拳运动 译码 ML 校验方法 系统模型
发表作品相关人物供职机构所获资助研究领域
施健
供职机构:华东师范大学
研究主题:交互行为 集中式控制 自适应软件 软件体系结构 软件模型
发表作品相关人物供职机构所获资助研究领域
李炬
供职机构:华东师范大学
研究主题:空间飞行器 自重构 数学符号 软硬件协同 飞行控制
发表作品相关人物供职机构所获资助研究领域
钱宇清
供职机构:华东师范大学
研究主题:AADL 混成系统 词法 接口定义语言 对象请求代理
发表作品相关人物供职机构所获资助研究领域
孙永强
供职机构:上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题:程序设计 面向对象 函数式语言 程序语言 计算机网络
发表作品相关人物供职机构所获资助研究领域
共6页<123456>
聚类工具0