| 2008 |
|---|
| 12 | EE | Jiafu Xu,
Fangmin Song:
Quantum programming languages: A tentative study.
Science in China Series F: Information Sciences 51(6): 623-637 (2008) |
| 1997 |
|---|
| 11 | EE | Lijun Dong,
Jiafu Xu:
Formal semantics of some functional constructs of the software requirements definition language NDRDL.
COMPSAC 1997: 642-645 |
| 1996 |
|---|
| 10 | | Jiafu Xu,
Hong Zhu:
Requirements Analysis and Specification as a Problem of Software Automation.
SEKE 1996: 457-464 |
| 1995 |
|---|
| 9 | | Bo Yi,
Jiafu Xu:
Analogical Type Theory.
J. Symb. Comput. 19(1-3): 3-24 (1995) |
| 1993 |
|---|
| 8 | | Bo Yi,
Jiafu Xu:
Analogical Type Theory.
DISCO 1993: 33-44 |
| 7 | | Cui Zhang,
Qinping Zhao,
Jiafu Xu:
A Knowledge Processing Language and Its Parallel Inference System.
SEKE 1993: 199-206 |
| 6 | | Bo Yi,
Jiafu Xu:
Analogy Calculus.
Theor. Comput. Sci. 113(2): 211-230 (1993) |
| 5 | | Jianguo Lu,
Jiafu Xu:
Analogical Program Derivation Based on Type Theory.
Theor. Comput. Sci. 113(2): 259-272 (1993) |
| 1992 |
|---|
| 4 | | Jiafu Xu,
Daoxu Chen,
Lu Jian,
Wang Zhijian,
Zongming Fei,
Zhang Yousong,
Qin Ding,
Zhu Yingchun:
On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms.
IFIP Congress (1) 1992: 186-192 |
| 3 | | Zongming Fei,
Jiafu Xu:
The Directed Inference and Its Role in NDSAIL System.
IWAR 1992: 177-186 |
| 1991 |
|---|
| 2 | | Jianguo Lu,
Jiafu Xu:
Development Transformation Based on Higher Order Type Theory.
Constructivity in Computer Science 1991: 58-70 |
| 1989 |
|---|
| 1 | | Jiafu Xu:
Report on a Software Automation R&D Project.
IFIP Congress 1989: 81 |
