吕帅 计算机学院,刘磊-吉林大学计算机科学与技术学院

在《Journal of Systems and Software》、《Pattern Recognition》、《计算机学报》、《软件学报》等国内外期刊和会议上累计发表学术论文180余篇，其中：SCI检索论文40余篇、EI检索论文100余篇。

主要代表性学术论文(SCI检索学术论文、国内权威期刊论文)：

[36] Niu Dangdang, Liu Lei, Lü Shuai*. New stochastic local search approaches

for computing preferred extensions of abstract argumentation. AI Communications, 2018. (Accepted, SCI)

[35] Niu Dangdang, Liu Lei, Lü Shuai*, Xu Yue. Complementary knowledge compilation using the hyper extension rule. Chinese Journal of Electronics, 2018. (Accepted, SCI)

[34] 王强, 刘磊, 吕帅*. 基于扩展规则的启发式#SAT求解算法. 软件学报, 2018. (国内权威期刊, 已录用待发表, EI)

[33] Niu Dangdang, Liu Lei, Lü Shuai*. Knowledge compilation methods based on the clausal relevance and extension rule. Chinese Journal of Electronics, 2018. (Accepted, SCI)

[32]   杨洋, 刘磊, 李广力, 张桐搏, 吕帅*. 一种新的基于局部搜索的扩展规则推理方法. 计算机学报, 2018, 41(4): 825-839. (国内权威期刊)

[31]   牛当当, 刘磊, 吕帅*. EPCCL理论的并行知识编译算法. 电子学报, 2018, 46(3): 537-543. (国内权威期刊, EI)

[30] 胡小娟, 刘磊, 邱宁佳*. 基于主动学习和否定选择的垃圾邮件分类算法. 电子学报, 2018, 46(1): 203-209. (国内权威期刊, EI)

[29] Liu Yuzhou, Liu Lei, Liu Huaxiao*, Wang Xiaoyu, Yang Hongji. Mining domain knowledge from app descriptions. Journal of Systems and Software, 2017, 133: 126-144. (CCF-B, SCI: FJ3EX, EI: 20173504084283)

[28] 牛当当, 刘磊, 吕帅*. EPCCL理论的求交知识编译算法. 软件学报, 2017, 28(8): 2096-2112. (国内权威期刊, EI: 20174404332803)

[27] 郭德贵, 王冠成, 吕帅, 刘磊*. peC语言的部分求值器及在编译器测试中的应用. 软件学报, 2017, 28(5): 1221-1232. (国内权威期刊, EI: 20173304046256)

[26] Liu Lei, Yang Yang, Li Guangli, Wang Qi, Lü Shuai*. Redundancy checking algorithms based on parallel novel extension rule. Journal of Experimental & Theoretical Artificial Intelligence, 2017, 29(3): 629-647. (CCF-C, SCI: ES5XX, EI: 20163102654480)

[25] Zhang Peng, *Liu Lei, Zhang Rui, Li Guangli. Loss evaluation analysis of illegal attack in SCSKP. Soft Computing, 2017, 21(2): 515-524. (CCF-C, SCI: EI5KL, EI: 20153201124908)

[24] Liu Huaxiao, Liu Yuzhou, *Liu Lei. The verification of program relationships in the context of software cybernetics. Journal of Systems and Software, 2017, 124: 212-227. (CCF-B, SCI: EG1XH, EI: 20160701929585)[23] Zhang Rui, Guo Degui, Gao Wenjuan, *Liu Lei. Modeling ontology evolution via Pi-Calculus. Information Sciences, 2016, 346-347: 286-301. (CCF-B, SCI: DX4XH, EI: 20160902025337)

[22] 刘磊, 牛当当, *吕帅. 基于超扩展规则的知识编译方法.计算机学报, 2016, 39(8): 1681-1696. (国内权威期刊, EI: 20163402730022)

[21] Liu Lei, Zhang Peng, Fan Rong, *Zhang Rui, Yang Hongji. Modeling ontology evolution with SetPi. Information Sciences, 2014, 255: 155-169. (CCF-B, SCI: 252JP, EI: 20134416909445)

[20] 赵健, *刘磊, 潘欣. 模糊语义下知识系统的结构及信息传播的研究. 计算机学报, 2014, 37(8): 1669-1678. (国内权威期刊, EI: 201436063115)

[19] 张鹏, 刘磊, *刘华虓, 金英. Tabular表达式的指称语义研究. 软件学报, 2014, 25(6): 1212-1224. (国内权威期刊, EI: 20142617873955)

