# Han-Hing Dang

According to our database

^{1}, Han-Hing Dang## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### 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