I am a Ph.D. candidate majoring in Computer Science at Nanjing University, China. I am interested in distributed computing and formal methods.
Contact: hengxin-0912-@gmail.-com (remove the three dashes)
11 How to draw the recursive H-Layout tree using Tikz? nov 15 '13
10 How to overlay tikz matrix in beamer? jan 13 '14
3 How to set the bold font of the keyword Definition using IEEEtran without introducing package ntheorem? nov 6 '13