| 2025 | VTC | AoI-Optimized Scheduling for Wireless-Powered Cognitive Radio Networks with Short-Packet Communication. | Xingyuan Zhang, Xiangdong Jia, Hongli Bao, Jingjing Wu |
| 2024 | VTC | Average Age of Information for Multi-Source Single Buffer Preemption Queueing Model with Packet Dropping in Service. | Xingyuan Zhang, Xiangdong Jia, Heng Chang, Hailong Tian |
| 2013 | CPP | A Formal Model and Correctness Proof for an Access Control Policy Framework. | Chunhan Wu, Xingyuan Zhang, Christian Urban |
| 2013 | ITP | Mechanising Turing Machines and Computability Theory in Isabelle/HOL. | Jian Xu, Xingyuan Zhang, Christian Urban |
| 2012 | ITP | Priority Inheritance Protocol Proved Correct. | Xingyuan Zhang, Christian Urban, Chunhan Wu |
| 2011 | ITP | A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl). | Chunhan Wu, Xingyuan Zhang, Christian Urban |
| 2002 | SCAM | An Interprocedural Amorphous Slicer for WSL. | Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya |
| 2002 | SCAM | Mechanized Operational Semantics of WSL. | Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu |