Model Checking Using Tabled Rewriting. - Zhiyao Liang (IJCAR Doctoral Programme, 2004)

Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols. - Zhiyao Liang; Rakesh M. Verma (ARES, 2008)

Complexity of Checking Freshness of Cryptographic Protocols. - Zhiyao Liang; Rakesh M. Verma (ICISS, 2008)

Correcting and Improving the NP Proof for Cryptographic Protocol Insecurity. - Zhiyao Liang; Rakesh M. Verma (ICISS, 2009)

A New Method of Controlling IoT Devices Based on Cloud Storage Service. - Zhiyao Liang; Qiaoyang Zhang (AIMS@SERVICES, 2017)

Enterprise internationalisation performance evaluation model based on artificial neural network. - Guojun Yang; Xiaohu Zhou; Zhiyao Liang (Int. J. Embed. Syst., 2020)

Generating and Measuring Similar Sentences Using Long Short-Term Memory and Generative Adversarial Networks. - Zhiyao Liang; Shiru Zhang (IEEE Access, 2021)

A novel copy-move forgery detection algorithm via two-stage filtering. - Ji-Xiang Yang; Zhiyao Liang; Yanfen Gan; Junliu Zhong (Digit. Signal Process., 2021)

A Point Cloud Upsampling Adversarial Network Based on Residual Multi-Scale Off-Set Attention. - Bin Shen; Li Li 094; Xinrong Hu; Shengyi Guo; Jin Huang; Zhiyao Liang (Virtual Real. Intell. Hardw., 2023)

A Novel Copy-Move Forgery Detection Algorithm via Gradient-Hash Matching and Simplified Cluster-Based Filtering. - Ji-Xiang Yang; Zhiyao Liang; Jianqing Li 001; Yanfen Gan; Junliu Zhong (Int. J. Pattern Recognit. Artif. Intell., 2023)

Tropical cyclone trajectory based on satellite remote sensing prediction and time attention mechanism ConvLSTM model. - Tongfei Li; Mingzheng Lai; Shixian Nie; Haifeng Liu; Zhiyao Liang; Wei Lv (Big Data Res., 2024)

Tropical cyclone ensemble forecast framework based on spatiotemporal model. - Tongfei Li; Kaihua Che; Jiadong Lu; Yifan Zeng; Wei Lv; Zhiyao Liang (Earth Sci. Informatics, 2024)

HGTFM: Hierarchical Gating-Driven Transformer Fusion Model for Robust Multimodal Sentiment Analysis. - Chengcheng Yang; Zhiyao Liang; Dashun Yan; Zeng Hu; Ting Wu 010 (IEEE Access, 2025)

FA3-CLIP: Frequency-Aware Cues Fusion and Attack-Agnostic Prompt Learning for Unified Face Attack Detection. - Yongze Li; Ning Li; Ajian Liu 001; Hui Ma; Liying Yang; Xihong Chen; Zhiyao Liang; Yanyan Liang 001; Jun Wan 001; Zhen Lei 001 (IEEE Trans. Inf. Forensics Secur., 2025)

FA^{3}-CLIP: Frequency-Aware Cues Fusion and Attack-Agnostic Prompt Learning for Unified Face Attack Detection. - Yongze Li; Ning Li; Ajian Liu 001; Hui Ma; Liying Yang; Xihong Chen; Zhiyao Liang; Yanyan Liang 001; Jun Wan 001; Zhen Lei 001 (CoRR, 2025)