Jia-Fu Xu

Available identifiers

zbMath Open xu.jiafuMaRDI QIDQ940502

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jia-Fu Xu