| 2026 | ACL | Think Earlier, Not Longer: Prompt Optimization via Reducing Unhealthy Exploration. | Ling-I Wu, Minyu Chen, Jingyang Li, Xi Chang, Guoqiang Li |
| 2026 | FM | Array-Carrying Symbolic Execution for Function Contract Generation. | Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li |
| 2025 | EMNLP | Co-Eval: Augmenting LLM-based Evaluation with Machine Metrics. | Ling-I Wu, Weijie Wu, Minyu Chen, Jianxin Xue, Guoqiang Li |
| 2025 | ICFEM | ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs. | Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li |
| 2025 | NAACL | DCE-LLM: Dead Code Elimination with Large Language Models. | Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu |
| 2025 | WACV | PoolAtnRes: Towards Generalisable Differential Morphing Attack Detection. | Raghavendra Ramachandra, Sushma Venkatesh, Guoqiang Li |
| 2025 | VMCAI | Affine Disjunctive Invariant Generation with Farkas' Lemma. | Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li |
| 2024 | HPCC | RSLoc: An Accuracy Indoor Localization System Based on KAN Convolution Network. | Weixuan Yan, Can Tang, Licai Zhu, Yong Li, Guoqiang Li, Hao Yang |
| 2024 | INDIN | A Novel Unsupervised Anomaly Detection Method on Adversarial Attacks for Autonomous Vehicles Trajectory Prediction. | Jiping Fan, Zhenpo Wang, Guoqiang Li |
| 2024 | IROS | Adversarial Attack on Trajectory Prediction for Autonomous Vehicles with Generative Adversarial Networks. | Jiping Fan, Zhenpo Wang, Guoqiang Li |
| 2024 | ISCAS | Design of Magnetic Field Acquisition Probe and Front-End Signal Processing Circuit. | Guoqiang Li, Yongfang Liu, Yuanjin Zheng |
| 2024 | SETTA | Can Language Models Pretend Solvers? Logic Code Simulation with LLMs. | Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue |
| 2024 | SETTA | Constraint Based Invariant Generation with Modular Operations. | Yuchen Li, Hongfei Fu, Haowen Long, Guoqiang Li |
| 2024 | TASE | Empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with Pruning. | Hongming Liu, Guoqiang Li |
| 2023 | ICPADS | Industry-Oriented Lightweight Simulation System. | Changwei Liu, Hao Ren, Nan Zhou, Guoqiang Li, Xiaojun Liang, Weihua Gui, Chunhua Yang |
| 2023 | INDIN | Detection and Mitigation of GPS Attack via Cooperative Localization. | Zhuang Wang, Zhenpo Wang, Jianhong Liu, Guoqiang Li |
| 2023 | PRDC | Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. | Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li |
| 2022 | COLING | Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories. | Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu |
| 2022 | FUSION | Residual Colour Scale-Space Gradients for Reference-based Face Morphing Attack Detection. | Raghavendra Ramachandra, Guoqiang Li |
| 2022 | ICONIP | Spatial and Temporal Guidance for Semi-supervised Video Object Segmentation. | Guoqiang Li, Shengrong Gong, Shan Zhong, Lifan Zhou |
| 2021 | HPCC | A study on the health status of cherry production in multi-factor facilities based on the attention mechanism Bi-LSTM. | Lingyan Hu, Chao Zhang, Zumin Wang, Yan Liu, Zhanjun Guo, Guoqiang Li |
| 2021 | ISPA | SLAMVis: An Interactive Visualization Approach for Smart Labeling on Multidimensional Data. | Aijuan Qian, Chenlu Li, Xiaoju Dong, Shengtao Chen, Yanling Zhang, Guoqiang Li |
| 2021 | PRDC | Integrating Information Flow Analysis in Unifying Theories of Programming. | Chunyan Mu, Guoqiang Li |
| 2021 | SC | Symplectic structure-preserving particle-in-cell whole-volume simulation of tokamak plasmas to 111.3 trillion particles and 25.7 billion grids. | Jianyuan Xiao, Junshi Chen, Jiangshan Zheng, Hong An, Shenghong Huang, Chao Yang, Fang Li, Ziyu Zhang, Yeqi Huang, Wenting Han, Xin Liu, Dexun Chen, Zixi Liu, Ge Zhuang, Jiale Chen, Guoqiang Li, Xuan Sun, Qiang Chen |
| 2021 | TASE | A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints. | Qunhao Sha, Qizhe Yang, Guoqiang Li |
| 2020 | HealthCom | Liquid Metal-Filled 3D Structure Wearable Sensor for Finger Bending Monitoring. | Guoqiang Li, Mingyang Zhang, Junjie Wu, Man Yuan, Zhiyuan Liu, Xing Ma |
| 2020 | ICSE | Unblind your apps: predicting natural-language labels for mobile GUI components by deep learning. | Jieshan Chen, Chunyang Chen, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang |
| 2020 | ICSE | Seenomaly: vision-based linting of GUI animation effects against design-don't guidelines. | Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang |
| 2019 | DATE | Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems. | Haitao Zhang, Ayang Tuo, Guoqiang Li |
| 2019 | ICSE | ActionNet: vision-based workflow action recognition from programming screencasts. | Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xin Xia, Guoqiang Li |
| 2019 | ICTAI | Object Detection Boosting using Object Attributes in Detect and Describe Framework. | Muhammad Jahanzeb Khan, Adeel Zafar, Valeriia Tumanian, Ding Yue, Guoqiang Li |
| 2019 | MICCAI | Infant Brain Deformable Registration Using Global and Local Label-Driven Deep Regression Learning. | Shunbo Hu, Lintao Zhang, Guoqiang Li, Mingtao Liu, Deqian Fu, Wenyin Zhang |
| 2019 | QRS | Detect Triangle Attack on Blockchain by Trace Analysis. | Yingying Wang, Guoqiang Li |
| 2018 | ESORICS | Managing Private Credentials by Privacy-Preserving Biometrics. | Bian Yang, Guoqiang Li |
| 2018 | FUSION | A Mobile App Authentication Approach by Fusing the Scores from Multi-Modal Data. | Guoqiang Li, Patrick Bours |
| 2018 | ICICS | Examine Manipulated Datasets with Topology Data Analysis: A Case Study. | Yun Guo, Daniel Sun, Guoqiang Li, Shiping Chen |
| 2018 | ICSE | An efficient approach for verifying automobile distributed application systems on timing property. | Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu |
| 2017 | ICFEM | Nested Timed Automata with Diagonal Constraints. | Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen |
| 2017 | QRS | A Novel Hidden Markov Model for Genome-Wide Association Studies. | Junli Yang, Bo Song, Bing Yan, Guoqiang Li |
| 2017 | SETTA | Nested Timed Automata with Invariants. | Yuwei Wang, Guoqiang Li, Shoji Yuen |
| 2017 | SSDBM | Active Learning with Density-Initialized Decision Tree for Record Matching. | Chenxiao Dou, Daniel Sun, Guoqiang Li, Raymond K. Wong |
| 2016 | QRS | CAT: A Customized Automata Toolkit. | Ruoyu Wang, Guoqiang Li, Daniel W. Sun, Jianwen Xiang, Hongming Cai |
| 2016 | TrustCom | A Fingerprint Indexing Algorithm on Encrypted Domain. | Guoqiang Li, Bian Yang, Christoph Busch |
| 2016 | WSDM | Multi-view Machines. | Bokai Cao, Hucheng Zhou, Guoqiang Li, Philip S. Yu |
| 2016 | SETTA | Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET. | Bingbing Fang, Guoqiang Li, Daniel Sun, Hongming Cai |
| 2015 | ICNC | Improved Teaching-Learning-Based Optimization algorithms for function optimization. | Xia Li, Peifeng Niu, Guoqiang Li, Jianping Liu, Huihui Hui |
| 2015 | QRS | A Refined Algorithm for Reachability Analysis of Updatable Timed Automata. | Bingbing Fang, Guoqiang Li, Ling Fang, Jianwen Xiang |
| 2014 | IC2E | Cloud Password Manager Using Privacy-Preserved Biometrics. | Bian Yang, Huiguang Chu, Guoqiang Li, Slobodan Petrovic, Christoph Busch |
| 2014 | ISSRE | Toward SIL Evaluation for a Resilience Strategy. | Ling Fang, Guoqiang Li, Yingjie You, Chaobin Chen, Liqin Hu |
| 2014 | NPC | Online Mechanism Design for VMs Allocation in Private Cloud. | Xiaohong Wu, Yonggen Gu, Guoqiang Li, Jie Tao, Jingyu Chen, Xiaolong Ma |
| 2014 | PAKDD | ReadBehavior: Reading Probabilities Modeling of Tweets via the Users' Retweeting Behaviors. | Jianguang Du, Dandan Song, Lejian Liao, Xin Li, Li Liu, Guoqiang Li, Guanguo Gao, Guiying Wu |
| 2013 | APWEB | A Self-healing Framework for QoS-Aware Web Service Composition via Case-Based Reasoning. | Guoqiang Li, Lejian Liao, Dandan Song, Jingang Wang, Fuzhen Sun, Guangcheng Liang |
| 2013 | CIS | Effective Fuzzing Based on Dynamic Taint Analysis. | Guangcheng Liang, Lejian Liao, Xin Xu, Jianguang Du, Guoqiang Li, Henglong Zhao |
| 2013 | CVPR | Quality Assessment for Fingerprints Collected by Smartphone Cameras. | Guoqiang Li, Bian Yang, Martin Aastrup Olsen, Christoph Busch |
| 2013 | ICIP | Qualifying fingerprint samples captured by smartphone cameras. | Bian Yang, Guoqiang Li, Christoph Busch |
| 2012 | ISORC | Measuring Time Lag with Nested Preemptions and Resumptions. | Guoqiang Li |
| 2012 | TASE | An Improved Full Abstraction Approach to Analyzing Locality Semantics. | Jianxin Xue, Huan Long, Guoqiang Li |
| 2011 | TASE | A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols. | Guoqiang Li, Yonggen Gu, Xiuting Tao, Jie Tao |
| 2009 | TASE | Environmental Simulation of Real-Time Systems with Nested Interrupts. | Guoqiang Li, Shoji Yuen, Masakazu Adachi |
| 2008 | ATVA | Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. | Guoqiang Li, Mizuhito Ogawa |
| 2007 | ATVA | On-the-Fly Model Checking of Fair Non-repudiation Protocols. | Guoqiang Li, Mizuhito Ogawa |
| 2006 | ICNC | Secrecy of Signals by Typing in Signal Transduction. | Min Zhang, Guoqiang Li, Yuxi Fu |
| 2005 | ICNC | Typing Aberrance in Signal Transduction. | Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He |
| 2005 | PDCAT | A Simple Process Calculus for the analysis of Security Protocols. | Yonggen Gu, Yuxi Fu, Guoqiang Li |
| 2004 | CIS | Analyzing iKP Security in Applied Pi Calculus. | Yonggen Gu, Guoqiang Li, Yuxi Fu |
| 2004 | CIS | Representation of the Signal Transduction with Aberrance Using Ipi Calculus. | Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He |
| 2000 | Interspeech | Prior parameter transformation for unsupervised speaker adaptation. | Guoqiang Li, Limin Du, Ziqiang Hou |
| 1999 | Interspeech | Regression transformation of prior means for speaker adaptation. | Guoqiang Li, Limin Du, Ziqiang Hou |
| 1998 | Interspeech | A hierarchy probability-based visual features extraction method for speechreading. | Yanjun Xu, Limin Du, Guoqiang Li, Ziqiang Hou |