Articles with public access mandates - Guoqiang LiLearn more
Not available anywhere: 21
Analysis of security in blockchain: Case study in 51%-attack detecting
C Ye, G Li, H Cai, Y Gu, A Fukuda
2018 5th International Conference on Dependable Systems and Their …, 2018
Mandates: National Natural Science Foundation of China
IoT-enabled service for crude-oil production systems against unpredictable disturbance
Q Duan, D Sun, G Li, G Yang, WW Yan
IEEE Transactions on Services Computing 13 (4), 759-768, 2020
Mandates: National Natural Science Foundation of China
A preemptive truthful VMs allocation online mechanism in private cloud
Y Gu, J Tao, G Li, DW Sun, X Wu, PP Jayaraman, R Ranjan
Journal of Computational Science 17, 647-653, 2016
Mandates: National Natural Science Foundation of China
Probabilistic parallelisation of blocking non-matched records for big data
C Dou, D Sun, YC Chen, G Li, J Liu
Big Data (Big Data), 2016 IEEE International Conference on, 3465-3473, 2016
Mandates: National Natural Science Foundation of China
Test Selection with Equivalence Class Partitioning
L Fang, G Li
2015 2nd International Symposium on Dependable Computing and Internet of …, 2015
Mandates: National Natural Science Foundation of China
The Complexity of Linear-Time Temporal Logic Model Repair
X Tao, G Li
International Workshop on Structured Object-Oriented Formal Language and …, 2017
Mandates: National Natural Science Foundation of China
Exploiting long‐term and short‐term preferences and RFID trajectories in shop recommendation
Y Ding, D Wang, G Li, D Sun, X Xin, S Qian
Software: Practice and Experience 47 (6), 849-865, 2017
Mandates: National Natural Science Foundation of China
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock
Y Wen, G Li, S Yuen
International Workshop on Structured Object-Oriented Formal Language and …, 2015
Mandates: National Natural Science Foundation of China
Asynchronous multi-process timed automata
G Li, L Liu, A Fukuda
Software Quality Journal 26 (3), 961-989, 2018
Mandates: National Natural Science Foundation of China
Evaluation of redundancy-based system: a model checking approach
L Fang, C Mu, Z Cheng, G Li
Science China Information Sciences 61 (6), 069101, 2018
Mandates: National Natural Science Foundation of China
A refined algorithm for reachability analysis of updatable timed automata
B Fang, G Li, L Fang, J Xiang
2015 IEEE International Conference on Software Quality, Reliability and …, 2015
Mandates: National Natural Science Foundation of China
Robustness quantification method for network intrusion detection models
Y Zhang, Q Duan, G Li, J Wu
Physical Communication 58, 102025, 2023
Mandates: National Natural Science Foundation of China
A Novel Hidden Markov Model for Genome-Wide Association Studies
J Yang, B Song, B Yan, G Li
2017 IEEE International Conference on Software Quality, Reliability and …, 2017
Mandates: National Natural Science Foundation of China
Updatable timed automata with one updatable clock
G Li, Y Wen, S Yuen
Science China Information Sciences 61 (1), 012102, 2017
Mandates: National Natural Science Foundation of China
HOBAT: Batch Verification for Homogeneous Structural Neural Networks
J Li, G Li
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
Mandates: National Natural Science Foundation of China
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints
Q Sha, Q Yang, G Li
2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021
Mandates: US National Science Foundation, National Natural Science Foundation of China
Nested Timed Automata with Invariants
Y Wang, G Li, S Yuen
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
Mandates: National Natural Science Foundation of China
Nested Timed Automata with Diagonal Constraints
Y Wang, Y Wen, G Li, S Yuen
Formal Methods and Software Engineering: 19th International Conference on …, 2017
Mandates: National Natural Science Foundation of China
On Termination and Boundedness of Nested Updatable Timed Automata
Y Wang, X Tao, G Li
International Workshop on Structured Object-Oriented Formal Language and …, 2016
Mandates: National Natural Science Foundation of China
基于语法制导定义构造保留格式的反语法分析
LC Wang, GQ Li, ZJ Hu
Science China Information Sciences 58, 1-14, 2015
Mandates: National Natural Science Foundation of China
Publication and funding information is determined automatically by a computer program