Login / Signup
Huazhen Xu
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 1
Top Topics
Theorem Prover
Convex Hull
Recursive Algorithm
Proof Planning
Top Venues
SNPD
ICDCN
</>
Publications
</>
Huazhen Xu
,
Zhen You
,
Jinyun Xue
Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover.
SNPD
(2016)
Xinyu Wang
,
Zhigang Yu
,
Huazhen Xu
A Simple and Efficient Input Selection Function for Networks-on-Chip.
ICDCN
(2012)