| 2009 | ||
|---|---|---|
| 4 | Yuchen Zhang, Xiaoming Sun: The antimagicness of the Cartesian product of graphs. Theor. Comput. Sci. 410(8-10): 727-735 (2009) | |
| 2003 | ||
| 3 | Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang: A systematic incrementalization technique and its application to hardware design. STTT 4(2): 211-223 (2003) | |
| 1999 | ||
| 2 | Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang: A Systematic Incrementalization Technique and Its Application to Hardware Design. CHARME 1999: 334-337 | |
| 1998 | ||
| 1 | Yuchen Zhang, Yanhong A. Liu: Automating Derivation of Incremental Programs. ICFP 1998: 350 | |
| 1 | Steven D. Johnson | [2] [3] |
| 2 | Yanhong A. Liu | [1] [2] [3] |
| 3 | Xiaoming Sun | [4] |