| 2012 | ||
|---|---|---|
| c12 | Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai: Enabling On-Demand Mashups of Open Data with Semantic Services. ICPADS 2012: 755-759 | |
| c11 | Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai: Automatic DAG-Based Service Composition: A Model Checking Approach. ICWS 2012: 674-675 | |
| 2011 | ||
| c10 | Le Duy Ngan, Yuzhang Feng, Seungmin Rho, Rajaraman Kanagasabai: Enabling Interoperability across Heterogeneous Semantic Web Services with OWL-S Based Mediation. APSCC 2011: 471-476 | |
| c9 | Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai, Seungmin Rho: Automatic Service Composition via Model Checking. APSCC 2011: 477-482 | |
| c8 | ||
| 2010 | ||
| c7 | Yuzhang Feng, Yang Liu, Yuan-Fang Li, Daqing Zhang: Discovering Anomalies in Semantic Web Rules. SSIRI 2010: 33-42 | |
| 2008 | ||
| c6 | 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 | |
| 2007 | ||
| c5 | Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang: Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. ICECCS 2007: 165-174 | |
| c4 | Jin Song Dong, Yuzhang Feng, Ho-fung Leung: A Verification Framework for Agent Knowledge. ICFEM 2007: 57-75 | |
| 2006 | ||
| c3 | Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun: Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340 | |
| 2005 | ||
| c2 | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun: A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005: 465-472 | |
| 2004 | ||
| c1 | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li: Verifying OWL and ORL Ontologies in PVS. ICTAC 2004: 265-279 | |
Colors in the list of coauthors
Last update Sat May 25 08:41:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page