papers
Publications (6)
cs.LO2015
On the Computation Power of Name Parameterization in Higher-order Processes
Xian Xu, Qiang Yin, Huan Long
cs.LO2017
Two Lower Bounds for BPA
Qiang Yin, Mingzhang Huang, Chaodong He
cs.CV2017
SAR Target Recognition Using the Multi-aspect-aware Bidirectional LSTM Recurrent Neural Networks
Fan Zhang, Chen Hu, Qiang Yin +3
cs.DC2017
A GPU Based Memory Optimized Parallel Method For FFT Implementation
Fan Zhang, Chen Hu, Qiang Yin +1
cs.LO2014
Dividing Line between Decidable PDA's and Undecidable Ones
Yuxi Fu, Qiang Yin
cs.LO2014
Branching Bisimilarity Checking for PRS
Qiang Yin, Yuxi Fu, Chaodong He +2