| Survey on security issues of routing and anomaly detection for space information networks M Zhuo, L Liu, S Zhou, Z Tian Scientific Reports 11 (1), 22261, 2021 | 27 | 2021 |
| Facilitating multicore bounded model checking with stateless explicit-state exploration W Kong, L Liu, T Ando, H Yatsu, K Hisazumi, A Fukuda The Computer Journal 58 (11), 2824-2840, 2015 | 21 | 2015 |
| Malware variants identification based on byte frequency S Yu, S Zhou, L Liu, R Yang, J Luo 2010 Second International Conference on Networks Security, Wireless …, 2010 | 18 | 2010 |
| Detecting malware variants by byte frequency S Yu, S Zhou, L Liu, R Yang, J Luo Journal of Networks 6 (4), 638, 2011 | 16 | 2011 |
| Anomaly detection using spatial and temporal information in multivariate time series Z Tian, M Zhuo, L Liu, J Chen, S Zhou Scientific Reports 13 (1), 4400, 2023 | 13 | 2023 |
| Unsupervised user identity linkage via graph neural networks F Zhou, Z Wen, T Zhong, G Trajcevski, X Xu, L Liu GLOBECOM 2020-2020 IEEE Global Communications Conference, 1-6, 2020 | 10 | 2020 |
| On accelerating smt-based bounded model checking of hstm designs W Kong, L Liu, Y Yamagata, K Taguchi, H Ohsaki, A Fukuda 2012 19th Asia-Pacific Software Engineering Conference 1, 614-623, 2012 | 9 | 2012 |
| An improvement on acceleration of distributed SMT solving L Liu, W Kong, T Ando, H Yatsu, A Fukuda Proc. the Sixth Int. Conf. on Future Computational Technologies and …, 2014 | 4 | 2014 |
| A survey of acceleration techniques for smt-based bounded model checking L Liu, W Kong, T Ando, H Yatsu, A Fukuda 2013 international conference on computer sciences and applications, 554-559, 2013 | 4 | 2013 |
| Implementation and experiments of a distributed SMT solving environment L Liu, W Kong, A Fukuda International Journal on Computer Science and Engineering 6 (3), 80, 2014 | 3 | 2014 |
| Harnessing SMT-based bounded model checking through stateless explicit-state exploration W Kong, L Liu, T Ando, H Yatsu, K Hisazumi, A Fukuda 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 355-362, 2013 | 3 | 2013 |
| ADS-B Signal Enhancement and Target Recognition Based on Deep Learning FZ Lican Dai, Yuexin Yang, Leyuan Liu Science Technology and Engineering 23 (12), 5136-5144, 2023 | 2* | 2023 |
| A High-Utility Differentially Private Mechanism for Space Information Networks M Zhuo, W Huang, L Liu, S Zhou, Z Tian Remote Sensing 14 (22), 5844, 2022 | 2 | 2022 |
| Optimization of space information network topology based on spanning tree algorithm P Yang, M Zhuo, Z Tian, L Liu, Q Hu International Conference on Artificial Intelligence and Security, 668-679, 2022 | 2 | 2022 |
| Hgena: A hyperbolic graph embedding approach for network alignment F Zhou, C Li, X Xu, L Liu, G Trajcevski 2021 IEEE Global Communications Conference (GLOBECOM), 1-6, 2021 | 2 | 2021 |
| A method for evaluating the invulnerability of space-sky information network M Zhuo, S Wan, P Yang, L Liu, S Zhou 2019 IEEE 2nd International Conference on Automation, Electronics and …, 2019 | 2 | 2019 |
| Measuring and classifying IP usage scenarios: a continuous neural trees approach GY Zhenhui Li, Fan Zhou, Zhiyuan Wang, Xovee Xu, Leyuan Liu Scientific Reports 14 (1), 2024 | 1 | 2024 |
| Towards Trustworthy Rumor Detection with Interpretable Graph Structural Learning L Liu, J Chen, Z Cheng, W Tai, F Zhou Proceedings of the 32nd ACM International Conference on Information and …, 2023 | 1 | 2023 |
| Adaptive Optimization of Dynamic Heterogeneous Network Topologies: A Simulated Annealing Methodology M Zhuo, P Yang, J Chen, L Liu, C Liu International Conference on Artificial Intelligence and Security, 587-612, 2022 | 1 | 2022 |
| Formal verification of communicating HSTM designs L Liu, W Kong, S Zhou, Z Qin, A Fukuda 2012 IEEE 12th International Conference on Computer and Information …, 2012 | 1 | 2012 |
Weiqiang KongKyushu UniversityPotvrđena adresa e-pošte na qito.kyushu-u.ac.jp
