学术活动
  2010-4-6
  2010-4-6
  2010-4-6
  2010-3-4
  2010-3-22
 

王立福    Wang Lifu







同名作者区分

王立福 Unknown王立福 北京大学
注:C-DBLP的重名区分功能部分使用了清华大学王建勇老师课题组提出的GHOST(GrapH-based framewOrk for name diStincTion)算法,在此表示感谢。
共检索到结果53条  被引59次[注:ScholarSpace内自引数]
查看王立福的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2013
53 马森 赵文 袁崇义 张世琨 王立福 . 基于规则推理的语义检索若干关键技术研究. 电子学报, 2013, (05): 977-982 0
52 赵文 刘学洋 张世琨 王立福 . 一种基于双随机数的RFID发现服务安全通信机制. 电子学报, 2013, (01): - 0
2011
51 赵文 刘学洋 刘殿兴 王立福 . 一种基于Trie树和扩展B树的RFID标签编码过滤方法研究. 电子学报, 2011, (S1): 0
2010
50 刘殿兴 赵文 李信鹏 冯志明 张世琨 王立福 . RFID信息服务网络中支持复合订阅的路由算法研究. 电子学报, 2010, (S1): 0
49 高昕 赵文 叶蔚 张世琨 王立福 . 一种基于时间序列的RFID供应链数据分析方法. 电子学报, 2010, (S1): 0
48 李信鹏 赵文 刘殿兴 袁崇义 张世琨 王立福 . 基于RFID发现服务的一种供应链建模技术. 电子学报, 2010, (S1): 0
47 赵文 李信鹏 刘殿兴 张世琨 王立福 . 供应链环境下一种分布式RFID发现服务. 电子学报, 2010, (S1): 2
2008
46 刘殿兴 赵文 邓鹏鹏 张世琨 王立福 . RFID信息服务中发布/订阅系统若干关键技术问题研究. 电子学报, 2008, (S1): 1
45 李信鹏 赵文 张世琨 王立福 . RFID网络中发现服务系统的一种形式化规约. 电子学报, 2008, (S1): 0
44 刘学洋 赵文 张世琨 王立福 . 基于P2P的RFID编码解析网络结构与算法研究. 电子学报, 2008, (S1): 1
43 顿海强 赵文 邓鹏鹏 张世琨 王立福 谭杰 . 一种基于RFID数据集的物品工作流挖掘方法. 电子学报, 2008, (S1): 2
42 叶蔚 黄雨 赵文 张世琨 王立福 . 基于Petri网的RFID中间件中复合事件检测研究. 电子学报, 2008, (S1): 2
41 陈振宇 陶志红 KLEINE BüNING Hans 王立福 . 变量极小不可满足在模型检测中的应用(英文). 软件学报, 2008, (01): 39-47 0
2007
40 周从华 陶志红 陈钟 王立福 . 基于时态逻辑的工作流分析. 计算机科学, 2007, 34 (11): 118-123 0
39 陶志红 周从华 陈钟 王立福 . CTL*的有界模型检测. , 2007, 22 (01): 0
2006
38 王映辉 王立福 张世琨 王琼芳 . 一种软件需求变化追踪方法. 电子学报, 2006, 34 (08): 1428-1432 2
37 黄星琪 王立福 赵文 张世琨 袁崇义 . 一种基于 Synchro-Net 的工作流过程挖掘算法. , 2006, 21 (01): 0
36 赵文 袁崇义 张世琨 王立福 . 一种模型驱动的工作流过程定义途径. 计算机科学, 2006, 33 (12): 10-15 1
35 陶志红 王立福 . 直接模型检测矩阵算法. , 2006, 21 (06): 0
34 闫哲 赵文 袁崇义 王立福 . 基于同步网的工作流过程变动问题研究. 电子学报, 2006, 34 (02): 226-231 0
2005
33 卫剑钒 陈钟 段云所 王立福 . 一种认证协议防御拒绝服务攻击的设计方法. 电子学报, 2005, 33 (02): 288-293 0
32 刘瑜 张世琨 王立福 . 连接件模型与分类研究. 计算机工程, 2005, 31 (03): 77-79 0
31 王映辉 张世琨 王立福 . 基于特征的领域构件高内聚控制. 计算机科学, 2005, 32 (07): 237-241 0
30 刘瑜 高勇 王映辉 邬伦 王立福 . 基于构件的地理工作流框架:一个方法学的探讨(英文). 软件学报, 2005, 16 (08): 1395-1406 0
29 王映辉 王立福 . 软件体系结构演化模型. 电子学报, 2005, 33 (08): 1381-1386 5
28 陶志红 Hans KleineBuing 张世琨 王立福 . Dining Cryptographer安全协议及工程分析. 电子学报, 2005, 33 (02): 262-265 0
2004
27 王映辉 张世琨 刘瑜 王立福 . 基于可达矩阵的软件体系结构演化波及效应分析. 软件学报, 2004, 15 (08): 1107-1115 6
26 王映辉 刘瑜 王立福 . 基于不动点转移的SA动态演化模型. 计算机学报, 2004, 27 (11): 1451-1456 1
25 张世琨 胡文蕙 陈兆良 王立福 . 领域变化性分类与控制机制研究. 电子学报, 2004, 32 (03): 446-451 1
24 黄星琪 张世琨 王立福 . 青鸟工作流管理系统监控工具的设计研究. 电子学报, 2004, (S1): 0
23 胡文蕙 赵文 张世琨 王立福 . 基于构件技术的应用框架元模型的研究. 软件学报, 2004, 15 (01): 1-8 2
22 赵文 袁崇义 刘刚 张世琨 王立福 . 基于P/T系统化简方法的工作流过程模型验证. 软件学报, 2004, 15 (10): 1423-1430 1
21 黄星琪 张世琨 王立福 . 青鸟工作流管理系统监控工具的设计研究. 电子学报, 2004, 32 (F12): 185-188 0
2003
20 赵文 胡文蕙 张世琨 王立福 . 工作流元模型的研究与应用. 软件学报, 2003, 14 (06): 1052-1059 6
19 闫强 陈钟 段云所 王立福 . 信息系统安全度量与评估模型. 电子学报, 2003, 31 (09): 1351-1355 1
18 刘瑜 张世琨 王立福 杨芙清 . 基于构件的软件框架与角色扩展形态研究. 软件学报, 2003, 14 (08): 1364-1370 4
2002
17 张世琨 王立福 杨芙清 . 基于层次消息总线的软件体系结构风格. , 2002, (): 393-401 3
16 张世琨 王立福 杨芙清 . 基于层次消息总线的软件体系结构风格. 中国科学F辑, 2002, 32 (03): 393-400 0
2001
15 张世琨 王立福 常欣 杨芙清 . 基于层次消息总线的软件体系结构描述语言. 电子学报, 2001, 29 (05): 581-584 1
14 张世琨 张文娟 常欣 王立福 杨芙清 . 基于软件体系结构的可复用构件制作和组装. 软件学报, 2001, 12 (09): 1351-1359 9
13 方菲 孙家骕 王立福 杨芙清 . 面向对象软件回归测试技术研究. 软件学报, 2001, 12 (03): 372-376 1
2000
12 张世琨 王立福 冯慧 杨芙清 . 标准接口仪器测试应用软件辅助开发工具. , 2000, (06): 767-770 0
11 张世琨 王立福 杨芙清 . 基于COTS构件的系统开发. 计算机科学, 2000, 27 (01): 6-9 3
1999
10 顾玉良 王立福 . 面向对象软件测试过程研究. 计算机科学, 1999, 26 (04): 75-80 0
9 方菲 王立福 杨芙清 . 基于测试执行的失效数据建模研究. 软件学报, 1999, 10 (12): 1233-1237 0
8 顾玉良 王立福 . 界面类对象测试建模技术研究. , 1999, 25 (07): 21-24 3
7 顾玉良 王立福 吕慧颖 . 面向对象软件测试的关键问题及对策. 计算机科学, 1999, 26 (11): 1-6 0
6 王立福 陈钟 . 信息安全设计框架与安全保护等级划分. 计算机工程, 1999, (01): 0
1997
5 刘昱 王立福 . CAT图形化编程的对象模型. 计算机研究与发展, 1997, 34 (04): 316-320 1
4 刘昱 王立福 . 一种面向图形化编程的软件设计方法. 计算机科学, 1997, 24 (01): 73-77 0
1995
3 王立福 阮闯 杨芙清 . OOSDM的对象模型与系统构造. 软件学报, 1995, 6 (11): 699-705 0
2 梅宏 王立福 杨芙清 . 面向对象程序设计语言研究现状. 电子学报, 1995, 23 (10): 50-56 0
1982
1 SusanOwicki DavidGries 魏际畏 王立福 . 并行程序的一个公理化证明技术. 计算机科学, 1982, (05): 0

