| Paenibacillus strains with nitrogen fixation and multiple beneficial properties for promoting plant growth X Liu, Q Li, Y Li, G Guan, S Chen PeerJ 7, e7445, 2019 | 103 | 2019 |
| Modeling and verifying the code-level OSEK/VDX operating system with CSP Y Huang, Y Zhao, L Zhu, Q Li, H Zhu, J Shi 2011 Fifth International Conference on Theoretical Aspects of Software …, 2011 | 57 | 2011 |
| Phosphate solubilizing bacteria stimulate wheat rhizosphere and endosphere biological nitrogen fixation by improving phosphorus content Y Li, Q Li, G Guan, S Chen PeerJ 8, e9062, 2020 | 49 | 2020 |
| Transfer of Nitrogen Fixation (nif) Genes to Non‐diazotrophic Hosts Q Li, S Chen ChemBioChem 21 (12), 1717-1722, 2020 | 38 | 2020 |
| Diazotroph Paenibacillus triticisoli BJ-18 Drives the Variation in Bacterial, Diazotrophic and Fungal Communities in the Rhizosphere and Root/Shoot Endosphere … Y Li, Q Li, S Chen International Journal of Molecular Sciences 22 (3), 1460, 2021 | 33 | 2021 |
| Positive and negative regulation of transferred nif genes mediated by indigenous GlnR in Gram-positive Paenibacillus polymyxa T Wang, X Zhao, H Shi, L Sun, Y Li, Q Li, H Zhang, S Chen, J Li PLoS Genetics 14 (9), e1007629, 2018 | 31 | 2018 |
| Formalizing mapreduce with csp F Yang, W Su, H Zhu, Q Li 2010 17th IEEE International Conference and Workshops on Engineering of …, 2010 | 23 | 2010 |
| A spatial logic for modeling and verification of collision-free control of vehicles B Xu, Q Li 2016 21st International Conference on Engineering of Complex Computer …, 2016 | 19 | 2016 |
| PAC model checking of black-box continuous-time dynamical systems B Xue, M Zhang, A Easwaran, Q Li IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 17 | 2020 |
| Formal modeling and analyzing Kerberos protocol Q Li, F Yang, H Zhu, L Zhu 2009 WRI World Congress on Computer Science and Information Engineering 7 …, 2009 | 14 | 2009 |
| Formally verifying consistency of sequence diagrams for safety critical systems X Chen, Q Liu, F Mallet, Q Li, S Cai, Z Jin Science of computer programming 216, 102777, 2022 | 13 | 2022 |
| Identification of Genes Involved in Fe–S Cluster Biosynthesis of Nitrogenase in Paenibacillus polymyxa WLY78 Q Li, Y Li, X Li, S Chen International Journal of Molecular Sciences 22 (7), 3771, 2021 | 13 | 2021 |
| A scenario-based approach for formal modelling and verification of safety properties in automated driving B Xu, Q Li, T Guo, D Du IEEE Access 7, 140566-140587, 2019 | 13 | 2019 |
| A quantitative safety verification approach for the decision-making process of autonomous driving B Xu, Q Li, T Guo, Y Ao, D Du 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019 | 13 | 2019 |
| Analyzing event-based scheduling in concurrent reactive systems JM Jiang, H Zhu, Q Li, Y Zhao, L Zhao, S Zhang, P Gong, Z Hong ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-27, 2015 | 13 | 2015 |
| Configuration of services based on virtualization J Jiang, H Zhu, Q Li, S Zhang, P Gong, Z Hong 2014 Theoretical Aspects of Software Engineering Conference, 177-184, 2014 | 11 | 2014 |
| A calculus for mobile ad hoc networks from a group probabilistic perspective S Liu, Y Zhao, H Zhu, Q Li 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011 | 11 | 2011 |
| Formal modeling and verifications of deadlock prevention solutions in web service oriented system J Ding, H Zhu, H Zhu, Q Li 2010 17th IEEE International Conference and Workshops on Engineering of …, 2010 | 11 | 2010 |
| Alanine synthesized by alanine dehydrogenase enables ammonium-tolerant nitrogen fixation in Paenibacillus sabinae T27 Q Li, H Zhang, Y Song, M Wang, C Hua, Y Li, S Chen, R Dixon, J Li Proceedings of the National Academy of Sciences 119 (49), e2215855119, 2022 | 10 | 2022 |
| Event-based mobility modeling and analysis JM Jiang, H Zhu, Q Li, Y Zhao, L Zhao, S Zhang, P Gong, Z Hong, D Chen ACM Transactions on Cyber-Physical Systems 1 (2), 1-32, 2017 | 10 | 2017 |
