A Behavior Analysis Method Towards Product Quality Management C Ye, C Li, G Li, L Jiang, H Cai Research and Practical Issues of Enterprise Information Systems: 11th IFIP …, 2018 | | 2018 |
A Formal Game-Theoretic Model for Rational Exchange Protocol XT Tao, YG Gu, GQ Li Advanced Materials Research 204, 2033-2040, 2011 | 2 | 2011 |
A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols G Li, Y Gu, X Tao, J Tao 2011 Fifth International Conference on Theoretical Aspects of Software …, 2011 | 1 | 2011 |
A game-theoretic model and analysis of data exchange protocols for Internet of Things in clouds X Tao, G Li, D Sun, H Cai Future Generation Computer Systems 76, 582-589, 2017 | 12 | 2017 |
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 | 1 | 2017 |
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 | | 2021 |
A population-based study to assess two convolutional neural networks for dental age estimation J Wang, J Dou, J Han, G Li, J Tao BMC Oral Health 23 (1), 109, 2023 | 10 | 2023 |
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 | 6 | 2016 |
A preemptive truthful VMS allocation online mechanism in private cloud Y Gu, J Tao, X Wu, G Li, J Chen, X Ma 2015 2nd International Symposium on Dependable Computing and Internet of …, 2015 | | 2015 |
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 | 3 | 2015 |
A Simple Process Calculus for the analysis of Security Protocols Y Gu, Y Fu Sixth International Conference on Parallel and Distributed Computing …, 2005 | 3 | 2005 |
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs H Chen, M Chen, R Liu, G Li arXiv preprint arXiv:2403.15676, 2024 | | 2024 |
ActionNet: vision-based workflow action recognition from programming screencasts D Zhao, Z Xing, C Chen, X Xia, G Li 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 50 | 2019 |
Active learning with density-initialized decision tree for record matching C Dou, D Sun, G Li, RK Wong Proceedings of the 29th International Conference on Scientific and …, 2017 | 8 | 2017 |
Affine Disjunctive Invariant Generation with Farkas' Lemma J Ke, H Fu, H Liu, L Chen, G Li arXiv preprint arXiv:2307.13318, 2023 | | 2023 |
An efficient algorithm for automatic equational unifier generation C Chu, G Li 2010 IEEE International Conference on Progress in Informatics and Computing …, 2010 | | 2010 |
An efficient approach for verifying automobile distributed application systems on timing property H Zhang, G Li, X Li, Z Cheng, J Xue, S Liu Proceedings of the 40th International Conference on Software Engineering …, 2018 | | 2018 |
An Improved Full Abstraction Approach to Analyzing Locality Semantics J Xue, H Long, G Li 2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012 | 1 | 2012 |
An interpretable intrusion detection method based on few-shot learning in cloud-ground interconnection Y Zhang, G Li, Q Duan, J Wu Physical Communication 55, 101931, 2022 | 3 | 2022 |
An online greedy allocation of VMs with non-increasing reservations in clouds X Wu, Y Gu, J Tao, G Li, PP Jayaraman, D Sun, R Ranjan, A Zomaya, ... The Journal of Supercomputing 72 (2), 371-390, 2016 | 4 | 2016 |