您的位置： 专家智库 > >

李新

作品数：18 被引量：16H指数：2
供职机构：华东师范大学更多>>
相关领域：文化科学自动化与计算机技术语言文字更多>>

合作作者

领域

  • 7个自动化与计算...
  • 6个文化科学
  • 2个经济管理
  • 1个化学工程
  • 1个机械工程
  • 1个电子电信
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个医药卫生
  • 1个农业科学
  • 1个政治法律
  • 1个艺术
  • 1个历史地理
  • 1个理学
  • 1个兵器科学与技...

主题

  • 7个形式化
  • 6个代码
  • 6个形式化验证
  • 5个硬件
  • 4个代码段
  • 4个代数
  • 4个等价
  • 4个等价类
  • 4个递归
  • 4个信息查询
  • 4个形式化分析
  • 4个形式化验证方...
  • 4个异构
  • 4个隐私
  • 3个信号
  • 3个信号采集
  • 3个信号采集模块
  • 3个信号处理
  • 3个信号处理模块
  • 3个信号流

机构

  • 7个华东师范大学
  • 1个湖州师范学院
  • 1个联合国大学
  • 1个英国诺丁汉大...

资助

  • 3个国家自然科学...
  • 2个上海市自然科...
  • 1个国家重点基础...
  • 1个中国博士后科...
  • 1个国家教育部“...
  • 1个国家部委资助...
  • 1个上海市“科技...
  • 1个上海市教育委...

传媒

  • 4个软件学报
  • 2个计算机工程
  • 1个世界科技研究...
  • 1个高等学校化学...
  • 1个中国大学教学
  • 1个中国成人教育
  • 1个科技导报
  • 1个计算机应用与...
  • 1个华东科技
  • 1个微电子学与计...
  • 1个计算机应用
  • 1个中国科学基金
  • 1个分析试验室
  • 1个中国科学（E...
  • 1个Chines...
  • 1个计算机教育
  • 1个科技中国
  • 1个第2届国际有...
  • 1个第五届中国测...
  • 1个第一届国际有...

地区

  • 7个上海市
共 7 条 记 录，以下是 1-7
李昂
供职机构：华东师范大学
研究主题：目标代码 反汇编 控制流图 自适应 程序模型
发表作品相关人物供职机构所获资助研究领域
史建琦
供职机构：华东师范大学
研究主题：形式化验证 目标代码 控制流图 反汇编 中间语言
发表作品相关人物供职机构所获资助研究领域
何积丰
供职机构：华东师范大学
研究主题：目标代码 反汇编 高级语言 控制流图 自适应
发表作品相关人物供职机构所获资助研究领域
黄滟鸿
供职机构：华东师范大学
研究主题：目标代码 形式化验证 反汇编 L模型 控制流图
发表作品相关人物供职机构所获资助研究领域
施健
供职机构：华东师范大学
研究主题：交互行为 集中式控制 自适应软件 软件体系结构 软件模型
发表作品相关人物供职机构所获资助研究领域
张凯
供职机构：华东师范大学
研究主题：二氧化碳 污染环境 形式化验证方法 形式化验证 关联函数
发表作品相关人物供职机构所获资助研究领域
郭建
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 源代码 微内核 时态逻辑
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0