Funder
National Natural Science Foundation of China
Natural Science Foundation of Chongqing
West Light Foundation of the Chinese Academy of Sciences
National Key Research and Development Project
Chongqing science and Technology Innovation Guidance Special project
Innovation and Technology Commission - Hong Kong
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Software
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TerGEC: A graph enhanced contrastive approach for program termination analysis;Science of Computer Programming;2024-10
2. Data-driven Recurrent Set Learning For Non-termination Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
3. Neural termination analysis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
4. Net Photosynthesis Prediction by Deep Learning for Commercial Greenhouse Production;2021 IEEE 25th International Conference on Intelligent Engineering Systems (INES);2021-07-07