Yuzhang Feng (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Simon Ferndriger, Abraham Bernstein, Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jane Hunter: Enhancing Semantic Web Services with Inheritance. International Semantic Web Conference 2008: 162-177

4 Jin Song Dong, Yuzhang Feng, Ho-fung Leung: A Verification Framework for Agent Knowledge. ICFEM 2007: 57-75

3 Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun: Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340

2 Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun: A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005: 465-472

1 Jin Song Dong, Yuzhang Feng, Yuan-Fang Li: Verifying OWL and ORL Ontologies in PVS. ICTAC 2004: 265-279

Selection of 5 from 6 records - Yuzhang Feng has 11 coauthors

6		Simon Ferndriger, Abraham Bernstein, Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jane Hunter: Enhancing Semantic Web Services with Inheritance. International Semantic Web Conference 2008: 162-177
4		Jin Song Dong, Yuzhang Feng, Ho-fung Leung: A Verification Framework for Agent Knowledge. ICFEM 2007: 57-75
3		Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun: Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340
2		Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun: A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005: 465-472
1		Jin Song Dong, Yuzhang Feng, Yuan-Fang Li: Verifying OWL and ORL Ontologies in PVS. ICTAC 2004: 265-279