Han-Hing Dang
According to our database1, Han-Hing Dang
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2015
Algebraic Calculi for Separation Logic.
PhD thesis, 2015
Extended transitive separation logic.
J. Log. Algebr. Meth. Program., 2015
Modal algebra and Petri nets.
Acta Inf., 2015
2014
Exploring modal worlds.
J. Log. Algebr. Meth. Program., 2014
Abstract Dynamic Frames.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2012
Reverse Exchange for Concurrency and Local Reasoning.
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012
Transitive Separation Logic.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012
2011
Algebraic separation logic.
J. Log. Algebr. Program., 2011
Simplifying Pointer Kleene Algebra.
Proceedings of the First Workshop on Automated Theory Engineering, 2011
Variable Side Conditions and Greatest Relations in Algebraic Separation Logic.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011
2010
Automated Higher-order Reasoning about Quantales.
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010
2009
Towards Algebraic Separation Logic.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009