Grid Service and JCA: An Effective Integration Strategy. - Xian Xu 001; Ruonan Rao; Zhaoqing Jia; Jinyuan You (IEEE SCC, 2004)

An Implementation for Mapping SBML to BioSPI. - Zhupeng Dong; Xiaoju Dong; Xian Xu 001; Yuxi Fu; Zhizhou Zhang 003; Lin He 007 (FSKD (2), 2005)

A Model in kappa for DNA Addition. - Xian Xu 001; Xiaoju Dong; Yuxi Fu (MeCBIC@ICALP, 2006)

P Systems and Finite Automata. - Xian Xu 001 (CISIS, 2007)

Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems. - Xian Xu 001 (J. Comput. Sci. Technol., 2009)

On Bisimulation Theory in Linear Higher-Order pi-Calculus. - Xian Xu 001 (Trans. Petri Nets Other Model. Concurr., 2009)

Distinguishing and relating higher-order and first-order processes by expressiveness. - Xian Xu 001 (Acta Informatica, 2012)

On the Expressiveness of Parameterization in Process-Passing. - Xian Xu 001; Qiang Yin 002; Huan Long (WS-FM, 2013)

On Context Bisimulation for Parameterized Higher-order Processes. - Xian Xu 001 (ICE, 2013)

On the Computation Power of Name Parameterization in Higher-order Processes. - Xian Xu 001; Qiang Yin 002; Huan Long (ICE, 2015)

A behavioural theory for a π-calculus with preorders. - Daniel Hirschkoff; Jean-Marie Madiot; Xian Xu 001 (J. Log. Algebraic Methods Program., 2015)

Higher-order Processes with Parameterization over Names and Processes. - Xian Xu 001 (EXPRESS/SOS, 2016)

On member search engine selection using artificial neural network in meta search engine. - Denghong Liu; Xian Xu 001; Yu Long 001 (ICIS, 2017)

On parameterization of higher-order processes. - Qiang Yin 002; Xian Xu 001; Huan Long (Int. J. Comput. Math., 2017)

Trees from Functions as Processes. - Davide Sangiorgi; Xian Xu 001 (Log. Methods Comput. Sci., 2018)

Uniform Random Process Model Revisited. - Wenbo Zhang 004; Huan Long; Xian Xu 001 (APLAS, 2019)

Parameterizing higher-order processes on names and processes. - Xian Xu 001 (RAIRO Theor. Informatics Appl., 2019)

Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete. - Wenbo Zhang 004; Qiang Yin 002; Huan Long; Xian Xu 001 (ICALP, 2020)

On the Interactive Power of Higher-order Processes Extended with Parameterization. - Wenbo Zhang 004; Xian Xu 001; Qiang Yin 002; Huan Long (Formal Aspects Comput., 2021)

Two-stage cost-sensitive local models for heterogeneous cross-project defect prediction. - Yan Huang; Xian Xu 001 (COMPSAC, 2022)

Grape: Efficient Hybrid Consensus Protocol Using DAG. - Yu Song; Guoshun Fan; Yu Long 001; Zhen Liu 008; Xian Xu 001; Dawu Gu (DPM/CBT@ESORICS, 2022)

MixCT: Mixing Confidential Transactions from Homomorphic Commitment. - Jiajun Du; Zhonghui Ge; Yu Long 001; Zhen Liu 008; Shifeng Sun 001; Xian Xu 001; Dawu Gu (IACR Cryptol. ePrint Arch., 2022)

Accio: Variable-Amount, Optimized-Unlinkable and NIZK-Free Off-Chain Payments via Hubs. - Zhonghui Ge; Jiayuan Gu; Chenke Wang; Yu Long 001; Xian Xu 001; Dawu Gu (IACR Cryptol. ePrint Arch., 2023)

FaBFT: Flexible Asynchronous BFT Protocol Using DAG. - Yu Song; Yu Long 001; Xian Xu 001; Dawu Gu (IACR Cryptol. ePrint Arch., 2023)

BlindShuffler: Universal and Trustless Mixing for Confidential Transactions. - Chenke Wang; Zhonghui Ge; Yu Long 001; Xian Xu 001; Shi-Feng Sun 001; Dawu Gu (AsiaCCS, 2024)

Analyzing Divergence for Nondeterministic Probabilistic Models. - Hao Wu; Yuxi Fu; Huan Long; Xian Xu 001; Wenbo Zhang 004 (CoRR, 2024)

Secure Threshold Wallet Supporting Full Stealth Address. - Haojun Zhai; Chenke Wang; Yu Long 001; Xian Xu 001; Dawu Gu (ICBC, 2025)

Walnut: A Generic Framework with Enhanced Scalability for BFT Protocols. - Lei Tian; Chenke Wang; Yu Long 001; Xian Xu 001; Mingchao Wan; Chunmiao Li; Shifeng Sun 001; Dawu Gu (IACR Cryptol. ePrint Arch., 2025)

On higher-order communication in ambient calculi. - Xian Xu 001; Yan Huang; Zhihuan Yao (Math. Struct. Comput. Sci., 2025)