DBLP检索到的论文列表

No. Paper Inforamtion
2012
1 Kai Wang, Lifu Wang, Jian Lu, Yi Sun, Shuping Zhao, A GPU-based implementation on super-resolution reconstruction. ICIP, 2012
2011
0 Jinan Sun, Yu Huang 0004, Xin Gao, Shikun Zhang, Lifu Wang, Chong-Yi Yuan, A Novel Method for Formally Detecting RFID Event Using Petri Nets. SEKE, 2011
2008
-1 Haiqiang Dun, Haiying Xu, Lifu Wang, Transformation of BPEL Processes to Petri Nets. TASE, 2008
-2 Haiqiang Dun, Wen Zhao, Yu Huang 0004, Shikun Zhang, Lifu Wang, Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet. APSEC, 2008
-3 Lifu Wang, Partha Dasgupta, Coprocessor-based hierarchical trust management for software integrity and digital identity protection. Journal of Computer Security, 2008, Journal of Computer Security, 16(3): 311-339

合作作者列表

1 DavidGries [1]  
2 Hans KleineBuing [28]  
3 KLEINE BüNING Hans [41]  
4 SusanOwicki [1]  
5 冯志明 [50]  
6 冯慧 [12]  
7 刘刚 [22]  
8 刘学洋 [52]   [44]  [51]  
9 刘昱 [5]   [4]  
10 刘殿兴 [46]   [47]  [48]  [50]  [51]  
11 刘瑜 [18]   [32]  [27]  [30]  [26]  
12 卫剑钒 [33]  
13 叶蔚 [42]   [49]  
14 吕慧颖 [7]  
15 周从华 [40]   [39]  
16 孙家骕 [13]  
17 常欣 [14]   [15]  
18 张世琨 [14]   [20]  [18]  [11]  [23]  [22]  [32]  [36]  [27]  [31]  [15]  [21]  [25]  [28]  [38]  
[16]  [17]  [12]  [37]  [52]  [53]  [24]  [42]  [45]  [43]  [46]  [44]  [47]  [49]  [48]  [50]  
19 张文娟 [14]  
20 方菲 [9]   [13]  
21 李信鹏 [45]   [47]  [48]  [50]  
22 杨芙清 [3]   [14]  [18]  [11]  [9]  [13]  [2]  [15]  [16]  [17]  [12]  
23 梅宏 [2]  
24 段云所 [19]   [33]  
25 王映辉 [27]   [30]  [26]  [31]  [29]  [38]  
26 王琼芳 [38]  
27 胡文蕙 [20]   [23]  [25]  
28 袁崇义 [22]   [36]  [34]  [37]  [53]  [48]  
29 谭杰 [43]  
30 赵文 [20]   [23]  [22]  [36]  [34]  [37]  [52]  [53]  [42]  [45]  [43]  [46]  [44]  [47]  [49]  
[48]  [50]  [51]  
31 邓鹏鹏 [43]   [46]  
32 邬伦 [30]  
33 闫哲 [34]  
34 闫强 [19]  
35 阮闯 [3]  
36 陈兆良 [25]  
37 陈振宇 [41]  
38 陈钟 [6]   [40]  [19]  [33]  [39]  
39 陶志红 [41]   [40]  [28]  [35]  [39]  
40 顾玉良 [10]   [7]  [8]  
41 顿海强 [43]  
42 马森 [53]  
43 高勇 [30]  
44 高昕 [49]  
45 魏际畏 [1]  
46 黄星琪 [21]   [37]  [24]  
47 黄雨 [42]  

单位历史信息

北京大学计算机科学技术系 (1995--2005)
北京大学信息科学技术学院 (2003--2013)
北京大学计算机科学与技术系 (1995--2001)

说明: 作者的单位历史信息是根据本系统中论文的单位信息采用算法自动计算得到,部分信息可能不准确,仅供参考。