Report on a Software Automation R&D Project. - Jiafu Xu (IFIP Congress, 1989)

Development Transformation Based on Higher Order Type Theory. - Jianguo Lu; Jiafu Xu (Constructivity in Computer Science, 1991)

On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms. - Jiafu Xu; Daoxu Chen; Lu Jian; Zhijian Wang; Zongming Fei; Yousong Zhang; Qin Ding 001; Yingchun Zhu (IFIP Congress (1), 1992)

The Directed Inference and Its Role in NDSAIL System. - Zongming Fei; Jiafu Xu (IWAR, 1992)

A Knowledge Processing Language and Its Parallel Inference System. - Cui Zhang; Qinping Zhao; Jiafu Xu (SEKE, 1993)

Design rationale for a wide spectrum specification language FGSPEC. - Lu Jian; Jiafu Xu (J. Comput. Sci. Technol., 1993)

Analogical Program Derivation Based on Type Theory. - Jianguo Lu; Jiafu Xu (Theor. Comput. Sci., 1993)

Analogy Calculus. - Bo Yi; Jiafu Xu (Theor. Comput. Sci., 1993)

Denotational semantics of a simple model of Eiffel. - Yuzhong Qu; Zhijian Wang; Jiafu Xu (J. Comput. Sci. Technol., 1995)

Analogical Type Theory. - Bo Yi; Jiafu Xu (J. Symb. Comput., 1995)

Requirements Analysis and Specification as a Problem of Software Automation. - Jiafu Xu; Hong Zhu 002 (SEKE, 1996)

Formal semantics of some functional constructs of the software requirements definition language NDRDL. - Lijun Dong; Jiafu Xu (COMPSAC, 1997)

Quantum programming languages: A tentative study. - Jiafu Xu; Fangmin Song (Sci. China Ser. F Inf. Sci., 2008)

Quantum programming languages. - Jiafu Xu; Fanming Song (Frontiers Comput. Sci. China, 2008)