Xu Xian's Homepage
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
Email 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 SJTUDCTC (Distributed Computing Technology Center), and gained the MSc in 2005. In 2008 I received my PhD in SJTUBASICS (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 (thirdyears)
 Discrete Mathematics (sophomores)
 Data Structures (sophomores)
 Software Development Technology (sophomores)
 Autumns 2013  2016:
 Java Programming (sophomores)
 A first course of Assembly Programming (sophomores)
 Discrete Mathematics (sophomores; with Professor Yu Huiqun)
 Springs 2013  2016:
 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 firstorder and higherorder π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, tool development, and the application in distributed computing and security protocol analysis and etc..
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.
Related work (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: 11281131, 2005. SpringerVerlag.
 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), 571574, 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):209222, 2007.
 A Model in kappa for DNA addition. Appendix.
(pdf)
 Xian Xu.
Tissue P Systems with Parallel Rules on Channels.(pdf)
Preproceedings of the International Conference BioInspired ComputingTheory and Applications (BICTA 2006), Wuhan, China.
Also in Progress in Natural Science, 17(4): 486491, 2007.
 Xian Xu and Yanbin Yu.
Modeling and Verifying WNT Signaling Pathway.
Proceedings of the 3rd International Conference on Natural Computation (ICNC'07), 319323, 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), 135138, Vienna, Austria. IEEE Computer Society.
 Xian Xu.
Expressing Firstorder Picalculus in Higherorder CCS.
Journal of Computer Science and Technology, 24(1):122137, 2009.
Note: relabelling is tricky (formalism, proofs, etc.); abstraction may be better.
 Xian Xu.
On Bisimulation Theory in Linear HigherOrder PiCalculus. (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. CSTR110: 125141, University of Newcastle upon Tyne (School of Computing Science, Newcastle University), England.
 An Appendix of "On Bisimulation Theory in Linear HigherOrder PiCalculus (extended abstract)".
(pdf)
 Xian Xu.
On Bisimulation Theory in Linear HigherOrder PiCalculus.
Transactions on Petri Nets and Other Models of Concurrency III, Lecture Notes in Computer Science (LNCS), 5800:244274, 2009.
 Xian Xu, Yu Long and Xianping Mao.
On TPMBased Strong IDAuthentication and its Realization. (in Chinese)
Computer Engineering, 2012(4):2327.
 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): 932938.
 Xian Xu.
Distinguishing and Relating Higherorder and Firstorder Processes by Expressiveness.
Acta Informatica, 49:445484, 2012.
 Xian Xu.
On Context Bisimulation for Parameterized Higherorder Processes.
Proceedings of the 6th Interaction and Concurrency Experience (ICE 2013), Florence, Italy, 6th June 2013, Electronic Proceedings in Theoretical Computer Science 131: 3751, 2013.
 Xian Xu, Qiang Yin and Huan Long.
On the Expressiveness of Parameterization in Processpassing.
Proceedings of the 10th International Workshop on Web Services and Formal Methods, Beijing, China, August 2013.
 Xian Xu.
HigherOrder PiCalculus with Mismatch. (in Chinese)
Journal of Software, 25(11): 24332451, 2014.
 Davide Sangiorgi and Xian Xu.
Trees from Functions as Processes.
Proceedings of CONCUR 2014, Rome, LNCS 8704: 7892, 2014.
 Xian Xu and Huan Long.
A Logical Characterization for Linear HigherOrder Processes.
Journal of Shanghai Jiaotong University (Science), 20(2): 185194, 2015.
 Xian Xu, Qiang Yin, and Huan Long.
On the Computation Power of Name Parameterization in Higherorder Processes.
Proceedings of 8th Interaction and Concurrency Experience (ICE 2015), Grenoble, France, EPTCS 189: 114127, 2015.
 Daniel Hirschkoff, JeanMarie Madiot, and Xian Xu.
A Behavioural Theory for a Picalculus with Preorders.
Proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015), (postproceedings) LNCS 9392: 143158, 2015.
 Daniel Hirschkoff, JeanMarie Madiot, and Xian Xu.
A Behavioural Theory for a Picalculus with Preorders. (Extended version)
Journal of Logical and Algebraic Methods in Programming, 84(6): 806825, 2015.
 Nannan Liu and Xian Xu.
On Higherorder Communication of Erlang.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2016), 675679, 2016.
 Qiang Yin, Xian Xu, and Huan Long.
On Parameterization of Higherorder Processes.
International Journal of Computer Mathematics, to appear, 2016.
 Xian Xu.
Higherorder 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: 1529, 2016.
 Xian Xu, Qiang Yin, and Huan Long.
On the Computation Power of Parameterization in Higherorder Processes. In preparation, 2016.
 Xian Xu.
On the Bisimulation Theory and Axiomatization of Higherorder Process Calculi. PhD THESIS (DRAFT). SJTU BASICS 2008.
(pdf)
Useful Info.
Links