Jinji Yang

According to our database, Jinji Yang authored at least 11 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A dual adaptive algorithm for matrix optimization with sparse group lasso regularization.

Jinji Yang, Jiang Hu, Chungen Shen

J. Glob. Optim., July, 2025

A Mutually Reinforcing Semi-supervised Active Learning Framework for Lung Surgical Section Image Classification.

Lewen Nie, Qizhi Huang, Gansen Zhao, Jinji Yang, Haiyu Zhou

Proceedings of the Advanced Intelligent Computing Technology and Applications, 2025

2024

Stability and co-existence state traveling wave solution for a general <i>N</i>-dimensional diffusive delayed Lotka-Volterra equation in a cylinder.

Yanling Tian, Shuyuan Shen, Jinji Yang

IMA J. Math. Control. Inf., 2024

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., May, 2023

Subscription-Based State Access for Cross-Chain Smart Contracts.

Zhihao Hou, Jinji Yang, Ruilin Lai, Yale He, Zefeng Mo, Gansen Zhao

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

2022

A Clinical Dataset and Various Baselines for Chromosome Instance Segmentation.

Runhua Huang, Chengchuang Lin, Aihua Yin, Hanbiao Chen, Li Guo, Gansen Zhao, Xiaomao Fan, Shuangyin Li, Jinji Yang

IEEE ACM Trans. Comput. Biol. Bioinform., 2022

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, Hua Tang, Haoyu Luo, Ziheng Zhou

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2019

基于概率模型的云辅助的轻量级无证书认证协议的形式化验证 (Formal Verification of Cloud-aided Lightweight Certificateless Authentication Protocol Based on Probabilistic Model).

Nunu Xia, Jinji Yang, Gansen Zhao, Xiaoshan Mo

计算机科学, 2019

Traveling wave solutions for a non-monotone Logistic equation in a cylinder.

Jinji Yang, Yanling Tian

Appl. Math. Lett., 2019

2010

Symbolic Model Checking the Knowledge in Herbivore Protocol.

Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

2008

Improving Encoding Efficiency for Bounded Model Checking.

Jinji Yang, Kaile Su, Qingliang Chen

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008