Xu Xian

Postal Address Department of Computer Science and Technology School of Electronics and Informatics East China University of Science and Technology (ECUST) 130, Mei Long Road Shanghai, P.R. China, 200237 E-mail xuxian2004(at)gmail.com OR xuxian(at)ecust.edu.cn

Taken in Venice, Italy, in July, 2006. By Yan Qiqi.

Education

I obtained the BA in Computer Science at SJTU (Shanghai Jiao Tong University) in 2002. Then I continued to pursue the Master's degree as a student of Professor You Jinyuan at SJTU-DCTC (Distributed Computing Technology Center), and gained the MSc in 2005. In 2008 I received my PhD in SJTU-BASICS (Basics Studies in Computer Science) lab directed by Professor Fu Yuxi. The PhD thesis can be found below.

I am now an associate professor at ECUST.

Here is my CV (pdf).

Teaching

• Autumn 2008 -- Spring 2012:
  • Formal Semantics of Programming Languages (graduate students)
  • Communication and Concurrency (graduate students)
  • Software Engineering (third-years)
  • Discrete Mathematics (sophomores)
  • Data Structures (sophomores)
  • Software Development Technology (sophomores)
• Autumns 2013 -- 2020:
  • Java Programming (sophomores)
  • A first course of Assembly Programming (sophomores)
  • Discrete Mathematics (sophomores; with Professor Yu Huiqun)
• Autumns 2019 -- 2020:
  • Discrete Mathematics (international students)
  • Principles of Compilers (sophomores)
• Springs 2013 -- 2021:
  • Formal Languages and Automata (graduate students)

Current Interests

My research interest resides in basic theories in Computer Science. I am mainly focusing on two directions.

One is the concurrency theory, particularly the process theory, for example the first-order and higher-order π-calculus, including the semantics, bisimulation, algebraic theory, expressiveness and etc., and also other various process models.
The other is applications of concurrency theory. For instance, the formalization and verification of biological processes, including model constructing, method design and tool development, and the application in distributed computing, security protocol analysis and etc..

Recently, I'm also interested in Cryptography, particularly the foundation of cryptography, and its application in the industries.

I welcome all kinds of discussion and suggestion concerning these research directions and other relevant ones.
Sometimes kind of dizzy yet sometimes sort of ambitious.

Publication (chronological |:|)

• Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu,Zhizhou Zhang, and Lin He.
  An Implementation for Mapping SBML to BioSPI.
  Proceedings of FSKD 2005, LNAI 3614: 1128-1131, 2005. Springer-Verlag.
• Xian Xu, Ruonan Rao, Zhaoqing Jia and Jinyuan You.
  Grid Service and JCA: An Effective Integration Strategy.
  Proceedings of 2004 IEEE International Conference on Services Computing (SCC), 571-574, 2004. IEEE Computer Society.
• Xian Xu, Xiaoju Dong and Yuxi Fu.
  A Model in kappa for DNA Addition. (pdf)
  Proceedings of Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC2006), a satellite workshop of ICALP'06, Venice, Italy, July 2006.
  Also in ENTCS (Electronic Notes in Theoretical Computer Science), 171(2):209-222, 2007.
• A Model in kappa for DNA addition. Appendix. (pdf)
• Xian Xu.
  Tissue P Systems with Parallel Rules on Channels.(pdf)
  Pre-proceedings of the International Conference Bio-Inspired Computing--Theory and Applications (BIC-TA 2006), Wuhan, China.
  Also in Progress in Natural Science, 17(4): 486-491, 2007.
• Xian Xu and Yanbin Yu.
  Modeling and Verifying WNT Signaling Pathway.
  Proceedings of the 3rd International Conference on Natural Computation (ICNC'07), 319-323, Haikou, China. IEEE Computer Society.
• Modeling and Verifying WNT Signaling Pathway. Appendix. (pdf)
• Xian Xu.
  P Systems and Finite Automata.
  Proceedings of the first International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2007), 135-138, Vienna, Austria. IEEE Computer Society.
  
  
• Xian Xu.
  Expressing First-order Pi-calculus in Higher-order CCS.
  Journal of Computer Science and Technology, 24(1):122-137, 2009.
  Note: relabelling is tricky (formalism, proofs, etc.); abstraction may be better.
• Xian Xu.
  On Bisimulation Theory in Linear Higher-Order Pi-Calculus. (extended abstract) (pdf)
  In the proceedings of Concurrency Methods: Issues and Applications (CHINA 2008), a satellite workshop of PETRI NETS 2008, Xi'an, China, June 2008.
  Technical Report No. CS-TR-110: 125-141, University of Newcastle upon Tyne (School of Computing Science, Newcastle University), England.
