您的位置： 专家智库 > >

郭建

作品数：24 被引量：56H指数：4
供职机构：华东师范大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划上海市科学技术委员会资助项目更多>>
相关领域：自动化与计算机技术电子电信理学文化科学更多>>

合作作者

领域

  • 16个自动化与计算...
  • 12个电子电信
  • 8个理学
  • 5个文化科学
  • 3个经济管理
  • 3个机械工程
  • 2个电气工程
  • 2个建筑科学
  • 2个交通运输工程
  • 2个一般工业技术
  • 1个生物学
  • 1个天文地球
  • 1个化学工程
  • 1个矿业工程
  • 1个金属学及工艺
  • 1个水利工程
  • 1个医药卫生
  • 1个社会学
  • 1个自然科学总论
  • 1个兵器科学与技...

主题

  • 7个形式化
  • 6个精化
  • 5个一致性
  • 5个硬件
  • 5个自动机
  • 4个等价
  • 4个定理
  • 4个形式化方法
  • 4个形式化验证
  • 4个语义
  • 4个时态逻辑
  • 3个电路
  • 3个定理证明
  • 3个形式化描述
  • 3个形式化验证技...
  • 3个硬件描述语言
  • 3个硬件描述语言...
  • 3个硬件设计
  • 3个映射
  • 3个智能卡

机构

  • 7个华东师范大学
  • 6个西安邮电学院
  • 2个淮海工学院
  • 1个东南大学
  • 1个西北大学
  • 1个西北工业大学
  • 1个汕头大学
  • 1个西北第二民族...
  • 1个西安电子科技...
  • 1个西安工业大学
  • 1个扬州大学
  • 1个山东师范大学
  • 1个西安邮电大学

资助

  • 17个国家自然科学...
  • 5个国家重点基础...
  • 5个国家科技重大...
  • 4个国家高技术研...
  • 4个陕西省教育厅...
  • 3个上海市自然科...
  • 3个基金委创新研...
  • 3个上海市科学技...
  • 2个江苏省教育厅...
  • 2个陕西省教育厅...
  • 2个江苏省“六大...
  • 2个西安市科技计...
  • 2个江苏省高校自...
  • 2个陕西省科学技...
  • 2个陕西省自然科...
  • 1个安徽省自然科...
  • 1个广东省自然科...
  • 1个国防基础科研...
  • 1个国防科技技术...
  • 1个国家科技攻关...

传媒

  • 8个软件学报
  • 6个计算机工程与...
  • 6个计算机应用与...
  • 5个计算机工程
  • 5个微电子学与计...
  • 5个小型微型计算...
  • 5个计算机科学
  • 4个计算机工程与...
  • 4个微计算机信息
  • 3个计算机研究与...
  • 3个计算机学报
  • 3个西北大学学报...
  • 3个计算机应用
  • 3个计算机应用研...
  • 3个计算机工程与...
  • 2个华东师范大学...
  • 2个计算机辅助设...
  • 2个系统仿真学报
  • 2个淮海工学院学...
  • 2个西安电子科技...

地区

  • 9个陕西省
  • 7个上海市
  • 2个江苏省
共 18 条 记 录，以下是 1-10
韩俊刚
供职机构：西安邮电大学
研究主题：片上网络 图形处理器 形式化验证 硬件 硬件设计
发表作品相关人物供职机构所获资助研究领域
章玥
供职机构：华东师范大学
研究主题：数据平面 智慧交通 P4 控制器 可编程网络
发表作品相关人物供职机构所获资助研究领域
张华
供职机构：西安邮电学院
研究主题：同步数字系列 PSL
发表作品相关人物供职机构所获资助研究领域
朱晓冉
供职机构：华东师范大学
研究主题：操作系统 定理证明 智能卡 操作系统内核 循环不变式
发表作品相关人物供职机构所获资助研究领域
杜惠敏
供职机构：西北工业大学计算机学院
研究主题：布尔函数 形式化验证技术 形式化验证 计算机 时态逻辑
发表作品相关人物供职机构所获资助研究领域
王玲
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：一致性 线性时序逻辑 区域填充算法 模型精化 属性抽取
发表作品相关人物供职机构所获资助研究领域
刘建元
供职机构：西安邮电学院计算机学院
研究主题：符号模型检验 布尔函数 微处理器 二叉决策图 OBDD
发表作品相关人物供职机构所获资助研究领域
郝克刚
供职机构：西北大学信息科学与技术学院
研究主题：PETRI网 面向对象 工作流 软件开发 PI演算
发表作品相关人物供职机构所获资助研究领域
徐立华
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：一致性 线性时序逻辑 测试数据生成 分段式 模型精化
发表作品相关人物供职机构所获资助研究领域
王文君
供职机构：华东师范大学
研究主题：精化 定理证明 智能卡 EVENT-B
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0