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. Junyan Qian, Baowen Xu
   Model Checking for Timed Statecharts. [Citation Graph (0, 0)][DBLP]
   FORTE, 2005, pp:261-274 [Conf]
   
3. Junyan Qian
   Optimization Construction of Region Automaton. [Citation Graph (0, 0)][DBLP]
   PDPTA, 2006, pp:1028-1032 [Conf]
   
4. 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]
   
5. 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]
   
6. Junyan Qian, Baowen Xu
   Compositional Abstraction for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2006, pp:399-404 [Conf]
   
7. 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]
   
8. 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]
   
9. Junyan Qian, Baowen Xu
   The compositional semantics of timed statecharts. [Citation Graph (0, 0)][DBLP]
   IASTED Conf. on Software Engineering and Applications, 2004, pp:345-349 [Conf]
   
10. Junyan Qian, Baowen Xu
    Formal Verification for C Program. [Citation Graph (0, 0)][DBLP]
    Informatica, Lith. Acad. Sci., 2007, v:18, n:2, pp:289-304 [Journal]
    
11. 
    Automatic Construction of Complete Abstraction by Abstract Interpretation. [Citation Graph (, )][DBLP]
    
    
12. 
    A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. [Citation Graph (, )][DBLP]
    
    
13. 
    Formula-Dependent Abstraction for CTL Model Checking. [Citation Graph (, )][DBLP]
    
    
14. 
    Verifying Programs Using Abstraction and Theorem Proving. [Citation Graph (, )][DBLP]
    
    
15. 
    Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning. [Citation Graph (, )][DBLP]
    
    
16. 
    A Formal Framework for Policy-Governed Institutional Agency. [Citation Graph (, )][DBLP]
    
    
17. 
    An ASP Based Solution to Mechanical Assembly Sequence Planning. [Citation Graph (, )][DBLP]
    
    
18. 
    Supervising Mechanism for Contract Based Virtual Organization. [Citation Graph (, )][DBLP]
    
    
19. 
    Using ASP for knowledge management with user authorization. [Citation Graph (, )][DBLP]