Xiaoshan Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2006–2020
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | TASE | Formally Verifying Sequence Diagrams for Safety Critical Systems. | Xiaohong Chen, Frdric Mallet, Xiaoshan Liu |
| 2008 | ICNC | A 2-Approximation Algorithm for Weighted Directed Hypergraph Embedding in a cycle. | Qi Wang, Xiuheng Zhao, Xiaowei Zheng, Xiaoshan Liu |
| 2006 | GLOBECOM | Joint Radio Resource Management through Vertical Handoffs in 4G Networks. | Xiaoshan Liu, Victor O. K. Li, Ping Zhang |