Yicheng Ni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2018–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | Foundational and Compositional Verification of Layered Concurrent Objects. | Yicheng Ni, Yuting Wang |
| 2024 | APLAS | Generic Reasoning of the Locally Nameless Representation. | Yicheng Ni, Yuting Wang |
| 2018 | ICANN | A Multi-channel Multi-classifier Method for Classifying Pancreatic Cystic Neoplasms Based on ResNet. | Haigen Hu, Kangjie Li, Qiu Guan, Feng Chen, Shengyong Chen, Yicheng Ni |