| 2008 | ||
|---|---|---|
| 3 | Zheng Xioajuan, Jin Ying: Engineering Reform of Compiler Principles Course. CSSE (5) 2008: 667-670 | |
| 2003 | ||
| 2 | Zheng Xiaojuan, Xu Tao, Jin Ying: Formalizing Active Networks Security with Seal-Calculus. ISPA 2003: 391-404 | |
| 2002 | ||
| 1 | Jin Ying, Chengzhi Jin: Constraint-Based Partial Evaluation for Imperative Languages. J. Comput. Sci. Technol. 17(1): 64-72 (2002) | |
| 1 | Chengzhi Jin | [1] |
| 2 | Xu Tao | [2] |
| 3 | Zheng Xiaojuan | [2] |
| 4 | Zheng Xioajuan | [3] |