您的位置： 专家智库 > >

西安电子科技大学计算理论与技术研究所

作品数：61 被引量：178H指数：7
相关作者：范全润雷丽晖聂鹏程杨潇潇刘晓芳更多>>
相关机构：武汉大学计算机学院软件工程国家重点实验室武汉大学计算机学院西安邮电学院计算机学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术更多>>

合作机构

领域

  • 11个自动化与计算...
  • 1个天文地球
  • 1个电子电信
  • 1个文化科学

主题

  • 5个时序逻辑
  • 3个形式化
  • 3个可满足性
  • 2个地理信息
  • 2个地理信息系统
  • 2个定理
  • 2个定理证明
  • 2个多核
  • 2个多核并行
  • 2个信息系统
  • 2个形式化验证
  • 2个硬件
  • 2个投影时序逻辑
  • 2个排序
  • 2个网络
  • 2个公理
  • 2个公理系统
  • 2个编程
  • 2个SKYLIN...
  • 2个并发

机构

  • 11个西安电子科技...
  • 2个西北大学
  • 1个楚雄师范学院
  • 1个武汉大学

资助

  • 10个国家自然科学...
  • 4个国家重点基础...
  • 2个陕西省科技攻...
  • 2个中央高校基本...
  • 1个陕西省工业科...
  • 1个陕西省自然科...
  • 1个中国人民解放...
  • 1个综合业务网理...

传媒

  • 5个软件学报
  • 5个西安电子科技...
  • 2个华中科技大学...
  • 2个西安交通大学...
  • 2个计算机科学
  • 1个电子科技
  • 1个计算机学报
  • 1个计算机时代
  • 1个兰州大学学报...
  • 1个计算机应用研...
  • 1个四川大学学报...
  • 1个雁北师范学院...
  • 1个网络安全技术...
  • 1个德州学院学报
  • 1个楚雄师范学院...
  • 1个太原师范学院...
  • 1个计算机教育
  • 1个计算机科学与...
  • 1个电子设计工程

地区

  • 11个陕西省
共 11 条 记 录，以下是 1-10
范全润
作品数：20被引量：51H指数：4
供职机构：西安电子科技大学计算理论与技术研究所
研究主题：聚类 合取范式 聚类算法 数据挖掘技术 等价性检验
发表作品相关人物供职机构所获资助研究领域
雷丽晖
作品数：8被引量：83H指数：5
供职机构：西安电子科技大学计算理论与技术研究所
研究主题：确定有限自动机 组合WEB服务 形式化验证 有限自动机 J2EE
发表作品相关人物供职机构所获资助研究领域
杨潇潇
作品数：4被引量：1H指数：1
供职机构：西安电子科技大学计算理论与技术研究所
研究主题：正则 变式 归纳法 安全性 形式语义
发表作品相关人物供职机构所获资助研究领域
聂鹏程
作品数：4被引量：1H指数：1
供职机构：西安电子科技大学计算理论与技术研究所
研究主题：多核 调度 SKYLINE算法 多核并行 操作系统
发表作品相关人物供职机构所获资助研究领域
刘晓芳
作品数：2被引量：8H指数：2
供职机构：西安电子科技大学计算理论与技术研究所
研究主题：符号模型检测 时序逻辑 VERILOG 命题投影时序逻辑 片上系统
发表作品相关人物供职机构所获资助研究领域
张金磊
作品数：1被引量：0H指数：0
供职机构：西安电子科技大学计算理论与技术研究所
研究主题：并行编程 SKYLINE算法 多核并行 多核 排序
发表作品相关人物供职机构所获资助研究领域
马倩
作品数：1被引量：1H指数：1
供职机构：西安电子科技大学计算理论与技术研究所
研究主题：公理系统 定理证明 时序逻辑
发表作品相关人物供职机构所获资助研究领域
陆旭
作品数：1被引量：1H指数：1
供职机构：西安电子科技大学计算理论与技术研究所
研究主题：可满足性 逻辑 时序逻辑
发表作品相关人物供职机构所获资助研究领域
刘尧
作品数：1被引量：1H指数：1
供职机构：西安电子科技大学计算理论与技术研究所
研究主题：TL 范式 可满足性
发表作品相关人物供职机构所获资助研究领域
罗玲
作品数：1被引量：1H指数：1
供职机构：西安电子科技大学计算理论与技术研究所
研究主题：并发系统 并发 Π演算 形式化建模
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0