Huazhen Xu

According to our database, Huazhen Xu authored at least 2 papers between 2012 and 2016.

Collaborative distances:

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

2016

Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover.

Huazhen Xu, Zhen You, Jinyun Xue

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

2012

A Simple and Efficient Input Selection Function for Networks-on-Chip.

Xinyu Wang, Zhigang Yu, Huazhen Xu

Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012