Han-Hing Dang

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 2

Top Topics

Reasoning Problems

Resource Bounded

Top Venues

J. Log. Algebraic Methods Program.

Acta Informatica

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

Han-Hing Dang, Bernhard Möller
Extended transitive separation logic. J. Log. Algebraic Methods Program. 84 (3) (2015)
Han-Hing Dang, Bernhard Möller
Modal algebra and Petri nets. Acta Informatica 52 (2-3) (2015)
Han-Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend
Exploring modal worlds. J. Log. Algebraic Methods Program. 83 (2) (2014)
Han-Hing Dang
Abstract Dynamic Frames. RAMiCS (2014)
Han-Hing Dang, Bernhard Möller
Transitive Separation Logic. RAMiCS (2012)
Han-Hing Dang, Bernhard Möller
Reverse Exchange for Concurrency and Local Reasoning. MPC (2012)
Han-Hing Dang, Bernhard Möller
Simplifying Pointer Kleene Algebra. ATE (2011)
Han-Hing Dang, Peter Höfner
Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. RAMiCS (2011)
Han-Hing Dang, Peter Höfner, Bernhard Möller
Algebraic separation logic. J. Log. Algebraic Methods Program. 80 (6) (2011)
Han-Hing Dang, Peter Höfner
Automated Higher-order Reasoning about Quantales. PAAR@IJCAR (2010)
Han-Hing Dang, Peter Höfner, Bernhard Möller
Towards Algebraic Separation Logic. RelMiCS (2009)