吕关锋
【姓名】 吕关锋
【职称】 讲师;
【研究领域】 计算机软件及计算机应用;电信技术;
【研究方向】 人工智能、算法设计与分析
【发表文献关键词】 路线规划,认知逻辑,协议验证,形式化验证,时间复杂度,知识结构,安全协议,算法,公交线路,认证,公交车,车站,Kripke语义,算法研究,安全网络,黑客,临时变量,通信协议,出发站,认证协议,类逻辑,...
【工作单位】 中山大学
【曾工作单位】 中山大学;
【所在地域】 广东广州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 3 2 2 32 1179
中国期刊全文数据库    共找到3篇
[1]吕关锋;苏开乐;林瀚;骆翔宇;陈清亮;岳伟亚;.基于BDD的图表示及其算法[J]中山大学学报(自然科学版).2006,(01)
[2]吕关锋,苏开乐.最经济路线规划算法研究[J]计算机工程与应用.2004,(17)
[3]苏开乐,吕关锋,陈清亮.基于知识结构的认证协议验证[J]中国科学E辑:信息科学.2005,(04)
更多