Xian Xu

According to our database, Xian Xu authored at least 26 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Analyzing Divergence for Nondeterministic Probabilistic Models.

Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang

CoRR, 2024

BlindShuffler: Universal and Trustless Mixing for Confidential Transactions.

Chenke Wang, Zhonghui Ge, Yu Long, Xian Xu, Shi-Feng Sun, Dawu Gu

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

2023

FaBFT: Flexible Asynchronous BFT Protocol Using DAG.

Yu Song, Yu Long, Xian Xu, Dawu Gu

IACR Cryptol. ePrint Arch., 2023

Accio: Variable-Amount, Optimized-Unlinkable and NIZK-Free Off-Chain Payments via Hubs.

Zhonghui Ge, Jiayuan Gu, Chenke Wang, Yu Long, Xian Xu, Dawu Gu

IACR Cryptol. ePrint Arch., 2023

2022

MixCT: Mixing Confidential Transactions from Homomorphic Commitment.

Jiajun Du, Zhonghui Ge, Yu Long, Zhen Liu, Shifeng Sun, Xian Xu, Dawu Gu

IACR Cryptol. ePrint Arch., 2022

Grape: Efficient Hybrid Consensus Protocol Using DAG.

Yu Song, Guoshun Fan, Yu Long, Zhen Liu, Xian Xu, Dawu Gu

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2022

Two-stage cost-sensitive local models for heterogeneous cross-project defect prediction.

Yan Huang, Xian Xu

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

On the Interactive Power of Higher-order Processes Extended with Parameterization.

Wenbo Zhang, Xian Xu, Qiang Yin, Huan Long

Formal Aspects Comput., 2021

2020

Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete.

Wenbo Zhang, Qiang Yin, Huan Long, Xian Xu

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

Parameterizing higher-order processes on names and processes.

Xian Xu

RAIRO Theor. Informatics Appl., 2019

Uniform Random Process Model Revisited.

Wenbo Zhang, Huan Long, Xian Xu

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Trees from Functions as Processes.

Davide Sangiorgi, Xian Xu

Log. Methods Comput. Sci., 2018

2017

On parameterization of higher-order processes.

Qiang Yin, Xian Xu, Huan Long

Int. J. Comput. Math., 2017

On member search engine selection using artificial neural network in meta search engine.

Denghong Liu, Xian Xu, Yu Long

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

Higher-order Processes with Parameterization over Names and Processes.

Xian Xu

Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016

2015

A behavioural theory for a π-calculus with preorders.

Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu

J. Log. Algebraic Methods Program., 2015

On the Computation Power of Name Parameterization in Higher-order Processes.

Xian Xu, Qiang Yin, Huan Long

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

2013

On Context Bisimulation for Parameterized Higher-order Processes.

Xian Xu

Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

On the Expressiveness of Parameterization in Process-Passing.

Xian Xu, Qiang Yin, Huan Long

Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

2012

Distinguishing and relating higher-order and first-order processes by expressiveness.

Xian Xu

Acta Informatica, 2012

2009

On Bisimulation Theory in Linear Higher-Order <i>pi</i>-Calculus.

Xian Xu

Trans. Petri Nets Other Model. Concurr., 2009

Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems.

Xian Xu

J. Comput. Sci. Technol., 2009

2007

P Systems and Finite Automata.

Xian Xu

Proceedings of the First International Conference on Complex, 2007

2006

A Model in kappa for DNA Addition.

Xian Xu, Xiaoju Dong, Yuxi Fu

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

2005

An Implementation for Mapping SBML to BioSPI.

Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

2004

Grid Service and JCA: An Effective Integration Strategy.

Xian Xu, Ruonan Rao, Zhaoqing Jia, Jinyuan You

Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004), 2004