Login / Signup
Yingjiu Guo
Publication Activity (10 Years)
Years Active: 2008-2018
Publications (10 Years): 3
Top Topics
Energy Consumption
Reasoning Mechanism
Theorem Prover
Petri Net
Top Venues
CIS
ICCCS (5)
</>
Publications
</>
Hongwei Zhu
,
Yajun Liu
,
Yingjiu Guo
,
Jing Jiang
Research on Indoor Positioning Method Based on Visible Light Communication Technology.
ICCCS (5)
(2018)
Yingjiu Guo
,
Xuemei Liu
Research on the Reasoning Mechanism of Copyright Protection of Digital Content Based on the Petri Net.
CIS
(2016)
Yingjiu Guo
,
Xuemei Liu
A Research on the Localization Technology of Wireless Sensor Networks Employing TI's CC2530 Instrument.
CIS
(2015)
Yingjiu Guo
,
Xuemei Liu
,
Xiufeng Shao
Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net.
CIS
(2013)
Yingjiu Guo
,
Chuang Lin
,
Hao Yin
Formal Proof of the IDOP_SP Protocol Based on the Petri Net.
NAS
(2008)