Formalization of Object Behavior and Interactions from UML Models. - John Anil Saldhana; Sol M. Shatz; Zhaoxia Hu (Int. J. Softw. Eng. Knowl. Eng., 2001)

Mapping UML Diagrams to a Petri Net Notation for System Simulation. - Zhaoxia Hu; Sol M. Shatz (SEKE, 2004)

A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study. - Zhaoxia Hu; Sol M. Shatz (Software Engineering Research and Practice, 2005)

Explicit modeling of semantics associated with composite states in UML statecharts. - Zhaoxia Hu; Sol M. Shatz (Autom. Softw. Eng., 2006)

Simulation-based analysis of UML statechart diagrams: methods and case studies. - Jiexin Lian; Zhaoxia Hu; Sol M. Shatz (Softw. Qual. J., 2008)

Preparation and Properties of Novel Sulfonated Poly (phenylene arylene) (SPA) Membranes for Fuel Cell Applications. - Xuan Zhang; Yanli Pu; Zhaoxia Hu; Shanshan Chen; Ying Ling; Shouwen Chen (ICDMA, 2011)