(1) Liu, Yuzhou; Liu, Lei; Liu, Huaxiao (*); Wang, Xiaoyu; Yang, Hongji, Mining domain knowledge from app descriptions , Journal of Systems and Software, 2017.11, 133: 126~144 (CCF B区期刊 通讯作者)
(2) 刘华虓; 刘宇舟; 刘磊 , The verification of program relationships in the context of software cybernetics, Journal of Systems and Software, 2017.02.01, 124(2017): 212~227 (CCF B区期刊)
(3) Yuzhou Liu, Lei Liu, Huaxiao Liu (*), and Xiaoyu Wang, Analyzing Reviews Guided by App Descriptions for the software Development and Evolution, Journal of Software: Evolution and Process, 二审中 (CCF B区期刊 通讯作者)
(4) Yuzhou Liu, Lei Liu, Huaxiao Liu (*), Xinglong Yin, Hongji Yang,App Store Mining for Domain Analysis: Combine App descriptions with user Reviews,IEEE Transactions on Software Engineering,在投
(5).张鹏,刘磊,刘华虓*,金英,Tabular表达式的指称语义研究,软件学报2014(06),1212-1224
(6).Huaxiao Liu, Xiang Ji, Lei Liu,Metamodeling for Two-Dimensional Description Logics[J] Chinese Journal of Electronics,2013, 22(2), pp237-241
(7).金英,刘华虓*,张鹏,一种面向方面需求模型的分析与验证方法[J] 计算机学报 2013, 36(1): 63-73
(8).刘华虓,金英,马鹏飞,一种需求变更影响分析方法[J] 计算机研究与发展,2013, 50(8):1769-1777