1
面向创新能力培养的计算机网络实验教学
刘艳芳
张力军
焦福菊
《实验技术与管理》
CAS
北大核心
2014
31
2
一种自适应的网格计算资源组织与发现机制
孙海龙
怀进鹏
富公为
《软件学报》
EI
CSCD
北大核心
2009
7
3
基于维基百科的汉越词语相似度计算
杨启悦
余正涛
洪旭东
高盛祥
汤智文
《南京理工大学学报》
EI
CAS
CSCD
北大核心
2016
1
4
机会网络
熊永平
孙利民
牛建伟
刘燕
《软件学报》
EI
CSCD
北大核心
2009
325
5
一种无线传感器网络MAC协议优化算法
刘云璐
蒲菊华
方维维
熊璋
《计算机学报》
EI
CSCD
北大核心
2012
38
6
基于抽象解释理论的程序验证技术
李梦君
李舟军
陈火旺
《软件学报》
EI
CSCD
北大核心
2008
30
7
SPVT:一个有效的安全协议验证工具
李梦君
李舟军
陈火旺
《软件学报》
EI
CSCD
北大核心
2006
18
8
自动信任协商的形式化描述与验证研究
官尚元
伍卫国
董小社
钱德沛
《通信学报》
EI
CSCD
北大核心
2011
7
9
微阵列数据癌症分类问题中的基因选择
张丽娟
李舟军
《计算机研究与发展》
EI
CSCD
北大核心
2009
20
10
分类方法的新发展:研究综述
张丽娟
李舟军
《计算机科学》
CSCD
北大核心
2006
20
11
安全协议的扩展Horn逻辑模型及其验证方法
李梦君
李舟军
陈火旺
《计算机学报》
EI
CSCD
北大核心
2006
7
12
椭圆曲线密码的优化设计方法
崔西宁
杨经纬
叶宏
戴小氐
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2015
3
13
一种改进的基于关系的信息检索技术
李岩
文健
李舟军
《计算机科学》
CSCD
北大核心
2008
4
14
一类多层生产排序问题的建模与求解
师瑞峰
周一民
周泓
上官春霞
《计算机集成制造系统》
EI
CSCD
北大核心
2007
2
15
基于使用模型的软件可靠性加速测试
徐云青
徐义峰
李舟军
《计算机应用与软件》
CSCD
2009
2
16
多媒体会议系统集成框架的研究和实现
李律松
李静
《计算机工程》
EI
CAS
CSCD
北大核心
2006
3
17
面向移动节点定位的传感器网络预唤醒策略(英文)
刘玉恒
陈真勇
吴晶
熊璋
《软件学报》
EI
CSCD
北大核心
2009
1
18
基于聚类语言模型的生物文献检索技术研究
文健
李舟军
《中文信息学报》
CSCD
北大核心
2008
3
19
基于Dirichlet分布语言建模的信息检索技术研究
文健
李舟军
《计算机工程与科学》
CSCD
2008
1
20
密码芯片安全升级机制的研究
范明钰
王建华
王光卫
《计算机应用》
CSCD
北大核心
2004
0