Detecting Malware Variants by Byte Frequency. - Sheng Yu; Shijie Zhou 002; Leyuan Liu 002; Rui Yang; Jiaqing Luo (J. Networks, 2011)

Formal Verification of Communicating HSTM Designs. - Leyuan Liu 002; Weiqiang Kong; Shijie Zhou 002; Zhiguang Qin; Akira Fukuda (CIT, 2012)

On Accelerating SMT-based Bounded Model Checking of HSTM Designs. - Weiqiang Kong; Leyuan Liu 002; Yoriyuki Yamagata; Kenji Taguchi 001; Hitoshi Ohsaki; Akira Fukuda (APSEC, 2012)

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. - Weiqiang Kong; Leyuan Liu 002; Takahiro Ando; Hirokazu Yatsu; Kenji Hisazumi; Akira Fukuda (APSEC (1), 2013)

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. - Weiqiang Kong; Leyuan Liu 002; Takahiro Ando; Hirokazu Yatsu; Kenji Hisazumi; Akira Fukuda (Comput. J., 2015)

Unsupervised User Identity Linkage via Graph Neural Networks. - Fan Zhou 002; Zijing Wen; Ting Zhong; Goce Trajcevski; Xovee Xu; Leyuan Liu 002 (GLOBECOM, 2020)

HGENA: A Hyperbolic Graph Embedding Approach for Network Alignment. - Fan Zhou 002; Ce Li 003; Xovee Xu; Leyuan Liu 002; Goce Trajcevski (GLOBECOM, 2021)

Adaptive Optimization of Dynamic Heterogeneous Network Topologies: A Simulated Annealing Methodology. - Ming Zhuo; Peng Yang; Junyi Chen; Leyuan Liu 002; Chenrui Liu (ICAIS (2), 2022)

A High-Utility Differentially Private Mechanism for Space Information Networks. - Ming Zhuo; Wen Huang 002; Leyuan Liu 002; Shijie Zhou 002; Zhiwen Tian (Remote. Sens., 2022)

Enhancing Information Diffusion Prediction with Self-Supervised Disentangled User and Cascade Representations. - Zhangtao Cheng; Wenxue Ye; Leyuan Liu 002; Wenxin Tai; Fan Zhou 002 (CIKM, 2023)

Towards Trustworthy Rumor Detection with Interpretable Graph Structural Learning. - Leyuan Liu 002; Junyi Chen; Zhangtao Cheng; Wenxin Tai; Fan Zhou 002 (CIKM, 2023)

Self-Supervised Rumor Detection with Augmented Variational Graphs. - Leyuan Liu 002; Junyi Chen; Liu Yu 001; Fan Zhou 002 (GLOBECOM, 2023)

Local Cluster-Aware Attention for Non-Euclidean Structure Data. - Ming Zhuo; Yunzhuo Liu; Leyuan Liu 002; Shijie Zhou 002 (Symmetry, 2023)

Interpreting Temporal Knowledge Graph Reasoning (Student Abstract). - Bin Chen; Kai Yang; Wenxin Tai; Zhangtao Cheng; Leyuan Liu 002; Ting Zhong; Fan Zhou 002 (AAAI, 2024)

Denoising Propagation Uncertainty for Information Source Localization. - Leyuan Liu 002; Zhangtao Cheng; Xovee Xu; Fan Zhou 002 (GLOBECOM, 2024)

You Only Query Twice: Multimodal Rumor Detection via Evidential Evaluation from Dual Perspectives. - Junyi Chen; Leyuan Liu 002; Tian Lan 005; Fan Zhou 002; Xiaosong Zhang (COLING, 2025)

Unsupervised extractive opinion summarization based on text simplification and sentiment guidance. - Rui Wang; Tian Lan 005; Zufeng Wu; Leyuan Liu 002 (Expert Syst. Appl., 2025)

Do not wait: Preemptive rumor detection with cooperative LLMs and accessible social context. - Junyi Chen; Leyuan Liu 002; Fan Zhou 002 (Inf. Process. Manag., 2025)