Verifying OWL and ORL Ontologies in PVS. - Jin Song Dong; Yuzhang Feng; Yuan-Fang Li (ICTAC, 2004)

A Tools Environment for Developing and Reasoning about Ontologies. - Jin Song Dong; Yuzhang Feng; Yuan-Fang Li; Jun Sun 001 (APSEC, 2005)

Context Awareness Systems Design and Reasoning. - Jin Song Dong; Yuzhang Feng; Jing Sun 002; Jun Sun 001 (ISoLA, 2006)

Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. - Yuzhang Feng; Yuan-Fang Li; Colin Keng-Yan Tan; Bimlesh Wadhwa; Hai H. Wang (ICECCS, 2007)

A Verification Framework for Agent Knowledge. - Jin Song Dong; Yuzhang Feng; Ho-fung Leung (ICFEM, 2007)

Enhancing Semantic Web Services with Inheritance. - Simon Ferndriger; Abraham Bernstein; Jin Song Dong; Yuzhang Feng; Yuan-Fang Li; Jane Hunter 001 (ISWC, 2008)

Discovering Anomalies in Semantic Web Rules. - Yuzhang Feng; Yang Liu 003; Yuan-Fang Li; Daqing Zhang 001 (SSIRI, 2010)

Automatic Service Composition via Model Checking. - Yuzhang Feng; Anitha Veeramani; Rajaraman Kanagasabai; Seungmin Rho (APSCC, 2011)

Enabling Interoperability across Heterogeneous Semantic Web Services with OWL-S Based Mediation. - Le Duy Ngan; Yuzhang Feng; Seungmin Rho; Rajaraman Kanagasabai (APSCC, 2011)

Verifying OWL-S Service Process Models. - Yuzhang Feng; Markus Kirchberg (ICWS, 2011)

Enabling On-Demand Mashups of Open Data with Semantic Services. - Yuzhang Feng; Anitha Veeramani; Rajaraman Kanagasabai (ICPADS, 2012)

Automatic DAG-Based Service Composition: A Model Checking Approach. - Yuzhang Feng; Anitha Veeramani; Rajaraman Kanagasabai (ICWS, 2012)

Dynamic Service Composition with Service-Dependent QoS Attributes. - Yuzhang Feng; Le Duy Ngan; Rajaraman Kanagasabai (ICWS, 2013)

EC2BargainHunter: It's Easy to Hunt for Cost Savings on Amazon EC2! - Rajaraman Kanagasabai; Le Duy Ngan; Yuzhang Feng; Anitha Veeramani; Joel Koo Chong En; Chan Chee Keong; Flora S. Tsai; Artur Andrzejak 001 (SERVICES, 2013)

Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop. - G. Satya Reddy; Yuzhang Feng; Yang Liu 003; Jin Song Dong; Jun Sun 001; Rajaraman Kanagasabai (SERVICES, 2013)

Visual and Predictive Analytics on Singapore News: Experiments on GDELT, Wikipedia, and ^STI. - Clifton Phua; Yuzhang Feng; Junyao Ji; Timothy Soh (CoRR, 2014)

BOWL: augmenting the Semantic Web with beliefs. - Jin Song Dong; Yuzhang Feng; Yuan-Fang Li; Colin Keng-Yan Tan; Bimlesh Wadhwa; Hai H. Wang (Innov. Syst. Softw. Eng., 2015)