Information Flow Security for Interactive Systems. - Ying Jin 002; Lei Liu 040; Xiaojuan Zheng (EUC, 2005)

A Model Transformation Based Conceptual Framework for Ontology Evolution. - Longfei Jin; Lei Liu 040; Dong Yang (KES (1), 2005)

Operational semantics of ambient calculus. - Jing Zhang 005; Ying Jin 002; Degui Guo; Lei Liu 040; Chengzhi Jin (SOSE, 2005)

A DDL-Based Software Architecture Model. - Meiling Wang; Lei Liu 040 (Asia-Pacific Computer Systems Architecture Conference, 2006)

A Pi-Calculus Based Ontology Change Management. - Meiling Wang; Lei Liu 040 (ASWC, 2006)

An Ontology Definition Metamodel based Ripple-Effect Analysis Method for Ontology Evolution. - Longfei Jin; Lei Liu 040 (CSCWD, 2006)

A Description Method of Ontology Change Management Using Pi-Calculus. - Meiling Wang; Longfei Jin; Lei Liu 040 (KSEM, 2006)

An Ontology Slicing Method Based on Ontology Definition Metamodel. - Longfei Jin; Lei Liu 040 (BIS, 2007)

Automatic Generation and Enforcement of Security Contract for Pervasive Application. - Ying Jin 002; Zepeng Li; Da Wei; Lei Liu 040 (EUC (2), 2008)

A Novel Wavelet Image Fusion Algorithm Based on Chaotic Neural Network. - Hong Zhang; Yan Cao; Yan-feng Sun; Lei Liu 040 (FAW, 2008)

Image Fusion Algorithm Using RBF Neural Networks. - Hong Zhang; Xiao-nan Sun; Lei Zhao; Lei Liu 040 (HAIS, 2008)

An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting. - Hong Zhang; Lei Liu 040 (ISECS, 2008)

Feature Selection Using Mutual Information: An Experimental Study. - Huawen Liu; Lei Liu 040; Huijie Zhang (PRICAI, 2008)

Boosting feature selection using information metric for classification. - Huawen Liu; Lei Liu 040; Huijie Zhang (Neurocomputing, 2009)

Feature selection with dynamic mutual information. - Huawen Liu; Jigui Sun; Lei Liu 040; Huijie Zhang (Pattern Recognit., 2009)

Extended Pawlak's Flow Graphs and Information Theory. - Huawen Liu; Jigui Sun; Huijie Zhang; Lei Liu 040 (Trans. Comput. Sci., 2009)

Strategies Prediction and Combination of Multi-strategy Ontology Mapping. - Rujuan Wang; Jingyi Wu; Lei Liu 040 (ICICA (2), 2010)

Adaptive rigid control of a rigid manipulator handling a flexible payload. - Lei Liu 040; Hua Chai; Yuanchun Li (ICNC, 2010)

Ensemble gene selection by grouping for microarray data classification. - Huawen Liu; Lei Liu 040; Huijie Zhang (J. Biomed. Informatics, 2010)

Ensemble gene selection for cancer classification. - Huawen Liu; Lei Liu 040; Huijie Zhang (Pattern Recognit., 2010)

Reconciling Requirements and Implementation via Reengineering for Context-Aware Service Evolution. - Jianchu Huang; Hongji Yang; Lei Liu 040 (COMPSAC Workshops, 2011)

A Fault-Tolerant Processing Method and Strategy of Web Service Composition. - Yang Dong; Lei Liu 040; Manuel Bernal Llinares (CSEE (4), 2011)

Matching Web Services Based on Semantic Similarity. - Xiang Ji; Yongqing Li; Lei Liu 040; Rui Zhang 084 (CSEE (2), 2011)

A fast pruning redundant rule method using Galois connection. - Huawen Liu; Lei Liu 040; Huijie Zhang (Appl. Soft Comput., 2011)

Construction of concept granule based on rough set and representation of knowledge-based complex system. - Jian Zhao; Lei Liu 040 (Knowl. Based Syst., 2011)

SVM-based ontology matching approach. - Lei Liu 040; Feng Yang; Peng Zhang 053; Jing-Yi Wu; Liang Hu 001 (Int. J. Autom. Comput., 2012)

Extended representation of the conceptual element in temporal context and the diachronism of the knowledge system. - Jian Zhao; Lei Liu 040; Liang Hu 001 (Knowl. Based Syst., 2012)

An Ontology-Based Advisement Approach for SOA Design Patterns. - Lei Liu 040; Pinxin Miao; Luka Pavlic; Marjan Hericko; Rui Zhang (KMO, 2013)

Modeling ontology evolution with SetPi. - Lei Liu 040; Peng Zhang 053; Rong Fan; Rui Zhang 040; Hongji Yang (Inf. Sci., 2014)

