Jiafu Xu

According to our database, Jiafu Xu authored at least 15 papers between 1989 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Abusing DDS Discovery: Denial-of-Service Attacks Against ROS 2.

Jiafu Xu, Songran Liu, Zilong Wang, Minghe Yu, Yue Tang, Yang Wang, Weiguang Pang, Wang Yi

Proceedings of the Design, Automation & Test in Europe Conference, 2026

2008

Quantum programming languages.

Jiafu Xu, Fanming Song

Frontiers Comput. Sci. China, 2008

Quantum programming languages: A tentative study.

Jiafu Xu, Fangmin Song

Sci. China Ser. F Inf. Sci., 2008

1997

Formal semantics of some functional constructs of the software requirements definition language NDRDL.

Lijun Dong, Jiafu Xu

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Requirements Analysis and Specification as a Problem of Software Automation.

Jiafu Xu, Hong Zhu

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995

Denotational semantics of a simple model of Eiffel.

Yuzhong Qu, Zhijian Wang, Jiafu Xu

J. Comput. Sci. Technol., 1995

1993

Analogy Calculus.

Bo Yi, Jiafu Xu

Theor. Comput. Sci., 1993

Analogical Program Derivation Based on Type Theory.

Jianguo Lu, Jiafu Xu

Theor. Comput. Sci., 1993

Design rationale for a wide spectrum specification language FGSPEC.

Lu Jian, Jiafu Xu

J. Comput. Sci. Technol., 1993

A Knowledge Processing Language and Its Parallel Inference System.

Cui Zhang, Qinping Zhao, Jiafu Xu

Proceedings of the SEKE'93, 1993

Analogical Type Theory.

Bo Yi, Jiafu Xu

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992

The Directed Inference and Its Role in NDSAIL System.

Zongming Fei, Jiafu Xu

Proceedings of the Automated Reasoning, 1992

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, Yingchun Zhu

Proceedings of the Algorithms, Software, Architecture, 1992

1991

Development Transformation Based on Higher Order Type Theory.

Jianguo Lu, Jiafu Xu

Proceedings of the Constructivity in Computer Science, 1991

1989

Report on a Software Automation R&D Project.

Jiafu Xu

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989