Edit Profile (opens in new tab) Yin, Qiang Co-Author Distance Author ID: yin.qiang Published as: Yin, Qiang Documents Indexed: 10 Publications since 2000 Co-Authors: 22 Co-Authors with 9 Joint Publications 500 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Long, Huan 3 Xu, Xian 2 Huang, Mingzhang 1 Cai, Juntong 1 Cao, Yang 1 Cui, H. S. 1 Ding, Qian 1 Fan, Wenfei 1 Fu, Yuxi 1 Gong, Xue 1 He, Chaodong 1 Lee, Byung Soo 1 Li, Gongfa 1 Liu, Zeqing 1 Lu, Ping 1 Luo, Xiaojian 1 Tao, Xiuting 1 Xu, Jingbo 1 Xu, Ruiqi 1 Yu, Wenyuan 1 Zhang, Wenbo 1 Zhou, Jingren 1 Zhu, Jianguo all top 5 Serials 1 ACM Transactions on Database Systems 1 Formal Aspects of Computing 1 International Journal of Computer Mathematics 1 Nonlinear Analysis Forum 1 Iranian Journal of Fuzzy Systems 1 Discrete and Continuous Dynamical Systems. Series S 1 AMM. Applied Mathematics and Mechanics. (English Edition) all top 5 Fields 9 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Ordinary differential equations (34-XX) 1 Operator theory (47-XX) 1 Mechanics of particles and systems (70-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 12 times in 11 Documents Cited by ▼ Year ▼ Branching bisimilarity checking for PRS. Zbl 1409.68190Yin, Qiang; Fu, Yuxi; He, Chaodong; Huang, Mingzhang; Tao, Xiuting 5 2014 On the computation power of name parameterization in higher-order processes. Zbl 1433.68263Xu, Xian; Yin, Qiang; Long, Huan 5 2015 On parameterization of higher-order processes. Zbl 1409.68191Yin, Qiang; Xu, Xian; Long, Huan 1 2017 Two lower bounds for BPA. Zbl 1442.68144Huang, Mingzhang; Yin, Qiang 1 2017 On parameterization of higher-order processes. Zbl 1409.68191Yin, Qiang; Xu, Xian; Long, Huan 1 2017 Two lower bounds for BPA. Zbl 1442.68144Huang, Mingzhang; Yin, Qiang 1 2017 On the computation power of name parameterization in higher-order processes. Zbl 1433.68263Xu, Xian; Yin, Qiang; Long, Huan 5 2015 Branching bisimilarity checking for PRS. Zbl 1409.68190Yin, Qiang; Fu, Yuxi; He, Chaodong; Huang, Mingzhang; Tao, Xiuting 5 2014 all cited Publications top 5 cited Publications all top 5 Cited by 15 Authors 3 Xu, Xian 2 Fu, Yuxi 2 Jančar, Petr 2 Keiren, Jeroen J. A. 2 Willemse, Tim A. C. 1 Cranen, Sjoerd 1 de Frutos-Escrig, David 1 Kouzapas, Dimitrios 1 Kucera, Antonin 1 Long, Huan 1 Mayr, Richard M. 1 Pérez, Jorge A. 1 Yin, Qiang 1 Yoshida, Nobuko 1 Zhang, Wenbo all top 5 Cited in 6 Serials 2 Journal of Computer and System Sciences 2 Theoretical Computer Science 1 Acta Informatica 1 Information and Computation 1 Formal Aspects of Computing 1 RAIRO. Theoretical Informatics and Applications Cited in 3 Fields 11 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year