[18] Liu Lei, Liu Dongqing, *Lü Shuai, Zhang Peng. An abstract description method of Map-Reduce-Merge using Haskell. Mathematical Problems in Engineering, 2013, 147593: 1-12. (中科院JCR期刊分区-3区, SCI: 218CY, EI: 20134116825151)

[17] Liu Huaxiao, Ji Xiang, *Liu Lei. Metamodeling for two-dimensional description logics. Chinese Journal of Electronics, 2013, 22(2): 237-241. (SCI: 127MC, EI: 20131716236510)

[16] Zhao Jian, Liu Lei, *Hu Liang. Extended representation of the conceptual element in temporal context and the diachronism of the knowledge system. Knowledge-Based Systems, 2012, 33: 136-144. (CCF-C, SCI: 964TP, EI: 20122315087939)

[15] 吕帅, *刘磊, 魏唯, 高冰冰. 智能规划的逻辑编码方式研究. 计算机研究与发展, 2012, 49(3): 607-619. (国内权威期刊, EI: 20121514937769)

[14] 刘磊, 张鹏, 吕帅, *张睿. 基于演化传播模型的本体内聚程度分析. 电子学报, 2011, 39(8): 1845-1851. (国内权威期刊, EI: 20113914370870)

[13] Zhao Jian, *Liu Lei. Construction of concept granule based on rough set and representation of knowledge-based complex system. Knowledge-Based Systems, 2011, 24(6): 809-815. (CCF-C, SCI: 785JH, EI: 20112214012640)

[12] 周栩, *刘磊, 范任宏. 基于模式结构分类的本体映射方法. 电子学报, 2011, 39(4): 882-886. (国内权威期刊, EI: 20112714112096)

[11] 吕帅, *刘磊, 石莲, 魏唯, 杨超. 依赖公理约简的经典规划方法. 电子学报, 2011, 39(2): 322-328. (国内权威期刊, EI: 20111713935625)

[10] Liu Huawen, *Liu Lei, Zhang Huijie. A fast pruning redundant rule method using Galois connection. Applied Soft Computing, 2011, 11(1): 130-137. (中科院JCR期刊分区-2区, SCI: 647BR, EI: 20104213302104)

[9] 吕帅, *刘磊, 江鸿, 史晶晶. 一种约简动作变元的命题规划编码方式. 计算机研究与发展, 2010, 47(10): 1756-1763. (国内权威期刊, EI: 20104713409227)

[8] Liu Huawen, *Liu Lei, Zhang Huijie. Ensemble gene selection for cancer classification. Pattern Recognition, 2010, 43(8): 2763-2772. (CCF-B, SCI: 603CS, EI: 20101712887642)

[7] Liu Huawen, *Liu Lei, Zhang Huijie. Ensemble gene selection by grouping for microarray data classification. Journal of Biomedical Informatics, 2010, 43(1): 81-87. (SCI: 552QZ, EI: 20100412662947)

[6] 金英, 李泽鹏, 张晶, 刘磊. 多线程Java程序安全行为模型的静态检查方法. 计算机学报, 2009, 32(9): 1856-1868. (国内权威期刊, EI: 20094512438444)

[5] 吕帅, 刘磊, 李莹, 石莲. 基于模态逻辑D公理系统的Conformant规划方法. 计算机研究与发展, 2009, 46(7): 1160-1168. (国内权威期刊, EI: 20093012214145)

[4] Liu Huawen, Sun Jigui, *Liu Lei, Zhang Huijie. Feature selection with dynamic mutual information. Pattern Recognition, 2009, 42(7): 1330-1339. (CCF-B, SCI: 435TF, EI: 20091211975030)

[3] , Zong Changfu, Na Hsiao-hsiang, *Liu Lei. Investigations on control algorithm of steady-state cornering and control strategy for dynamical correction in a steer-by-wire system. Journal of Zhejiang University: Science A, 2009, 10(6): 900-908. (SCI: 451UV, EI: 20092512134756)

[2] 吕帅, *刘磊, 石莲, 李莹. 基于自动推理技术的智能规划方法. 软件学报, 2009, 20(5): 1226-1240. (国内权威期刊, EI: 20092212102159)

[1] Huawen Liu, *Lei Liu, Huijie Zhang. Boosting feature selection using information metric for classification. Neurocomputing, 2009, 73(1-3): 295-303. (CCF-C, SCI: 530QI, EI: 20094612446060)