• An Appendix of "On Bisimulation Theory in Linear Higher-Order Pi-Calculus (extended abstract)". (pdf)
• Xian Xu.
  On Bisimulation Theory in Linear Higher-Order Pi-Calculus.
  Transactions on Petri Nets and Other Models of Concurrency III, Lecture Notes in Computer Science (LNCS), 5800:244-274, 2009.
• Xian Xu, Yu Long and Xianping Mao.
  On TPM-Based Strong ID-Authentication and its Realization. (in Chinese)
  Computer Engineering, 2012(4):23-27.
• Yu Long, Xian Xu and Kefei Chen.
  Two Identity Based Threshold Cryptosystem with Reduced Trust in the PKG. (in Chinese)
  Journal of Computer Research and Development, 2012(5): 932-938.
• Xian Xu.
  Distinguishing and Relating Higher-order and First-order Processes by Expressiveness.
  Acta Informatica, 49:445-484, 2012.
• Xian Xu.
  On Context Bisimulation for Parameterized Higher-order Processes.
  Proceedings of the 6th Interaction and Concurrency Experience (ICE 2013), Florence, Italy, 6th June 2013, Electronic Proceedings in Theoretical Computer Science 131: 37-51, 2013.
• Xian Xu, Qiang Yin and Huan Long.
  On the Expressiveness of Parameterization in Process-passing.
  Post-proceedings of the 10th International Workshop on Web Services and Formal Methods, LNCS 8379: 147-167, Beijing, China, August 2013.
• Xian Xu.
  Higher-Order Pi-Calculus with Mismatch. (in Chinese)
  Journal of Software, 25(11): 2433-2451, 2014.
• Davide Sangiorgi and Xian Xu.
  Trees from Functions as Processes.
  Proceedings of the 25th Conference on Concurrency Theory (CONCUR 2014), Rome, LNCS 8704: 78-92, 2014.


• Xian Xu and Huan Long.
  A Logical Characterization for Linear Higher-Order Processes.
  Journal of Shanghai Jiaotong University (Science), 20(2): 185-194, 2015.
• Xian Xu, Qiang Yin, and Huan Long.
  On the Computation Power of Name Parameterization in Higher-order Processes.
  Proceedings of 8th Interaction and Concurrency Experience (ICE 2015), Grenoble, France, EPTCS 189: 114-127, 2015.
• Daniel Hirschkoff, Jean-Marie Madiot, and Xian Xu.
  A Behavioural Theory for a Pi-calculus with Preorders.
  Proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015), (post-proceedings) LNCS 9392: 143-158, 2015.
  [Best Paper Award.]
• Daniel Hirschkoff, Jean-Marie Madiot, and Xian Xu.
  A Behavioural Theory for a Pi-calculus with Preorders. (Extended version)
  Journal of Logical and Algebraic Methods in Programming, 84(6): 806-825, 2015.
• Nannan Liu and Xian Xu.
  On Higher-order Communication of Erlang.
  Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2016), 675-679, 2016.
• Xian Xu.
  Higher-order Processes with Parameterization over Names and Processes.
  Proceedings of Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016), Quebec, Canada, EPTCS 222: 15-29, 2016.
• Denghong Liu, Xian Xu, and Yu Long.
  On Member Search Engine Selection Using Artificial Neural Network in Meta Search Engine.
  Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2017), 865-868, 2017.
• Denghong Liu and Xian Xu.
  On Member Search Engine Selection in Meta Search Engine.
  Computer Science, 44(10): 234-236(-258), 2017. (In Chinese)
• Qiang Yin, Xian Xu, and Huan Long.
  On Parameterization of Higher-order Processes.
  International Journal of Computer Mathematics, 94(7): 1451-1478, 2017.
• Zhihuan Yao, Xian Xu, and Huiqun Yu.
  Floor Heating Customer Prediction Model Based on Random Forest.
  Proceedings of the 17th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2018), 573-578, Singapore, 2018.
• Davide Sangiorgi and Xian Xu.
  Trees from Functions as Processes. (Extended version)
  Logical Methods in Computer Science, 14(3:11), 1-41, 2018.
• Zhihuan Yao, Xian Xu, and Huiqun Yu.
  Floor Heating Customer Prediction Model Based on Random Forest. (Revised version)
  International Journal of Networked and Distributed Computing, 7(1):37-42, 2018.
• Jiahui Ren, Xian Xu, Zhihuan Yao, and Huiqun Yu.
  Recommender Systems Based on Autoencoder and Differential Privacy.
  Proceedings of the 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC 2019), 358-363, Milwaukee, WI, USA, 2019.
