| |
| 2008 | ||
|---|---|---|
| 4 | EE | Haihe Shi, Jinyun Xue, Dawei Du: A Mechanical Approach for Deriving Algorithmic Programs. ACIS-ICIS 2008: 483-487 |
| 3 | EE | Haihe Shi, Dawei Du, Jinyun Xue: Generating Algorithms plus Loop Invariants by Formal Derivation. ACIS-ICIS 2008: 496-501 |
| 2007 | ||
| 2 | EE | Yujun Zheng, Haihe Shi, Jinyun Xue: From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum. International Conference on Computational Science (3) 2007: 469-476 |
| 1 | EE | Haihe Shi, Jinyun Xue: Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. SNPD (3) 2007: 952-957 |
| 1 | Dawei Du | [3] [4] |
| 2 | Jinyun Xue | [1] [2] [3] [4] |
| 3 | Yujun Zheng | [2] |