陆琦玮
作品数: 11被引量:37H指数:4
  • 所属机构:中国科学技术大学计算机科学与技术学院
  • 所在地区:安徽省 合肥市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

熊焰
作品数:157被引量:550H指数:10
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:无线传感器网络 形式化验证 移动自组网 移动代理 WSN
龚旭东
作品数:10被引量:32H指数:3
供职机构:中国科学技术大学
研究主题:WSN BETA分布 无人值守 计算量 控制系统
黄文超
作品数:62被引量:58H指数:5
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:形式化验证 形式化建模与验证 形式化建模 合约 移动终端
刘涛
作品数:309被引量:386H指数:10
供职机构:中国科学技术大学
研究主题:无线传感器网络 磁铁 车辆 数字签名 WSN
王亚
作品数:71被引量:119H指数:7
供职机构:中国科学技术大学
研究主题:色心 金刚石 空位 煤矿突水 氮