Jiafu Xu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Development transformation based on higher order type theory Lecture Notes in Computer Science	2017-11-17	Paper
Positive solutions for an impulsive boundary value problem with Caputo fractional derivative Journal of Nonlinear Science and Applications	2016-10-21	Paper
A micro-mechanical model of knitted fabric and its application to the analysis of buckling under tension in wale direction: buckling analysis Acta Mechanica Sinica	2010-11-25	Paper
Quantum programming languages: a tentative study Science in China. Series F	2008-11-10	Paper
Analysis of phase transformation from austenite to martensite in niti alloy strips under uniaxial tension Applied Mathematics and Mechanics. (English Edition)	2008-09-01	Paper
Buckling analysis of woven fabric under uniaxial tension in arbitrary direction Applied Mathematics and Mechanics. (English Edition)	2003-05-06	Paper
A mathematical model of inheritance Science in China. Series E	1997-11-10	Paper
Analogical type theory Journal of Symbolic Computation	1996-09-09	Paper
Denotational semantics of a simple model of Eiffel Journal of Computer Science and Technology	1995-07-24	Paper
Analogy calculus Theoretical Computer Science	1994-03-27	Paper
Analogical program derivation based on type theory Theoretical Computer Science	1993-08-08	Paper
Analogy model and analogy correspondence Science in China. Series A	1993-01-17	Paper
GSPEC: A graphical specification language for software Science in China. Series A	1989-01-01	Paper

Research outcomes over time

This page was built for person: Jiafu Xu