Yuzhang Feng

According to our database, Yuzhang Feng authored at least 17 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2015

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

2014

Visual and Predictive Analytics on Singapore News: Experiments on GDELT, Wikipedia, and ^STI.

Clifton Phua, Yuzhang Feng, Junyao Ji, Timothy Soh

CoRR, 2014

2013

Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop.

G. Satya Reddy, Yuzhang Feng, Yang Liu, Jin Song Dong, Jun Sun, Rajaraman Kanagasabai

Proceedings of the IEEE Ninth World Congress on Services, 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

Proceedings of the IEEE Ninth World Congress on Services, 2013

Dynamic Service Composition with Service-Dependent QoS Attributes.

Yuzhang Feng, Le Duy Ngan, Rajaraman Kanagasabai

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012

Automatic DAG-Based Service Composition: A Model Checking Approach.

Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Enabling On-Demand Mashups of Open Data with Semantic Services.

Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

2011

Verifying OWL-S Service Process Models.

Yuzhang Feng, Markus Kirchberg

Proceedings of the IEEE International Conference on Web Services, 2011

Enabling Interoperability across Heterogeneous Semantic Web Services with OWL-S Based Mediation.

Le Duy Ngan, Yuzhang Feng, Seungmin Rho, Rajaraman Kanagasabai

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

Automatic Service Composition via Model Checking.

Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai, Seungmin Rho

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010

Discovering Anomalies in Semantic Web Rules.

Yuzhang Feng, Yang Liu, Yuan-Fang Li, Daqing Zhang

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2008

Enhancing Semantic Web Services with Inheritance.

Simon Ferndriger, Abraham Bernstein, Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jane Hunter

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

2007

A Verification Framework for Agent Knowledge.

Jin Song Dong, Yuzhang Feng, Ho-fung Leung

Proceedings of the Formal Methods and Software Engineering, 2007

Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs.

Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

Context Awareness Systems Design and Reasoning.

Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

A Tools Environment for Developing and Reasoning about Ontologies.

Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Verifying OWL and ORL Ontologies in PVS.

Jin Song Dong, Yuzhang Feng, Yuan-Fang Li

Proceedings of the Theoretical Aspects of Computing, 2004