Yuanmin Xu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2014–2018
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | COMPSAC | Formal Verification and Improvement of the PKMv3 Protocol Using CSP. | Jinpeng Jiang, Hongyan Mao, Rumeng Shao, Yuanmin Xu |
| 2017 | COMPSAC | Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction. | Kai Chen, Hongyan Mao, Xiangyu Shi, Yuanmin Xu, Ailun Liu |
| 2017 | COMPSAC | Formalization and Verification of the PKMv3 Protocol Using CSP. | Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu |
| 2015 | TASE | Formal Verification of PKMv3 Protocol Using DT-Spin. | Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao |
| 2014 | APSEC | pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. | Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu |