Jiafu Xu
Nanjing University of Science and Technology(CN)Nanjing University(CN)
Publications by Year
Research Areas
Logic, programming, and type systems, Quantum Information and Cryptography, Quantum Mechanics and Applications, Quantum Computing Algorithms and Architecture, Formal Methods in Verification
Most-Cited Works
- → Analogy calculus(1993)8 cited
- → Analogical program derivation based on type theory(1993)7 cited
- → Quantum Programming Language NDQJava &(2008)5 cited
- → Quantum programming languages(2008)3 cited
- → Quantum programming languages: A tentative study(2008)3 cited
- Requirements Analysis and Specification as a Problem of Software Automation.(1996)
- → Formal semantics of some functional constructs of the software requirements definition language NDRDL(2002)2 cited
- → Kernel language KLND(1986)2 cited
- On the Design, Implementation and Use of the Systems Programming Language XCY.(1980)
- → Analogical Type Theory(1995)2 cited