BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Republic of China
1 × USA
1 × United Kingdom
Collaborated with:
J.S.Dong H.Zhang H.H.Wang Y.Kang S.Krishnaswamy D.Lucanu J.Sun C.H.Lee A.Sadiq L.Li I.Ahmed S.Ling
Talks about:
owl (3) reason (2) parallelis (1) technolog (1) sequenti (1) morphism (1) institut (1) contract (1) approach (1) softwar (1)

Person: Yuan-Fang Li

DBLP DBLP: Li:Yuan=Fang

Facilitated 1 volumes:

JCDL 2010Ed

Contributed to:

CIKM 20142014
MSR 20112011
SEKE 20052005
ICSE 20042004
ASE 20192019

Wrote 6 papers:

CIKM-2014-KangKL #automation #owl #performance
A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency (YBK, SK, YFL), pp. 1935–1938.
MSR-2011-LiZ #re-engineering #semantics #using #web
Integrating software engineering data using semantic web technologies (YFL, HZ), pp. 211–214.
SEKE-2005-LucanuLD #morphism #owl
Institution Morphisms for Relating OWL and Z (DL, YFL, JSD), pp. 286–291.
SEKE-2005-WangDSL #approach #design #process
TCOZ Approach to OWL-S Process Model Design (HHW, JSD, JS, YFL), pp. 354–359.
ICSE-2004-DongLLW #verification
Verifying DAML+OIL and Beyond in Z/EVES (JSD, CHL, YFL, HHW), pp. 201–210.
ASE-2019-SadiqLLAL #contract #java #named #source code
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs (AS, LL, YFL, IA, SL), pp. 1098–1101.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.