Chunhan Wu
According to our database1,
Chunhan Wu
authored at least 6 papers
between 2008 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
2014
J. Autom. Reason., 2014
2013
Proceedings of the Certified Programs and Proofs - Third International Conference, 2013
2011
A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl).
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011
2008
Proceedings of the International Conference on Computer Science and Software Engineering, 2008