Xiangyu Jin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2001–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SETTA | HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes. | Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan |
| 2021 | RTAS | Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. | Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan |
| 2006 | SIGIR | Quantative analysis of the impact of judging inconsistency on the performance of relevance feedback. | Xiangyu Jin, James C. French, Jonathan Michel |
| 2002 | PG | On-Line Graphics Recognition. | Xiangyu Jin, Liu Wenyin, Jianyong Sun, Zhengxing Sun |
| 2001 | ICDAR | Smart Sketchpad - An On-line Graphics Recognition System. | Liu Wenyin, Wenjie Qian, Rong Xiao, Xiangyu Jin |