• Jiahui Ren, Xian Xu, and Huiqun Yu.
  Improved Collaborative Filtering Algorithm Incorporating User Information and Using Differential Privacy.
  Proceedings of the 14th Chinese Conference on Computer Supported Cooperative Work and Social Computing (ChineseCSCW 2019), Communications in Computer and Information Science (CCIS, Springer), 1042: 458-471, 2019.
• Wenbo Zhang, Huan Long, and Xian Xu.
  Uniform Random Process Model Revisited.
  Proceedings of the 17th Asian Symposium on Programming Languages and Systems (APLAS 2019), Lecture Notes in Computer Science (LNCS) 11893: 388-404, 2019.
• Xian Xu.
  Parameterizing Higher-order Processes on Names and Processes.
  RAIRO - Theoretical Informatics and Applications, 53(3-4): 153-206, 2019; published in January, 2020 (https://doi.org/10.1051/ita/2019005).
• Wenbo Zhang, Qiang Yin, Huan Long, and Xian Xu.
  Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete.
  Proceedings of the 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), LIPIcs, Volume 168, 141:1-141:14, 2020.
• Wenbo Zhang, Xian Xu, Qiang Yin, and Huan Long.
  On the Interactive Power of Higher-order Processes Extended with Parameterization.
  Formal Aspects of Computing, 33: 151-183, 2021.
• Xian Xu and Wenbo Zhang.
  On Decidability of the Bisimilarity on Higher-order Processes with Parameterization.
  Proceedings of the Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics (EXPRESS/SOS 2021), EPTCS 339: 76-92, 2021.
  A version with appendix. (pdf)
• Yan Hunag, Xian Xu, Huiqun Yu, and Xingguang Yang.
  Feature Transfer and Domain Adaptation Approach for Heterogeneous Defect Prediction. (in Chinese)
  Journal of Chinese Computer Systems,43(1):186-192, 2022.
• Yan Hunag and Xian Xu.
  Two-stage Cost-sensitive Local Models for Heterogeneous Cross-project Defect Prediction.
  Proceedings of the IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC 2022), 819-828, doi: 10.1109/COMPSAC54236.2022.00132, 2022.
• Jiajun Du, Zhonghui Ge, Yu Long, Zhen Liu, Shifeng Sun, Xian Xu, and Dawu Gu.
  MixCT: Mixing Confidential Transactions from Homomorphic Commitment.
  Proceedings of the 27th European Symposium on Research in Computer Security (ESORICS 2022), LNCS 13556: 763-769, 2022.
• Yu Song, Guoshun Fan, Yu Long, Zhen Liu, Xian Xu, and Dawu Gu.
  Grape: Efficient Hybrid Consensus Protocol Using DAG.
  Proceedings of the 6th International Workshop on Cryptocurrencies and Blockchain Technology (CBT 2022), ESORICS 2022 workshop, revised selected papers, LNCS 13619: 258-274, 2023.
• Xiangqin Yu, Xiang Wang, Zhiqiang Li, and Xian Xu.
  Biomedical Named Entity Recognition Based on Character Level Feature Adaptation. (in Chinese)
  Journal of Chinese Computer Systems,44(9):1876-1883, 2023.
• Yu Song, Yu Long, Xian Xu, and Dawu Gu.
  FaBFT: Flexible Asynchronous BFT Protocol Using DAG.
  Proceedings of Inscrypt 2023, IACR Cryptol. ePrint Arch. 2023: 1660, 2023.
• Zhonghui Ge, Jiayuan Gu, Chengke Wang, Yu Long, Xian Xu, and Dawu Gu.
  Accio: Variable-Amount, Optimized-Unlinkable and NIZK-Free Off-Chain Payments via Hubs.
  Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS 2023), pages 1541-1555, 2023. (doi)
• Jiafeng Wang and Xian Xu.
  Timed Colored Logical Petri Net. (in Chinese)
  Journal of Frontiers of Computer Science and Technology, online, to appear, 2024. (doi)
• Chenke Wang, Zhonghui Ge, Yu Long, Xian Xu, Shifeng Sun, and Dawu Gu.
  BlindShuffler: Universal and Trustless Mixing for Confidential Transactions.
  Proceedings of ACM AsiaCCS 2024, to appear, 2024.


• Xian Xu.
  Functions as Higher-order Processes: Revisited. In preparation, 2022-.
• Xian Xu with Wenbo Zhang and others.
  Uniform Random Process Model Revisited -- Extended version. In preparation, 2022-.



• Xian Xu.
  On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi. PhD THESIS (DRAFT). SJTU BASICS 2008. (pdf)

Useful Info.