Hao Yang

According to our database, Hao Yang authored at least 2 papers between 2012 and 2013.

Collaborative distances:

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

2013

Approximate Completed Trace Equivalence of Linear Algebra Transition Systems.

Hao Yang, Anping He, Zhiwei Zhang, Shihan Yang, Yang Liu

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

2012

Approximation to Linear Algebraic Transition System.

Zhiwei Zhang, Jin-Zhao Wu, Hao Yang

Proceedings of the Emerging Intelligent Computing Technology and Applications, 2012