Jiafu Xu

Available identifiers

Publication	Date of Publication	Type
Development transformation based on higher order type theory	2017-11-17	Paper
Positive solutions for an impulsive boundary value problem with Caputo fractional derivative	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	2010-11-25	Paper
Quantum programming languages: a tentative study	2008-11-10	Paper
Analysis of phase transformation from austenite to martensite in niti alloy strips under uniaxial tension	2008-09-01	Paper
Buckling analysis of woven fabric under uniaxial tension in arbitrary direction	2003-05-06	Paper
A mathematical model of inheritance	1997-11-10	Paper
Analogical type theory	1996-09-09	Paper
Denotational semantics of a simple model of Eiffel	1995-07-24	Paper
Analogy calculus	1994-03-27	Paper
Analogical program derivation based on type theory	1993-08-08	Paper
Analogy model and analogy correspondence	1993-01-17	Paper
GSPEC: A graphical specification language for software	1989-01-01	Paper

This page was built for person: Jiafu Xu