Han-Hing Dang

12 papers B 1C 3Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2015 — —
Algebraic Calculi for Separation Logic.
Han-Hing Dang
2015 J jnl
Extended transitive separation logic.
J. Log. Algebraic Methods Program.
Han-Hing Dang, Bernhard Möller
2015 J jnl
Modal algebra and Petri nets.
Acta Informatica
Han-Hing Dang, Bernhard Möller
2014 C conf
Abstract Dynamic Frames.
RAMiCS
Han-Hing Dang
2014 J jnl
Exploring modal worlds.
J. Log. Algebraic Methods Program.
Han-Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend
2012 B conf
Reverse Exchange for Concurrency and Local Reasoning.
MPC
Han-Hing Dang, Bernhard Möller
2012 C conf
Transitive Separation Logic.
RAMiCS
Han-Hing Dang, Bernhard Möller
2011 J jnl
Algebraic separation logic.
J. Log. Algebraic Methods Program.
Han-Hing Dang, Peter Höfner, Bernhard Möller
2011 — conf
Simplifying Pointer Kleene Algebra.
ATE
Han-Hing Dang, Bernhard Möller
2011 C conf
Variable Side Conditions and Greatest Relations in Algebraic Separation Logic.
RAMiCS
Han-Hing Dang, Peter Höfner
2010 — conf
Automated Higher-order Reasoning about Quantales.
PAAR@IJCAR
Han-Hing Dang, Peter Höfner
2009 — conf
Towards Algebraic Separation Logic.
RelMiCS
Han-Hing Dang, Peter Höfner, Bernhard Möller