Towards Algebraic Separation Logic. - Han-Hing Dang; Peter Höfner; Bernhard Möller (RelMiCS, 2009)

Automated Higher-order Reasoning about Quantales. - Han-Hing Dang; Peter Höfner (PAAR@IJCAR, 2010)

Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. - Han-Hing Dang; Peter Höfner (RAMiCS, 2011)

Simplifying Pointer Kleene Algebra. - Han-Hing Dang; Bernhard Möller (ATE, 2011)

Algebraic separation logic. - Han-Hing Dang; Peter Höfner; Bernhard Möller (J. Log. Algebraic Methods Program., 2011)

Transitive Separation Logic. - Han-Hing Dang; Bernhard Möller (RAMiCS, 2012)

Reverse Exchange for Concurrency and Local Reasoning. - Han-Hing Dang; Bernhard Möller (MPC, 2012)

Abstract Dynamic Frames. - Han-Hing Dang (RAMiCS, 2014)

Exploring modal worlds. - Han-Hing Dang; Roland Glück; Bernhard Möller; Patrick Roocks; Andreas Zelend (J. Log. Algebraic Methods Program., 2014)

Modal algebra and Petri nets. - Han-Hing Dang; Bernhard Möller (Acta Informatica, 2015)

Extended transitive separation logic. - Han-Hing Dang; Bernhard Möller (J. Log. Algebraic Methods Program., 2015)

Algebraic Calculi for Separation Logic. - Han-Hing Dang (2015)