Han-Hing Dang

According to our database1, Han-Hing Dang authored at least 12 papers between 2009 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Algebraic Calculi for Separation Logic.
PhD thesis, 2015

Extended transitive separation logic.
J. Log. Algebraic Methods Program., 2015

Modal algebra and Petri nets.
Acta Informatica, 2015

2014
Exploring modal worlds.
J. Log. Algebraic Methods 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. Algebraic Methods 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


  Loading...