![]() |
| 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] |