The SCEAS System
Navigation Menu

Search the dblp DataBase


Jiafu Xu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lijun Dong, Jiafu Xu
    Formal semantics of some functional constructs of the software requirements definition language NDRDL. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:642-645 [Conf]
  2. Jianguo Lu, Jiafu Xu
    Development Transformation Based on Higher Order Type Theory. [Citation Graph (0, 0)][DBLP]
    Constructivity in Computer Science, 1991, pp:58-70 [Conf]
  3. Bo Yi, Jiafu Xu
    Analogical Type Theory. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:33-44 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:186-192 [Conf]
  5. Jiafu Xu
    Report on a Software Automation R&D Project. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:81- [Conf]
  6. Zongming Fei, Jiafu Xu
    The Directed Inference and Its Role in NDSAIL System. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:177-186 [Conf]
  7. Jiafu Xu, Hong Zhu
    Requirements Analysis and Specification as a Problem of Software Automation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:457-464 [Conf]
  8. Cui Zhang, Qinping Zhao, Jiafu Xu
    A Knowledge Processing Language and Its Parallel Inference System. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:199-206 [Conf]
  9. Bo Yi, Jiafu Xu
    Analogical Type Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:3-24 [Journal]
  10. Jianguo Lu, Jiafu Xu
    Analogical Program Derivation Based on Type Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:2, pp:259-272 [Journal]
  11. Bo Yi, Jiafu Xu
    Analogy Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:2, pp:211-230 [Journal]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002