Jinji Yang

13 papers B 2Misc 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Escaping Local Minima Provably in Non-convex Matrix Sensing: A Deterministic Framework via Simulated Lifting.
CoRR
Tianqi Shen, Jinji Yang, Junze He, Kunhan Gao, Ziye Ma
2025 — conf
A Mutually Reinforcing Semi-supervised Active Learning Framework for Lung Surgical Section Image Classification.
ICIC (27)
Lewen Nie, Qizhi Huang, Gansen Zhao, Jinji Yang, Haiyu Zhou
2025 J jnl
A dual adaptive algorithm for matrix optimization with sparse group lasso regularization.
J. Glob. Optim.
Jinji Yang, Jiang Hu, Chungen Shen
2024 J jnl
Stability and co-existence state traveling wave solution for a general
IMA J. Math. Control. Inf.
Yanling Tian, Shuyuan Shen, Jinji Yang
2023 J jnl
Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode.
CoRR
Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang
2023 J jnl
Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode.
J. Syst. Softw.
Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang
2023 B conf
Subscription-Based State Access for Cross-Chain Smart Contracts.
ICPADS
Zhihao Hou, Jinji Yang, Ruilin Lai, Yale He, Zefeng Mo, Gansen Zhao
2022 J jnl
A Clinical Dataset and Various Baselines for Chromosome Instance Segmentation.
IEEE ACM Trans. Comput. Biol. Bioinform.
Runhua Huang, Chengchuang Lin, Aihua Yin, Hanbiao Chen, Li Guo, Gansen Zhao, Xiaomao Fan, Shuangyin Li, Jinji Yang
2022 B conf
EOSIOAnalyzer: An Effective Static Analysis Vulnerability Detection Framework for EOSIO Smart Contracts.
COMPSAC
Wenyuan Li, Jiahao He, Gansen Zhao, Jinji Yang, Shuangyin Li, Ruilin Lai, Ping Li, Hua Tang, Haoyu Luo, Ziheng Zhou
2019 J jnl
Traveling wave solutions for a non-monotone Logistic equation in a cylinder.
Appl. Math. Lett.
Jinji Yang, Yanling Tian
2019 J jnl
基于概率模型的云辅助的轻量级无证书认证协议的形式化验证 (Formal Verification of Cloud-aided Lightweight Certificateless Authentication Protocol Based on Probabilistic Model).
计算机科学
Nunu Xia, Jinji Yang, Gansen Zhao, Xiaoshan Mo
2010 — conf
Symbolic Model Checking the Knowledge in Herbivore Protocol.
MoChArt
Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang
2008 Misc conf
Improving Encoding Efficiency for Bounded Model Checking.
TASE
Jinji Yang, Kaile Su, Qingliang Chen