Xian Xu

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 14

Top Topics

Theoretical Basis

Top Venues

J. Log. Algebraic Methods Program.

Publications

Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang
Analyzing Divergence for Nondeterministic Probabilistic Models. CoRR (2024)
Chenke Wang, Zhonghui Ge, Yu Long, Xian Xu, Shi-Feng Sun, Dawu Gu
BlindShuffler: Universal and Trustless Mixing for Confidential Transactions. AsiaCCS (2024)
Yu Song, Yu Long, Xian Xu, Dawu Gu
FaBFT: Flexible Asynchronous BFT Protocol Using DAG. Inscrypt (2) (2023)
Wenbo Zhang, Xian Xu, Qiang Yin, Huan Long
On the Interactive Power of Higher-order Processes Extended with Parameterization. Formal Aspects Comput. 33 (2) (2021)
Wenbo Zhang, Qiang Yin, Huan Long, Xian Xu
Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete. ICALP (2020)
Wenbo Zhang, Huan Long, Xian Xu
Uniform Random Process Model Revisited. APLAS (2019)
Xian Xu
Parameterizing higher-order processes on names and processes. RAIRO Theor. Informatics Appl. 53 (3-4) (2019)
Davide Sangiorgi, Xian Xu
Trees from Functions as Processes. CoRR (2018)
Davide Sangiorgi, Xian Xu
Trees from Functions as Processes. Log. Methods Comput. Sci. 14 (3) (2018)
Qiang Yin, Xian Xu, Huan Long
On parameterization of higher-order processes. Int. J. Comput. Math. 94 (7) (2017)
Xian Xu
Higher-order Processes with Parameterization over Names and Processes. EXPRESS/SOS (2016)
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
A Behavioural Theory for a π-calculus with Preorders. FSEN (2015)
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
A behavioural theory for a π-calculus with preorders. J. Log. Algebraic Methods Program. 84 (6) (2015)
Xian Xu, Qiang Yin, Huan Long
On the Computation Power of Name Parameterization in Higher-order Processes. ICE (2015)
Davide Sangiorgi, Xian Xu
Trees from Functions as Processes. CONCUR (2014)
Xian Xu
On Context Bisimulation for Parameterized Higher-order Processes. ICE (2013)
Xian Xu, Qiang Yin, Huan Long
On the Expressiveness of Parameterization in Process-Passing. WS-FM (2013)
Xian Xu
Distinguishing and relating higher-order and first-order processes by expressiveness. Acta Informatica 49 (7-8) (2012)
Xian Xu
Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems. J. Comput. Sci. Technol. 24 (1) (2009)
Xian Xu
-Calculus. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Xian Xu, Xiaoju Dong, Yuxi Fu
A Model in kappa for DNA Addition. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Xian Xu
P Systems and Finite Automata. CISIS (2007)
Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He
An Implementation for Mapping SBML to BioSPI. FSKD (2) (2005)
Xian Xu, Ruonan Rao, Zhaoqing Jia, Jinyuan You
Grid Service and JCA: An Effective Integration Strategy. IEEE SCC (2004)