Search the dblp DataBase

Publications of Author

1. Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
   On the New Application of Call Patterns to CPM Testing of Prolog Programs. [Citation Graph (0, 0)][DBLP]
   Australian Conference on Artificial Intelligence, 2006, pp:1265-1270 [Conf]
   
2. Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
   Designing Prolog Semantics for a Class of Observables. [Citation Graph (0, 0)][DBLP]
   PRICAI, 2006, pp:1052-1057 [Conf]
   
3. Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
   A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. [Citation Graph (0, 0)][DBLP]
   SEKE, 2006, pp:359-362 [Conf]
   
4. Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
   A Base for Achieving Semantics for Prolog with Cut for Correct Observables. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2006, pp:664-670 [Conf]
   
5. Tianlong Gu, Zhoubo Xu
   The symbolic algorithms for maximum flow in networks. [Citation Graph (0, 0)][DBLP]
   Computers & OR, 2007, v:34, n:3, pp:799-816 [Journal]
   
6. Lingzhong Zhao, Tianlong Gu, Junyan Qian
   Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. [Citation Graph (0, 0)][DBLP]
   TASE, 2007, pp:261-272 [Conf]
   
7. 
   Automatic Construction of Complete Abstraction by Abstract Interpretation. [Citation Graph (, )][DBLP]
   
   
8. 
   A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. [Citation Graph (, )][DBLP]
   
   
9. 
   Formula-Dependent Abstraction for CTL Model Checking. [Citation Graph (, )][DBLP]
   
   
10. 
    Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning. [Citation Graph (, )][DBLP]
    
    
11. 
    An ASP Based Solution to Mechanical Assembly Sequence Planning. [Citation Graph (, )][DBLP]
    
    
12. 
    Symbolic OBDD representations for mechanical assembly sequences. [Citation Graph (, )][DBLP]