An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation. - Deepak Kapur; Paliath Narendran; Lida Wang (RTA, 2003)

A Unification Algorithm for Analysis of Protocols with Blinded Signatures. - Deepak Kapur; Paliath Narendran; Lida Wang (Mechanizing Mathematical Reasoning, 2005)

A New User Segmentation Model for E-Government. - Ran Tang; Zhenji Zhang; Xiaolan Guan; Lida Wang (J. Electron. Commer. Organ., 2013)

Design of High Temperature Anticorrosion Diagnosis System for Atmospheric and Vacuum Distillation Unit Based on Forcecontrol and SQL Sever2014. - Liang Zhao 015; Zexin Zhang; Lida Wang; Guichang Liu (CACRE, 2020)

FunEffector-Pred: Identification of Fungi Effector by Activate Learning and Genetic Algorithm Sampling of Imbalanced Data. - Chao Wang 043; Pingping Wang; Shuguang Han; Lida Wang; Yuming Zhao; Liran Juan (IEEE Access, 2020)

Exploration of the correlation between GPCRs and drugs based on a learning to rank algorithm. - Xiaoqing Ru; Lida Wang; Lihong Li 005; Hui Ding 005; Xiucai Ye; Quan Zou 001 (Comput. Biol. Medicine, 2020)

Mechanism of breast cancer immune microenvironment in prognosis of heart failure. - Lida Wang; Xiaolei Ding; Xun Qiu (Comput. Biol. Medicine, 2023)