Hai-Yan Qiao

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Specification Language

General Purpose

Spectral Clustering

Top Venues

Math. Struct. Comput. Sci.

Publications

Xiaocong Zhou, Yong-Ji Li, Wen-Jun Li, Hai-Yan Qiao, Zhongmei Shu
Bisimulation proof methods in a path-based specification language for polynomial coalgebras. Math. Struct. Comput. Sci. 25 (4) (2015)
Xiaocong Zhou, Yongji Li, Wenjun Li, Hai-Yan Qiao, Zhongmei Shu
Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras. APLAS (2010)