Distinguishing and relating higher-order and first-order processes by expressiveness X Xu Acta Informatica 49 (7), 445-484, 2012 | 16 | 2012 |
Trees from functions as processes D Sangiorgi, X Xu International Conference on Concurrency Theory, 78-92, 2014 | 8 | 2014 |
On the bisimulation theory and axiomatization of higher-order process calculi X Xu PhD thesis, Shanghai Jiao Tong University, 2007 | 8 | 2007 |
On the computation power of name parameterization in higher-order processes X Xu, Q Yin, H Long Proceedings of 8th Interaction and Concurrency Experience (ICE 2015 …, 2015 | 7 | 2015 |
On Bisimulation Theory in Linear Higher-Order π-Calculus X Xu Transactions on Petri Nets and Other Models of Concurrency III, 244-274, 2009 | 7 | 2009 |
Recommender systems based on autoencoder and differential privacy J Ren, X Xu, Z Yao, H Yu 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019 | 6 | 2019 |
Floor heating customer prediction model based on random forest Z Yao, X Xu, H Yu International Journal of Networked and Distributed Computing 7 (1), 37-42, 2018 | 6 | 2018 |
Trees from functions as processes D Sangiorgi, X Xu Logical Methods in Computer Science 14, 2018 | 6 | 2018 |
On member search engine selection using artificial neural network in meta search engine D Liu, X Xu, Y Long 2017 IEEE/ACIS 16th International Conference on Computer and Information …, 2017 | 6 | 2017 |
Uniform random process model revisited W Zhang, H Long, X Xu Asian Symposium on Programming Languages and Systems, 388-404, 2019 | 5 | 2019 |
两个降低 PKG 信任级的基于身份的门限密码体制 龙宇, 徐贤, 陈克非 计算机研究与发展 49 (5), 932-938, 2012 | 5 | 2012 |
On Bisimulation in Absence of Restriction X Xu arXiv preprint arXiv:2210.10574, 2022 | 4 | 2022 |
A behavioural theory for a π-calculus with preorders D Hirschkoff, JM Madiot, X Xian Journal of Logical and Algebraic Methods in Programming 84 (6), 806-825, 2015 | 4 | 2015 |
On context bisimulation for parameterized higher-order processes X Xu Proceedings of the 6th Interaction and Concurrency Experience (ICE 2013) 131 …, 2013 | 4 | 2013 |
On the expressiveness of parameterization in process-passing X Xu, Q Yin, H Long International Workshop on Web Services and Formal Methods, 147-167, 2013 | 4 | 2013 |
Expressing first-order π-calculus in higher-order calculus of communicating systems X Xu Journal of Computer Science and Technology 24 (1), 122-137, 2009 | 4 | 2009 |
A logical characterization for linear higher-order processes X Xu, H Long Journal of Shanghai Jiaotong University (Science) 20, 185-194, 2015 | 3 | 2015 |
Research on TPM based strong ID authentication protocol X Xu, Y Long, XP Mao Computer Engineering 38 (4), 23-27, 2012 | 3 | 2012 |
基于 TPM 的强身份认证协议研究 徐贤, 龙宇, 毛贤平 计算机工程 38 (4), 23-27, 2012 | 3 | 2012 |
Modeling and verifying WNT signaling pathway X Xu, Y Yu Third International Conference on Natural Computation (ICNC 2007) 2, 319-323, 2007 | 3 | 2007 |