Qiang Yin

I obtained my PhD degree from Shanghai Jiao Tong University in 2016 under the supervision of Prof. Yuxi Fu.

I am currently a postdoctoral researcher at Beihang University.


  • Email: echo eWlucWlhbmcuc2p0dUBnbWFpbC5jb20K | base64 -d
  • Office: Room H1021, New Main Building, Beihang University


  • Mingzhang Huang and Qiang Yin. Tow Lower Bouds for BPA. CONCUR 2017, to appear. (full paper)
  • Yuxi Fu and Qiang Yin.Bisimulation Decomposition for PDA Decidability. 2017.(full paper)
  • Qiang Yin, Xian Xu and Huan Long. On Parameterization of Higher-Order Process Calculi. International Journal of Computer Mathematics. 2016 (full paper)
  • Xian Xu, Qiang Yin and Huan Long. On the Computation Power of Name Parameterization in Higher-order Processes. ICE 2015. (full paper)
  • Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang and Xiuting Tao. Branching Bisimilarity Checking for PRS. ICALP 2014, Part II, LNCS 8573, pp. 363–374, 2014. (full paper)
  • Xian Xu, Qiang Yin and Huan Long.On the Expressiveness of Parameterization in Process-passing. WS-FM 2013, LNCS 8379, pp. 147–167, 2014. (full paper)
  • Qiang Yin and Huan Long. Process passing calculus, revisited, Journal of Shanghai Jiaotong University (Science) 18 (1) (2013) 29–36. (full paper)


  • Qiang Yin. Branching Bisimilarity Checking On Infinite State Systems. Thesis. Shanghai Jiao Tong University. 2016. (pdf)

Laste updated: Jul 5, 2017