Zhao Duan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICASSP | Spatial Similarity Guidance for Few-Shot Segmentation. | Xiaoliu Luo, Zhao Duan, Taiping Zhang |
| 2022 | ICASSP | Pseudo-Interacting Guided Network for Few-Shot Segmentation. | Xiaoliu Luo, Jing Luo, Zhao Duan, Jin Tan, Taiping Zhang |
| 2021 | IJCNN | Target-aware for Few-shot Segmentation. | Xiaoliu Luo, Taiping Zhang, Zhao Duan, Jin Tan |
| 2018 | ICSE | Accelerating counterexample detection in software model checking. | Cong Tian, Zhao Duan, Zhenhua Duan |
| 2018 | TACAS | InterpChecker: Reducing State Space via Interpolations - (Competition Contribution). | Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong |
| 2017 | ICFEM | Verifying Temporal Properties of C Programs via Lazy Abstraction. | Zhao Duan, Cong Tian, Zhenhua Duan |