Xian Xu

39 papers A* 2A 1B 3C 2Misc 1Journal 18Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Logical characterization of branching bisimilarity over random processes.
Inf. Process. Lett.
Xian Xu, Wenbo Zhang
2026 J jnl
On bisimulation in absence of restriction.
RAIRO Theor. Informatics Appl.
Xian Xu
2025 J jnl
On higher-order communication in ambient calculi.
Math. Struct. Comput. Sci.
Xian Xu, Yan Huang, Zhihuan Yao
2025 C conf
Secure Threshold Wallet Supporting Full Stealth Address.
ICBC
Haojun Zhai, Chenke Wang, Yu Long, Xian Xu, Dawu Gu
2025 J jnl
UniCross: A Universal Cross-Chain Payment Protocol with On-demand Privacy and High Scalability.
IACR Cryptol. ePrint Arch.
Chenke Wang, Yu Long, Xian Xu, Shi-Feng Sun, Yiqi Liu, Dawu Gu
2025 — conf
Walnut: A Generic Framework with Enhanced Scalability for BFT Protocols.
ACISP (1)
Lei Tian, Chenke Wang, Yu Long, Xian Xu, Mingchao Wan, Chunmiao Li, Shifeng Sun, Dawu Gu
2025 J jnl
Walnut: A Generic Framework with Enhanced Scalability for BFT Protocols.
IACR Cryptol. ePrint Arch.
Lei Tian, Chenke Wang, Yu Long, Xian Xu, Mingchao Wan, Chunmiao Li, Shifeng Sun, Dawu Gu
2024 J jnl
Analyzing Divergence for Nondeterministic Probabilistic Models.
CoRR
Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang
2024 A conf
BlindShuffler: Universal and Trustless Mixing for Confidential Transactions.
AsiaCCS
Chenke Wang, Zhonghui Ge, Yu Long, Xian Xu, Shi-Feng Sun, Dawu Gu
2023 A* conf
Accio: Variable-Amount, Optimized-Unlinkable and NIZK-Free Off-Chain Payments via Hubs.
CCS
Zhonghui Ge, Jiayuan Gu, Chenke Wang, Yu Long, Xian Xu, Dawu Gu
2023 J jnl
Accio: Variable-Amount, Optimized-Unlinkable and NIZK-Free Off-Chain Payments via Hubs.
IACR Cryptol. ePrint Arch.
Zhonghui Ge, Jiayuan Gu, Chenke Wang, Yu Long, Xian Xu, Dawu Gu
2023 — conf
FaBFT: Flexible Asynchronous BFT Protocol Using DAG.
Inscrypt (2)
Yu Song, Yu Long, Xian Xu, Dawu Gu
2023 J jnl
FaBFT: Flexible Asynchronous BFT Protocol Using DAG.
IACR Cryptol. ePrint Arch.
Yu Song, Yu Long, Xian Xu, Dawu Gu
2022 — conf
Grape: Efficient Hybrid Consensus Protocol Using DAG.
DPM/CBT@ESORICS
Yu Song, Guoshun Fan, Yu Long, Zhen Liu, Xian Xu, Dawu Gu
2022 — conf
MixCT: Mixing Confidential Transactions from Homomorphic Commitment.
ESORICS (3)
Jiajun Du, Zhonghui Ge, Yu Long, Zhen Liu, Shifeng Sun, Xian Xu, Dawu Gu
2022 J jnl
MixCT: Mixing Confidential Transactions from Homomorphic Commitment.
IACR Cryptol. ePrint Arch.
Jiajun Du, Zhonghui Ge, Yu Long, Zhen Liu, Shifeng Sun, Xian Xu, Dawu Gu
2022 B conf
Two-stage cost-sensitive local models for heterogeneous cross-project defect prediction.
COMPSAC
Yan Huang, Xian Xu
2021 J jnl
On the Interactive Power of Higher-order Processes Extended with Parameterization.
Formal Aspects Comput.
Wenbo Zhang, Xian Xu, Qiang Yin, Huan Long
2020 A* conf
Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete.
ICALP
Wenbo Zhang, Qiang Yin, Huan Long, Xian Xu
2019 J jnl
Parameterizing higher-order processes on names and processes.
RAIRO Theor. Informatics Appl.
Xian Xu
2019 B conf
Uniform Random Process Model Revisited.
APLAS
Wenbo Zhang, Huan Long, Xian Xu
2018 J jnl
Trees from Functions as Processes.
CoRR
Davide Sangiorgi, Xian Xu
2018 J jnl
Trees from Functions as Processes.
Log. Methods Comput. Sci.
Davide Sangiorgi, Xian Xu
2017 C conf
On member search engine selection using artificial neural network in meta search engine.
ICIS
Denghong Liu, Xian Xu, Yu Long
2017 J jnl
On parameterization of higher-order processes.
Int. J. Comput. Math.
Qiang Yin, Xian Xu, Huan Long
2016 — conf
Higher-order Processes with Parameterization over Names and Processes.
EXPRESS/SOS
Xian Xu
2015 — conf
A Behavioural Theory for a π-calculus with Preorders.
FSEN
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
2015 J jnl
A behavioural theory for a π-calculus with preorders.
J. Log. Algebraic Methods Program.
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
2015 — conf
On the Computation Power of Name Parameterization in Higher-order Processes.
ICE
Xian Xu, Qiang Yin, Huan Long
2014 B conf
Trees from Functions as Processes.
CONCUR
Davide Sangiorgi, Xian Xu
2013 — conf
On Context Bisimulation for Parameterized Higher-order Processes.
ICE
Xian Xu
2013 — conf
On the Expressiveness of Parameterization in Process-Passing.
WS-FM
Xian Xu, Qiang Yin, Huan Long
2012 J jnl
Distinguishing and relating higher-order and first-order processes by expressiveness.
Acta Informatica
Xian Xu
2009 J jnl
Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems.
J. Comput. Sci. Technol.
Xian Xu
2009 J jnl
On Bisimulation Theory in Linear Higher-Order
Trans. Petri Nets Other Model. Concurr.
Xian Xu
2007 Misc conf
P Systems and Finite Automata.
CISIS
Xian Xu
2006 — conf
A Model in kappa for DNA Addition.
MeCBIC@ICALP
Xian Xu, Xiaoju Dong, Yuxi Fu
2005 — conf
An Implementation for Mapping SBML to BioSPI.
FSKD (2)
Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He
2004 — conf
Grid Service and JCA: An Effective Integration Strategy.
IEEE SCC
Xian Xu, Ruonan Rao, Zhaoqing Jia, Jinyuan You