The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xiangyu Luo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002