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