| 2026 | AAAI | Shaping Human-AI Collaboration in Education: Effects of AI-Assisted Decision-Making Paradigms and Human-AI Decision Consistency on Pre-Service Teachers' Psychological States and Performance. | Yingying Wang, Qin Ni, Haoxin Xu, Jiaqi Yin, Tingjiang Wei |
| 2026 | VR | The Use of Eye-Tracking and VR in ADHD Treatment - Current Applications and Public Awareness. | Jiaqi Yin, Ju Zhang, Hannah Lawton, Marco Gillies, Hans Super, Xueni Pan |
| 2025 | DAC | BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation. | Jiaqi Yin, Zhan Song, Chen Chen, Qihao Hu, Cunxi Yu |
| 2025 | ICCAD | Revisit Choice Network for Synthesis and Technology Mapping. | Chen Chen, Jiaqi Yin, Cunxi Yu |
| 2025 | ICCAD | e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving. | Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, Cunxi Yu |
| 2025 | ICPADS | HIRSA: A Novel Hybrid Method for the Infrared Object Recognition of Weak and Small Aircrafts. | Huanyu Dong, Jiaqi Yin, Huale Li, Yue Zhao |
| 2025 | ICPADS | NL2CSP: Towards Automated CSP Code Generation with Large Language Models. | Chenhui Wang, Nuowei Liu, Han Bao, Di Wu, Huiying Liu, Jiaqi Yin, Huibiao Zhu |
| 2025 | IROS | SPARK Hand: Scooping-Pinching Adaptive Robotic Hand with Kempe Mechanism for Vertical Passive Grasp in Environmental Constraints. | Jiaqi Yin, Tianyi Bi, Wenzeng Zhang |
| 2025 | USENIX | HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation. | Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, Cunxi Yu |
| 2024 | GLOBECOM | LumiPane: Intelligent Interaction through Gesture Sensing and Ambient Light Communication. | Liguang Ruan, Chenxin Liang, Jiaqi Yin, Jiarong Li, Xiaojun Liang, Wenbo Ding |
| 2024 | ICML | Differentiable Combinatorial Scheduling at Scale. | Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu |
| 2024 | SAC | Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. | Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu |
| 2023 | APSEC | Formalization and Verification of Go-based New Simple Queue System. | Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu |
| 2023 | DAC | RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. | Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu |
| 2023 | ICCAD | AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. | Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou |
| 2023 | ICCAD | Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. | Jiaqi Yin, Cunxi Yu |
| 2023 | ISSRE | Formalization and Verification of the ICC Mechanism in Android System Using CSP. | Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu |
| 2022 | COMPSAC | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. | Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic |
| 2022 | FCCM | IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS. | Ecenur Ustun, Ismail San, Jiaqi Yin, Cunxi Yu, Zhiru Zhang |
| 2022 | ICECCS | The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. | Jiaqi Yin, Huibiao Zhu |
| 2022 | PDCAT | Formalization and Verification of SIP Using CSP. | Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen |
| 2022 | PDCAT | MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. | Junfu Luo, Jiaqi Yin, Huibiao Zhu |
| 2022 | SEKE | Formal Verification of COCO Database Framework Using CSP. | Peimu Li, Jiaqi Yin, Huibiao Zhu |
| 2022 | SEKE | Modeling and Verifying AUPS Using CSP. | Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen |
| 2021 | DATE | SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing. | Jiaqi Yin, Huibiao Zhu, Yuan Fei |
| 2021 | ISPA | Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP. | Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li |
| 2021 | TrustCom | Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. | Jiaqi Yin, Huibiao Zhu, Yuan Fei |
| 2021 | SEKE | Formalization and Verification of Dubbo Using CSP. | Zhiru Hou, Jiaqi Yin, Huibiao Zhu |
| 2021 | SEKE | Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). | Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen |
| 2021 | TASE | Formal Modelling and Verification of the RTPS Behavior Module. | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu |
| 2020 | APSEC | Modeling and Verifying Data Access Mechanism of NLSR Trust Model. | Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin |
| 2020 | TrustCom | Modeling and Analysis of RabbitMQ Using UPPAAL. | Ran Li, Jiaqi Yin, Huibiao Zhu |
| 2020 | SEKE | Formalization and Verification of VANET. | Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu |
| 2020 | SEKE | Formal Modelling and Verification of MCAC Router Architecture in ICN. | Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu |
| 2020 | SEKE | Modeling and Verifying NDN-based IoV Using CSP. | Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei |
| 2019 | ICFEM | A Security Calculus for Wireless Networks of Named Data Networking. | Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin |
| 2019 | SEKE | Verifying Static Aspects of UML models using Prolog (S). | Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu |
| 2019 | SEKE | Modeling and Verifying TESAC Using CSP. | Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin |
| 2019 | SEKE | Formalization and Verification of RTPS StatefulWriter Module Using CSP. | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu |
| 2019 | TASE | Verifying Opacity of a Modified PSTM. | Yucheng Fang, Huibiao Zhu, Jiaqi Yin |