Yinyin Xiao

Computational Semantics of a Verification Logic of Local Sessions

Yinyin Xiao, 2013, 2013 International Conference on Computational and Information Sciences.

The DH exponentiation extension in a verification logic of local sessions

Kaile Su, Yinyin Xiao, 2012, 2012 IEEE International Conference on Computer Science and Automation Engineering (CSAE).

Abnormal data acquisition system of mechanical operation based on block chain technology

Yinyin Xiao, 2020 .

Robust information hiding in low-resolution videos with quantization index modulation in DCT-CS domain

Qingyun Dai, Jinchang Ren, Huimin Zhao, 2017, Multimedia Tools and Applications.

Advances in Brain Inspired Cognitive Systems: 10th International Conference, BICS 2019, Guangzhou, China, July 13–14, 2019, Proceedings

Kaizhu Huang, Amir Hussain, Huimin Zhao, 2020, International Conference on Advances in Brain Inspired Cognitive Systems.

Measurable Inheritability of Developing Component-based Big Data System

Hong Xu, Yinyin Xiao, Ruo Hu, 2016 .

Compressive sensing based secret signals recovery for effective image Steganalysis in secure communications

Huimin Zhao, Jin Zhan, Yinyin Xiao, 2019, Multimedia Tools and Applications.

Semantic interpretation of compositional logic in instantiation space

Kaile Su, Qingliang Chen, Han Lin, 2007, Frontiers of Computer Science in China.

Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model

Kaile Su, Qingliang Chen, Chanjuan Liu, 2010, 2010 International Conference on Service Sciences.