Jinji Yang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2008–2023
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICPADS | Subscription-Based State Access for Cross-Chain Smart Contracts. | Zhihao Hou, Jinji Yang, Ruilin Lai, Yale He, Zefeng Mo, Gansen Zhao |
| 2022 | COMPSAC | 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 |
| 2008 | TASE | Improving Encoding Efficiency for Bounded Model Checking. | Jinji Yang, Kaile Su, Qingliang Chen |