Jinji Yang

According to our database1, Jinji Yang authored at least 9 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Stability and co-existence state traveling wave solution for a general <i>N</i>-dimensional diffusive delayed Lotka-Volterra equation in a cylinder.
IMA J. Math. Control. Inf., 2024

2023
Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode.
J. Syst. Softw., May, 2023

Subscription-Based State Access for Cross-Chain Smart Contracts.
Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

2022
A Clinical Dataset and Various Baselines for Chromosome Instance Segmentation.
IEEE ACM Trans. Comput. Biol. Bioinform., 2022

EOSIOAnalyzer: An Effective Static Analysis Vulnerability Detection Framework for EOSIO Smart Contracts.
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).
计算机科学, 2019

Traveling wave solutions for a non-monotone Logistic equation in a cylinder.
Appl. Math. Lett., 2019

2010
Symbolic Model Checking the Knowledge in Herbivore Protocol.
Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

2008
Improving Encoding Efficiency for Bounded Model Checking.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008


  Loading...