Han-Hing Dang
According to our database1,
Han-Hing Dang
authored at least 12 papers
between 2009 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
2014
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2012
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012
2011
Proceedings of the First Workshop on Automated Theory Engineering, 2011
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011
2010
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010
2009
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009