2006 | ||
---|---|---|
3 | EE | Xiaomao Wu, Lizhuang Ma, Can Zheng, Yanyun Chen, Ke-Sen Huang: On-Line Motion Style Transfer. ICEC 2006: 268-279 |
2003 | ||
2 | Hui Ding, Can Zheng, Lui Sha, Gul Agha: Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. SEKE 2003: 458-466 | |
1 | EE | Hui Ding, Can Zheng, Gul Agha, Lui Sha: Automated Verification of the Dependability of Object-Oriented Real-Time Systems. WORDS Fall 2003: 171-178 |
1 | Gul A. Agha (Gul Agha) | [1] [2] |
2 | Yanyun Chen | [3] |
3 | Hui Ding | [1] [2] |
4 | Ke-Sen Huang | [3] |
5 | Lizhuang Ma | [3] |
6 | Lui Sha | [1] [2] |
7 | Xiaomao Wu | [3] |