Search the dblp DataBase

Publications of Author

1. Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan
   Observation-based Model for BDI-Agents. [Citation Graph (0, 0)][DBLP]
   AAAI, 2005, pp:190-195 [Conf]
   
2. Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
   Bounded model checking knowledge and branching time in synchronous multi-agent systems. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2005, pp:1129-1130 [Conf]
   
3. Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun
   The interpreted system model of knowledge, belief, desire and intention. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2006, pp:220-222 [Conf]
   
4. Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
   Verification of Multi-agent Systems Via Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
   Australian Conference on Artificial Intelligence, 2006, pp:69-78 [Conf]
   
5. Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
   Observation-Based Logic of Knowledge, Belief, Desire and Intention. [Citation Graph (0, 0)][DBLP]
   KSEM, 2006, pp:366-378 [Conf]
   
6. Kaile Su, Abdul Sattar, Xiangyu Luo
   Model Checking Temporal Logics of Knowledge Via OBDDs. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:4, pp:403-420 [Journal]
   
7. 
   A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Solving Sum and Product Riddle via BDD-Based Model Checking. [Citation Graph (, )][DBLP]
   
   
9. 
   Interest Property of E-commerce Protocols and its Verification in Strand Space Model. [Citation Graph (, )][DBLP]
   
   
10. 
    Detecting Feature Interactions in Web Services with Timed Automata. [Citation Graph (, )][DBLP]
    
    
11. 
    Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic. [Citation Graph (, )][DBLP]
    
    
12. 
    Model Checking Airline Tickets Reservation System Based on BPEL. [Citation Graph (, )][DBLP]
    
    
13. 
    Recoverability of Erasure Codes Based and Intensively Written Storage Systems. [Citation Graph (, )][DBLP]