Object-Oriented Structure Refinement - A Graph Transformational Approach. - Xiaojian Liu; Zhiming Liu 001; Liang Zhao 022 (Refine@ICFEM, 2006)

A Graph-Based Operational Semantics of OO Programs. - Wei Ke 001; Zhiming Liu 001; Shuling Wang; Liang Zhao 022 (ICFEM, 2009)

Graph transformations for object-oriented refinement. - Liang Zhao 022; Xiaojian Liu; Zhiming Liu 001; Zongyan Qiu (Formal Aspects Comput., 2009)

Graph Representation of Sessions and Pipelines for Structured Service Programming. - Roberto Bruni 001; Zhiming Liu 001; Liang Zhao 022 (FACS, 2010)

Graphs and Graph Transformations for Object-Oriented and Service-Oriented Systems. - Liang Zhao 022 (2012)

A graph-based generic type system for object-oriented programs. - Wei Ke 001; Zhiming Liu 001; Shuling Wang; Liang Zhao 022 (Frontiers Comput. Sci., 2013)