Rumeng Shao

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Formal Verification

Collaborative Recommendation

Spreading Activation

Top Venues

Publications

Rumeng Shao, Hongyan Mao, Jinpeng Jiang
Time-Aware and Location-Based Personalized Collaborative Recommendation for IoT Services. COMPSAC (1) (2019)
Jinpeng Jiang, Hongyan Mao, Rumeng Shao, Yuanmin Xu
Formal Verification and Improvement of the PKMv3 Protocol Using CSP. COMPSAC (2) (2018)