| 2008 |
|---|
| 6 | EE | Zhi Yang,
Guangsheng Ma,
Shu Zhang:
A Novel Approach to High-Level Property Checking Using Wu's Method.
DELTA 2008: 576-580 |
| 5 | EE | Xiuqin Wang,
Hao Wang,
Guangsheng Ma:
Hybrid SAT Solver Considering Circuit Observability.
ICYCS 2008: 65-70 |
| 4 | EE | Jingbo Shao,
Guangsheng Ma,
Zhi Yang,
Ruixue Zhang:
Process Algebra Based SoC Test Scheduling for Test Time Minimization.
ISVLSI 2008: 134-138 |
| 3 | EE | Xiuqin Wang,
Guangsheng Ma,
Hao Wang:
A Novel Method for All Solutions SAT Problem.
SNPD 2008: 41-45 |
| 2007 |
|---|
| 2 | EE | Zhihong Zhang,
Guangsheng Ma,
Zhijiang Zhao:
A New Image Auto-Segmentation Algorithm Based on PCNN.
LSMS (1) 2007: 152-161 |
| 2006 |
|---|
| 1 | EE | Xiaoxiao Liu,
Guangsheng Ma,
Qiang Sun:
An Advanced Timing Characterization Method Considering Global False Path.
IMSCCS (2) 2006: 776-779 |
