J. He

J. He, Z. Liu, X. Li: A relational model for object-oriented programming, 2001, (BibTeX entry).
J. He, Z. Liu, X. Li: Component calculus, UNU/IIST Report No 284, UNU/IIST, P.O. Box 3058, Macao, 2003, (BibTeX entry).
J. He, Z. Liu, X. Li: Towards a refinement calculus for object-oriented systems, IEEE Computer Society, 2002, (BibTeX entry).
X. Li, Z. Liu, J. He: Formal and use-case driven requirement analysis in UML, IEEE Computer Society, 2001, (BibTeX entry).
X. Li, Z. Liu, J. He: A formal semantics of UML sequence diagrams, IEEE Computer Society, 2004, (BibTeX entry).
Z. Liu, J. He, X. Li: Toward a formal use of UML for software requirement analysis, CSREA, 2001, (BibTeX entry).
Z. Liu, X. Li, J. He: Using Transition Systems to Unify UML Models, Springer, 2003, (BibTeX entry).
Z. Liu, J. He, X. Li, Y. Chen: A relational model for formal object-oriented requirement analysis in UML, Springer, 2003, (BibTeX entry).
J. Liu, Z. Liu, J. He, X. Li: Linking UML models of design and requirement, IEEE Computer Society, 2004, (BibTeX entry).
Z. Liu, J. He, X. Li, Y. Liu: Unifying views of UML, 2003, (BibTeX entry).

dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)