I am a Ph.D. candidate majoring in Computer Science at Nanjing University, China. I am interested in distributed computing and formal methods.
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
0 Enforcing no hyphenation of the last word in the first line of Definition while keeping the line well-aligned nov 2