Xiaoshan Liu

According to our database, Xiaoshan Liu authored at least 6 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Formally Verifying Sequence Diagrams for Safety Critical Systems.

Xiaohong Chen, Frédéric Mallet, Xiaoshan Liu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2012

Packings and coverings for four particular graphs each with six vertices and nine edges (λ = 1).

Qingde Kang, Xiaoshan Liu, Huixian Jia

Ars Comb., 2012

2009

Minimum-Congestion Weighted Hypergraph Embedding in a Rings Cycle.

Qi Wang, Xiaoshan Liu, Xiaowei Zheng, Chunlin Li

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Texture analyse based on coefficients' relationship co-occurrence histogram.

Xiaoshan Liu, Qing Liu, Guolan Fu

Proceedings of the 11th International Conference on Computer-Aided Design and Computer Graphics, 2009

2008

A 2-Approximation Algorithm for Weighted Directed Hypergraph Embedding in a cycle.

Qi Wang, Xiuheng Zhao, Xiaowei Zheng, Xiaoshan Liu

Proceedings of the Fourth International Conference on Natural Computation, 2008

2006

Joint Radio Resource Management through Vertical Handoffs in 4G Networks.

Xiaoshan Liu, Victor O. K. Li, Ping Zhang

Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006