Improving Encoding Efficiency for Bounded Model Checking. - Jinji Yang; Kaile Su; Qingliang Chen (TASE, 2008)

Symbolic Model Checking the Knowledge in Herbivore Protocol. - Xiangyu Luo; Kaile Su; Ming Gu; Lijun Wu 001; Jinji Yang (MoChArt, 2010)

Traveling wave solutions for a non-monotone Logistic equation in a cylinder. - Jinji Yang; Yanling Tian (Appl. Math. Lett., 2019)

基于概率模型的云辅助的轻量级无证书认证协议的形式化验证 (Formal Verification of Cloud-aided Lightweight Certificateless Authentication Protocol Based on Probabilistic Model). - Nunu Xia; Jinji Yang; Gansen Zhao; Xiaoshan Mo (计算机科学, 2019)

EOSIOAnalyzer: An Effective Static Analysis Vulnerability Detection Framework for EOSIO Smart Contracts. - Wenyuan Li; Jiahao He; Gansen Zhao; Jinji Yang; Shuangyin Li; Ruilin Lai; Ping Li 018; Hua Tang; Haoyu Luo; Ziheng Zhou (COMPSAC, 2022)

A Clinical Dataset and Various Baselines for Chromosome Instance Segmentation. - Runhua Huang; Chengchuang Lin; Aihua Yin; Hanbiao Chen; Li Guo 019; Gansen Zhao; Xiaomao Fan; Shuangyin Li; Jinji Yang (IEEE ACM Trans. Comput. Biol. Bioinform., 2022)

Subscription-Based State Access for Cross-Chain Smart Contracts. - Zhihao Hou; Jinji Yang; Ruilin Lai; Yale He; Zefeng Mo; Gansen Zhao (ICPADS, 2023)

Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode. - Jiahao He; Shuangyin Li; Xinming Wang; Shing-Chi Cheung; Gansen Zhao; Jinji Yang (J. Syst. Softw., 2023)

Stability and co-existence state traveling wave solution for a general N-dimensional diffusive delayed Lotka-Volterra equation in a cylinder. - Yanling Tian; Shuyuan Shen; Jinji Yang (IMA J. Math. Control. Inf., 2024)

A Mutually Reinforcing Semi-supervised Active Learning Framework for Lung Surgical Section Image Classification. - Lewen Nie; Qizhi Huang; Gansen Zhao; Jinji Yang; Haiyu Zhou (ICIC (27), 2025)

A dual adaptive algorithm for matrix optimization with sparse group lasso regularization. - Jinji Yang; Jiang Hu; Chungen Shen (J. Glob. Optim., 2025)