| 2026 | CONCUR | Improving Reachability in Vector Addition Systems Through Pumpability. | Weijun Chen, Yuxi Fu, Yangluo Zheng |
| 2025 | SAS | A Programming Language for Feasible Solutions. | Weijun Chen, Yuxi Fu, Huan Long |
| 2024 | ICALP | Improved Algorithm for Reachability in d-VASS. | Yuxi Fu, Qizhe Yang, Yangluo Zheng |
| 2017 | CONCUR | On the Power of Name-Passing Communication. | Yuxi Fu |
| 2017 | SETTA | Remark on Some \pi Variants. | Jianxin Xue, Huan Long, Yuxi Fu |
| 2016 | SETTA | Place Bisimulation and Liveness for Open Petri Nets. | Xiaoju Dong, Yuxi Fu, Daniele Varacca |
| 2014 | ICALP | Branching Bisimilarity Checking for PRS. | Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao |
| 2013 | ICALP | Checking Equality and Regularity for Normed BPA with Silent Moves. | Yuxi Fu |
| 2010 | CONCUR | Theory by Process. | Yuxi Fu |
| 2006 | ICNC | Secrecy of Signals by Typing in Signal Transduction. | Min Zhang, Guoqiang Li, Yuxi Fu |
| 2006 | ISPDC | Bisimulation Congruence for Asymmetric chi ^ e -Calculus. | Farong Zhong, Yuxi Fu, Xiaoju Dong |
| 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 | Formalizing the Environment View of Process Equivalence. | Yuxi Fu, Xiaoju Dong |
| 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 |
| 2003 | APLAS | Observing Asymmetry and Mismatch. | Xiaoju Dong, Yuxi Fu |
| 2002 | APLAS | On Quasi-Open Bisimulation. | Yuxi Fu |
| 2000 | CONCUR | Chi Calculus with Mismatch. | Yuxi Fu, Zhenrong Yang |
| 1999 | CONCUR | Open Bisimulations on Chi Processes. | Yuxi Fu |
| 1997 | ICALP | A Proof Theoretical Approach to Communication. | Yuxi Fu |