| Region Connection Calculus: Its models and composition table S Li, M Ying Artificial Intelligence 145 (1-2), 121-146, 2003 | 159 | 2003 |
| Quantum circuit transformation based on simulated annealing and heuristic search X Zhou, S Li, Y Feng IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 96 | 2020 |
| Multi-agent coordination using nearest neighbor rules: Revisiting the Vicsek model S Li, H Wang Arxiv preprint cs/0407021, 2004 | 73 | 2004 |
| Combining topological and directional information for spatial reasoning S Li Proceedings of the 20th International Joint Conference on Artificial …, 2007 | 71 | 2007 |
| Generalized region connection calculus S Li, M Ying Artificial Intelligence 160 (1-2), 1-34, 2004 | 71 | 2004 |
| A tensor network based decision diagram for representation of quantum circuits X Hong, X Zhou, S Li, Y Feng, M Ying ACM Transactions on Design Automation of Electronic Systems (TODAES) 27 (6 …, 2022 | 69 | 2022 |
| Reasoning about cardinal directions between extended objects W Liu, X Zhang, S Li, M Ying Artificial Intelligence 174 (12-13), 951-983, 2010 | 66 | 2010 |
| Qubit mapping based on subgraph isomorphism and filtered depth-limited search S Li, X Zhou, Y Feng IEEE Transactions on Computers 70 (11), 1777-1788, 2020 | 65 | 2020 |
| Combining RCC-8 with qualitative direction calculi: Algorithms and complexity W Liu, S Li, J Renz Proceedings of IJCAI-09, 854-859, 2009 | 62 | 2009 |
| A fuzzy sets theoretic approach to approximate spatial reasoning Y Li, S Li Fuzzy Systems, IEEE Transactions on 12 (6), 745-754, 2004 | 56 | 2004 |
| A complete classification of topological relations using the 9‐intersection method S Li International Journal of Geographical Information Science 20 (6), 589-610, 2006 | 50 | 2006 |
| On topological consistency and realization S Li Constraints 11 (1), 31-51, 2006 | 48 | 2006 |
| Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects AG Cohn, S Li, W Liu, J Renz Journal of Artificial Intelligence Research 51, 493-532, 2014 | 47 | 2014 |
| A Monte Carlo tree search framework for quantum circuit transformation X Zhou, Y Feng, S Li proceedings of the 39th international conference on computer-aided design, 1-7, 2020 | 46 | 2020 |
| On redundant topological constraints S Li, Z Long, W Liu, M Duckham, A Both Artificial Intelligence 225, 51-76, 2015 | 43 | 2015 |
| The quintuple implication principle of fuzzy reasoning B Zhou, G Xu, S Li Information Sciences 297, 202-215, 2015 | 43 | 2015 |
| On constructing the largest and smallest uninorms on bounded lattices A Xie, S Li Fuzzy Sets and Systems 386, 95-104, 2020 | 42 | 2020 |
| Computation tree logic model checking based on multi-valued possibility measures Y Li, L Lei, S Li Information sciences 485, 87-113, 2019 | 41 | 2019 |
| Extensionality of the RCC8 composition table S Li, M Ying Fundamenta Informaticae 55 (3-4), 363-386, 2003 | 36 | 2003 |
| Approximate equivalence checking of noisy quantum circuits X Hong, M Ying, Y Feng, X Zhou, S Li 2021 58th ACM/IEEE Design Automation Conference (DAC), 637-642, 2021 | 35 | 2021 |
Mingsheng YingUniversity of Technology SyeneyVerified email at uts.edu.au
