Search the dblp DataBase

Publications of Author

1. Xiaoxiao Liu, Guangsheng Ma, Qiang Sun
   An Advanced Timing Characterization Method Considering Global False Path. [Citation Graph (0, 0)][DBLP]
   IMSCCS (2), 2006, pp:776-779 [Conf]
   
2. Zhihong Zhang, Guangsheng Ma, Zhijiang Zhao
   A New Image Auto-Segmentation Algorithm Based on PCNN. [Citation Graph (0, 0)][DBLP]
   LSMS (1), 2007, pp:152-161 [Conf]
   
3. 
   A Novel Approach to High-Level Property Checking Using Wu's Method. [Citation Graph (, )][DBLP]
   
   
4. 
   Process Algebra Based SoC Test Scheduling for Test Time Minimization. [Citation Graph (, )][DBLP]
   
   
5. 
   A Novel Method for All Solutions SAT Problem. [Citation Graph (, )][DBLP]
   
   
6. 
   Hybrid SAT Solver Considering Circuit Observability. [Citation Graph (, )][DBLP]