-
吕关锋
-
-
- 所属机构:北京工业大学计算机学院
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 苏开乐
- 作品数：48被引量：152H指数：8
- 供职机构：浙江师范大学数理与信息工程学院
- 研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
- 陈清亮
- 作品数：24被引量：101H指数：5
- 供职机构：暨南大学
- 研究主题：SPV 最短路径 认知逻辑 安全协议 语义模型
- 刘科
- 作品数：9被引量：24H指数：2
- 供职机构：北京工业大学
- 研究主题：XML XML_SCHEMA SCHEMA 逻辑公式 特征提取
- 廖湖声
- 作品数：147被引量：263H指数：8
- 供职机构：北京工业大学
- 研究主题：XML XQUERY XQUERY语言 部分求值 模式查询
- 杨红丽
- 作品数：29被引量：64H指数：5
- 供职机构：北京工业大学
- 研究主题：XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
