Composition of resource-service chain for cloud manufacturing H Li, KCC Chan, M Liang, X Luo IEEE Transactions on industrial informatics 12 (1), 211-219, 2015 | 85 | 2015 |
Model Checking Temporal Logics of Knowledge Via OBDDs1 K Su, A Sattar, X Luo The Computer Journal 50 (4), 403-420, 2007 | 62 | 2007 |
Observation-based model for BDI-agents K Su, A Sattar, K Wang, X Luo, G Governatori, V Padmanabhan AAAI, 190-195, 2005 | 24 | 2005 |
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems L Wu, J Su, K Su, X Luo, Z Yang Knowledge-Based Systems 23 (2), 162-168, 2010 | 19 | 2010 |
Hippocampus-heuristic character recognition network for zero-shot learning in Chinese character recognition G Huang, X Luo, S Wang, T Gu, K Su Pattern Recognition 130, 108818, 2022 | 14 | 2022 |
Exact weight perfect matching of bipartite graph is NP-complete G Zhu, X Luo, Y Miao Proceedings of the World Congress on Engineering 2, 1-7, 2008 | 14 | 2008 |
Verification of multi-agent systems via bounded model checking X Luo, K Su, A Sattar, M Reynolds Australasian Joint Conference on Artificial Intelligence, 69-78, 2006 | 14 | 2006 |
Ensuring the correctness of regular expressions: A review LX Zheng, S Ma, ZX Chen, XY Luo International Journal of Automation and Computing 18 (4), 521-535, 2021 | 13 | 2021 |
Age estimation with dynamic age range D Lai, Y Chen, X Luo, J Du, T Wang Multimedia Tools and Applications 76 (5), 6551-6573, 2017 | 13 | 2017 |
Bounded model checking for temporal epistemic logic in synchronous multi-agent systems 骆翔宇, 苏开乐, 杨晋吉 Journal of Software 17 (12), 2485-2498, 2006 | 12 | 2006 |
Symbolic model checking for CTL KL Su, XY Luo, GF Lu CHINESE JOURNAL OF COMPUTERS-CHINESE EDITION- 28 (11), 1798, 2005 | 12 | 2005 |
Bounded model checking knowledge and branching time in synchronous multi-agent systems X Luo, K Su, A Sattar, Q Chen, G Lv Proceedings of the fourth international joint conference on Autonomous …, 2005 | 12 | 2005 |
Experimental investigation of two types interconnected hydro-pneumatic struts D Lin, F Yang, D Gong, F Zhao, X Luo, R Li, Z Lin IEEE Access 7, 100626-100637, 2019 | 11 | 2019 |
Model checking behavioral specification of BPEL web services R Dong, Z Wei, X Luo Proc. World Congr. Eng 1, 383-399, 2008 | 10 | 2008 |
Detecting feature interactions in web services with timed automata X Luo, A Xuan, R Dong 2009 Third International Conference on Genetic and Evolutionary Computing …, 2009 | 8 | 2009 |
Solving sum and product riddle via bdd-based model checking X Luo, K Su, A Sattar, Y Chen 2008 IEEE/WIC/ACM International Conference on Web Intelligence and …, 2008 | 7 | 2008 |
The interpreted system model of knowledge, belief, desire and intention K Su, X Luo, A Sattar, MA Orgun Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 7 | 2006 |
Symbolic model checking for discrete real-time systems X Luo, L Wu, Q Chen, H Li, L Zheng, Z Chen Science China Information Sciences 61, 1-23, 2018 | 6 | 2018 |
Testing Conformance of BPEL Business Process Based on Model Checking. R Dong, Z Wei, X Luo, F Liu J. Softw. 5 (9), 1030-1037, 2010 | 6 | 2010 |
Model checking Airline tickets reservation system based on BPEL Z Wei, R Dong, X Luo, F Liu 2009 Third International Conference on Genetic and Evolutionary Computing …, 2009 | 6 | 2009 |