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: Li:Yuan=Fang
Facilitated 1 volumes:
EdContributed to:
2014
2011
2005
2004
2019Wrote 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.