Haihe Shi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2011
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | TASE | A Generative Approach to Searching Algorithmic Programs Development. | Haihe Shi, Jinyun Xue |
| 2007 | ICCS | From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum. | Yujun Zheng, Haihe Shi, Jinyun Xue |
| 2007 | SNPD | Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. | Haihe Shi, Jinyun Xue |