Formal Proof of the IDOP_SP Protocol Based on the Petri Net. - Yingjiu Guo; Chuang Lin 002; Hao Yin (NAS, 2008)

Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net. - Yingjiu Guo; Xuemei Liu; Xiufeng Shao (CIS, 2013)

A Research on the Localization Technology of Wireless Sensor Networks Employing TI's CC2530 Instrument. - Yingjiu Guo; Xuemei Liu (CIS, 2015)

Research on the Reasoning Mechanism of Copyright Protection of Digital Content Based on the Petri Net. - Yingjiu Guo; Xuemei Liu (CIS, 2016)

Research on Indoor Positioning Method Based on Visible Light Communication Technology. - Hongwei Zhu; Yajun Liu; Yingjiu Guo; Jing Jiang 020 (ICCCS (5), 2018)