Jinji Yang

According to our database, Jinji Yang authored at least 8 papers between 2008 and 2023.

Collaborative distances:

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

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