Follow
Qin Li
Title
Cited by
Cited by
Year
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
872019
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
582011
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
442020
Transfer of Nitrogen Fixation (nif) Genes to Non‐diazotrophic Hosts
Q Li, S Chen
ChemBioChem 21 (12), 1717-1722, 2020
352020
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
312018
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
302021
Formalizing mapreduce with csp
F Yang, W Su, H Zhu, Q Li
2010 17th IEEE International Conference and Workshops on Engineering of …, 2010
232010
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
172016
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
152020
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
152009
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
132019
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
132015
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
122022
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
112017
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
112014
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
112011
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
112010
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
102021
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
102019
Formal approaches to wireless sensor networks
S Liu, X Wu, Q Li, H Zhu, Q Wang
2011 Fifth International Conference on Secure Software Integration and …, 2011
102011
The system can't perform the operation now. Try again later.
Articles 1–20