We stand with Ukraine  

Liang Zhao

Affiliations:
  • Macao Polytechnic Institute, Macau, China
  • United Nations University, International Institute for Software Technology, China
  • University of Pisa, Department of Computer Science, Italy (PhD 2012)


According to our database1, Liang Zhao authored at least 6 papers between 2006 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
A graph-based generic type system for object-oriented programs.
[BibTeX]
[DOI]
Wei Ke
,
Zhiming Liu
,
Shuling Wang
,
Liang Zhao
Frontiers Comput. Sci., 2013

2012
Graphs and Graph Transformations for Object-Oriented and Service-Oriented Systems.
[BibTeX]
[DOI]
Liang Zhao
PhD thesis, 2012

2010
Graph Representation of Sessions and Pipelines for Structured Service Programming.
[BibTeX]
[DOI]
Roberto Bruni
,
Zhiming Liu
,
Liang Zhao
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009
Graph transformations for object-oriented refinement.
[BibTeX]
[DOI]
Liang Zhao
,
Xiaojian Liu
,
Zhiming Liu
,
Zongyan Qiu
Formal Aspects Comput., 2009

A Graph-Based Operational Semantics of OO Programs.
[BibTeX]
[DOI]
Wei Ke
,
Zhiming Liu
,
Shuling Wang
,
Liang Zhao
Proceedings of the Formal Methods and Software Engineering, 2009

2006
Object-Oriented Structure Refinement - A Graph Transformational Approach.
[BibTeX]
[DOI]
Xiaojian Liu
,
Zhiming Liu
,
Liang Zhao
Proceedings of the 11th Refinement Workshop, 2006


  Loading...