| 2007 | ||
|---|---|---|
| 4 | EE | Ming Shao, Zhenyu Liu, Satoshi Goto, Takeshi Ikenaga: Lossless VLSI Oriented Full Computation Reusing Algorithm for H.264/AVC Fractional Motion Estimation. IEICE Transactions 90-A(4): 756-763 (2007) |
| 2005 | ||
| 3 | EE | Xiaowei Li, Guanghui Li, Ming Shao: Formal Verification Techniques Based on Boolean Satisfiability Problem. J. Comput. Sci. Technol. 20(1): 38-47 (2005) |
| 2003 | ||
| 2 | EE | Guanghui Li, Ming Shao, Xiaowei Li: Design Error Diagnosis Based on Verification Techniques. Asian Test Symposium 2003: 474-477 |
| 1 | EE | Ming Shao, Guanghui Li, Xiaowei Li: SAT-Based Algorithm of Verification for Port Order Fault. Asian Test Symposium 2003: 478-481 |
| 1 | Satoshi Goto | [4] |
| 2 | Takeshi Ikenaga | [4] |
| 3 | Guanghui Li | [1] [2] [3] |
| 4 | Xiaowei Li | [1] [2] [3] |
| 5 | Zhenyu Liu | [4] |