A Kind of Safety Requirements Description Method of the Embedded Software Based on Ontology. - Fengjie Zhan; Xiaoyu Wang; Huaxiao Liu; Lei Liu 040 (APRES, 2015)

Security analysis model, system architecture and relational model of enterprise cloud services. - Dangdang Niu; Lei Liu 040; Xin Zhang; Shuai Lü 001; Zhuang Li (Int. J. Autom. Comput., 2016)

Modeling ontology evolution via Pi-Calculus. - Rui Zhang; Degui Guo; Wenjuan Gao; Lei Liu 040 (Inf. Sci., 2016)

一种服务消息交互行为的元建模方法 (Meta-modeling Approach of Message Interaction in Service). - Wenbo Zhou; Hongjia Liu; Lei Liu 040; Peng Zhang 053; Shuai Lv 001 (计算机科学, 2017)

The verification of program relationships in the context of software cybernetics. - Huaxiao Liu; Yuzhou Liu; Lei Liu 040 (J. Syst. Softw., 2017)

Mining domain knowledge from app descriptions. - Yuzhou Liu; Lei Liu 040; Huaxiao Liu; Xiaoyu Wang; Hongji Yang (J. Syst. Softw., 2017)

Loss evaluation analysis of illegal attack in SCSKP. - Peng Zhang 053; Lei Liu 040; Rui Zhang 040; Guangli Li (Soft Comput., 2017)

A Constraint-Based Model for Virtual Machine Data Access Control in Cloud Platform. - Zhixin Li 005; Lei Liu 040; Xin Wang (ICPCSEE (1), 2018)

Verification of Program by Inspecting Internal Relations Relying on User Requirements. - Yuzhou Liu; Lei Liu 040; Huaxiao Liu; Hongji Yang (IEEE Access, 2018)

New stochastic local search approaches for computing preferred extensions of abstract argumentation. - Dangdang Niu; Lei Liu 040; Shuai Lü 001 (AI Commun., 2018)

SDAC: A model for analysis of the execution semantics of data processing framework in cloud. - Wenbo Zhou; Lei Liu 040; Peng Zhang 053; Shuai Lü 001; Jingyao Li (Comput. Lang. Syst. Struct., 2018)

Analyzing reviews guided by App descriptions for the software development and evolution. - Yuzhou Liu; Lei Liu 040; Huaxiao Liu; Xiaoyu Wang (J. Softw. Evol. Process., 2018)

Information Recommendation Based on Domain Knowledge in App Descriptions for Improving the Quality of Requirements. - Yuzhou Liu; Lei Liu 040; Huaxiao Liu; Suji Li (IEEE Access, 2019)

Augmenting Negation Normal Form With Irrelevant Variables. - Dangdang Niu; Lei Liu 040; Shuai Lü 001 (IEEE Access, 2019)

An Executable Specification of Map-Join-Reduce Using Haskell. - Junqi Ren; Lei Liu 040; Feng Liu; Wenbo Zhou; Shuai Lü 001 (IEEE Access, 2019)

A Method of Automatically Evolving Feature Models of Software Product Lines. - Junqi Ren; Lei Liu 040; Peng Zhang 053; Wenbo Zhou (IEEE Access, 2019)

Toward Formal Modeling and Verification of Resource Provisioning as a Service in Cloud. - Wenbo Zhou; Lei Liu 040; Shuai Lü 001; Peng Zhang 053 (IEEE Access, 2019)

App store mining for iterative domain analysis: Combine app descriptions with user reviews. - Yuzhou Liu; Lei Liu 040; Huaxiao Liu; Xinglong Yin (Softw. Pract. Exp., 2019)

A Coloured Petri Nets Based Attack Tolerance Framework. - Wenbo Zhou; Philippe Dague; Lei Liu 040; Lina Ye; Fatiha Zaïdi (APSEC, 2020)

Recommending Security Requirements for the Development of Android Applications Based on Sensitive APIs. - Yuzhou Liu; Lei Liu 040; Huaxiao Liu; Shanquan Gao; Guohang Song (IEEE Access, 2020)

Combining goal model with reviews for supporting the evolution of apps. - Yuzhou Liu; Lei Liu 040; Huaxiao Liu; Shanquan Gao (IET Softw., 2020)

Updating the goal model with user reviews for the evolution of an app. - Shanquan Gao; Lei Liu 040; Yuzhou Liu; Huaxiao Liu; Yihui Wang (J. Softw. Evol. Process., 2020)

Tabular-expression-based method for constructing metamorphic relations. - Jingyao Li; Lei Liu 040; Peng Zhang 053 (Softw. Pract. Exp., 2020)

