Zhao, Guoxing (2008) A complete reified temporal logic and its applications. PhD thesis, University of Greenwich.

Zhao, Guoxing, Petridis, Miltos, Sidorov, Grigori and Ma, Jixin (2008) A critical examination of node-similarity based graph matching algorithms. Research In Computing Science, 40. pp. 73-82. ISSN 1870-4069

Jin, Xin, Liu, Zhaodong, Bie, Rongfang, Zhao, Guoxing and Ma, Jixin (2006) Support vector machines for regression and applications to software quality prediction. In: Alexandrov, Vassil N., van Albada, Geert Dick, Sloot, Peter M.A. and Dongarra, Jack, (eds.) Computational Science – ICCS 2006. 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV. Lecture Notes in Computer Science (3994). Springer Berlin Heidelberg, Berlin / Heidelberg, Germany, pp. 781-788. ISBN 978-3-540-34385-1 ISSN 0302-9743 (Print), 1611-3349 (Online) (doi:10.1007/11758549_105)