Login / Signup
Xiaoshan Liu
Publication Activity (10 Years)
Years Active: 2006-2020
Publications (10 Years): 1
Top Topics
Safety Critical
Maximum Matching
Densely Connected
Sequence Diagrams
Top Venues
Ars Comb.
TASE
</>
Publications
</>
Xiaohong Chen
,
Frédéric Mallet
,
Xiaoshan Liu
Formally Verifying Sequence Diagrams for Safety Critical Systems.
TASE
(2020)
Qingde Kang
,
Xiaoshan Liu
,
Huixian Jia
Packings and coverings for four particular graphs each with six vertices and nine edges (λ = 1).
Ars Comb.
106 (2012)
Xiaoshan Liu
,
Qing Liu
,
Guolan Fu
Texture analyse based on coefficients' relationship co-occurrence histogram.
CAD/Graphics
(2009)
Qi Wang
,
Xiaoshan Liu
,
Xiaowei Zheng
,
Chunlin Li
Minimum-Congestion Weighted Hypergraph Embedding in a Rings Cycle.
CSIE (3)
(2009)
Qi Wang
,
Xiuheng Zhao
,
Xiaowei Zheng
,
Xiaoshan Liu
A 2-Approximation Algorithm for Weighted Directed Hypergraph Embedding in a cycle.
ICNC (6)
(2008)
Xiaoshan Liu
,
Victor O. K. Li
,
Ping Zhang
Joint Radio Resource Management through Vertical Handoffs in 4G Networks.
GLOBECOM
(2006)