Understanding the Runtime Overheads of Deep Learning Inference on Edge Devices. - Xiu Ma; Guangli Li; Lei Liu 040; Huaxiao Liu; Lei Liu 030; Xiaobing Feng 002 (ISPA/BDCloud/SocialCom/SustainCom, 2021)

API recommendation for the development of Android App features based on the knowledge mined from App stores. - Shanquan Gao; Lei Liu 040; Yuzhou Liu; Huaxiao Liu; Yihui Wang (Sci. Comput. Program., 2021)

App recommendation based on both quality and security. - Shanquan Gao; Lei Liu 040; Yuzhou Liu; Huaxiao Liu; Yihui Wang; Peixun Liu (J. Softw. Evol. Process., 2021)

Application programming interface recommendation according to the knowledge indexed by app feature mined from app stores. - Lei Liu 040; Xun Li; Yuzhou Liu; Huaxiao Liu (J. Softw. Evol. Process., 2021)

Accelerating deep neural network filter pruning with mask-aware convolutional computations on modern CPUs. - Xiu Ma; Guangli Li; Lei Liu 040; Huaxiao Liu; Xueying Wang 003 (Neurocomputing, 2022)

Find potential partners: A GitHub user recommendation method based on event data. - Shuotong Bai; Lei Liu 040; Huaxiao Liu; Mengxi Zhang; Chenkun Meng; Peng Zhang 053 (Inf. Softw. Technol., 2022)

FlexPDA: A Flexible Programming Framework for Deep Learning Accelerators. - Xiu Ma; Huaxiao Liu; Guang-Li Li; Lei Liu 040 (J. Comput. Sci. Technol., 2022)

Missing standard features compared with similar apps? A feature recommendation method based on the knowledge from user interface. - Yihui Wang; Shanquan Gao; Xingtong Li; Lei Liu 040; Huaxiao Liu (J. Syst. Softw., 2022)

A method to acquire cross-domain requirements based on Syntax Direct Technique. - Huaxiao Liu; Mengxi Zhang; Lei Liu 040; Zhou Liu (Softw. Pract. Exp., 2022)

A lightweight API recommendation method for App development based on multi-objective evolutionary algorithm. - Xun Li; Lei Liu 040; Yuzhou Liu; Huaxiao Liu (Sci. Comput. Program., 2023)

Describing the APIs comprehensively: Obtaining the holistic representations from multiple modalities data for different tasks. - Xun Li; Lei Liu 040; Zhiqi Chen; Yuzhou Liu; Huaxiao Liu (Inf. Softw. Technol., 2023)

Automating discussion structure re-organization for GitHub issues. - Shuotong Bai; Lei Liu 040; Chenkun Meng; Huaxiao Liu (Expert Syst. Appl., 2023)

CoAxNN: Optimizing on-device deep learning with conditional approximate neural networks. - Guangli Li; Xiu Ma; Qiuchu Yu; Lei Liu 040; Huaxiao Liu; Xueying Wang 003 (J. Syst. Archit., 2023)

A Power Optimization Approach for Large-scale RM-TB Dual Logic Circuits Based on an Adaptive Multi-Task Intelligent Algorithm. - Xiaoqian Wu; Huaxiao Liu; Peng Wang 192; Lei Liu 040; Zhenxue He (ACM Trans. Design Autom. Electr. Syst., 2024)

Improving Issue-PR Link Prediction via Knowledge-Aware Heterogeneous Graph Learning. - Shuotong Bai; Huaxiao Liu; Enyan Dai; Lei Liu 040 (IEEE Trans. Software Eng., 2024)

CLG: Automated checklist generation for improved pull request quality. - Shuotong Bai; Chenkun Meng; Guodong Li; Huaxiao Liu; Lei Liu 040 (Expert Syst. Appl., 2025)

Detecting Android malware: A multimodal fusion method with fine-grained feature. - Xun Li; Lei Liu 040; Yuzhou Liu; Huaxiao Liu (Inf. Fusion, 2025)

API comparison based on the non-functional information mined from Stack Overflow. - Zhiqi Chen; Yuzhou Liu; Lei Liu 040; Huaxiao Liu; Ren Li; Peng Zhang 053 (Sci. Comput. Program., 2025)

Multimodal Fusion for Android Malware Detection Based on Large Pre-Trained Models. - Xun Li; Lei Liu 040; Yuzhou Liu; Yu Zhao 010; Peng Zhang 053; Huaxiao Liu (IEEE Trans. Software Eng., 2025)

An Area Optimization Approach for Large-Scale RM-TB Dual Logic Circuits Based on a Multitasking Optimization Algorithm. - Xiaoqian Wu; Peng Wang 192; Shaoquan Li; Huaxiao Liu; Lei Liu 040 (IEEE Trans. Computers, 2025)