Qimin Hu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2006–2019
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICECCS | Apla Generic Constraint Matching Detection and Verification. | Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu |
| 2018 | ICFEM | PAR: A Practicable Formal Method and Its Supporting Platform. | Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng |
| 2006 | ISDA | Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. | Yujun Zheng, Qimin Hu, Jinyun Xue |