| 2008 |
|---|
| 5 | EE | Guangyu Tan,
Guangjun Liu,
Guanghui Li,
Hui Song,
Yiming (Kevin) Rong:
Analysis of temperature field of milling insert with 3D complex groove using Cellular Automata.
IJMR 3(2): 188-197 (2008) |
| 2005 |
|---|
| 4 | EE | Xiaowei Li,
Guanghui Li,
Ming Shao:
Formal Verification Techniques Based on Boolean Satisfiability Problem.
J. Comput. Sci. Technol. 20(1): 38-47 (2005) |
| 2004 |
|---|
| 3 | EE | Guanghui Li,
Xiaowei Li:
Circuit-Width Based Heuristic for Boolean Reasoning.
Asian Test Symposium 2004: 336-341 |
| 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 |
