| 2013 | ICWS | Dynamic Service Composition with Service-Dependent QoS Attributes. | Yuzhang Feng, Le Duy Ngan, Rajaraman Kanagasabai |
| 2013 | SERVICES | 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 |
| 2013 | SERVICES | 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 |
| 2012 | ICPADS | Enabling On-Demand Mashups of Open Data with Semantic Services. | Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai |
| 2012 | ICWS | Automatic DAG-Based Service Composition: A Model Checking Approach. | Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai |
| 2011 | APSCC | Automatic Service Composition via Model Checking. | Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai, Seungmin Rho |
| 2011 | APSCC | Enabling Interoperability across Heterogeneous Semantic Web Services with OWL-S Based Mediation. | Le Duy Ngan, Yuzhang Feng, Seungmin Rho, Rajaraman Kanagasabai |
| 2011 | ICWS | Verifying OWL-S Service Process Models. | Yuzhang Feng, Markus Kirchberg |
| 2007 | ICECCS | Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. | Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang |
| 2007 | ICFEM | A Verification Framework for Agent Knowledge. | Jin Song Dong, Yuzhang Feng, Ho-fung Leung |
| 2006 | ISoLA | Context Awareness Systems Design and Reasoning. | Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun |
| 2005 | APSEC | A Tools Environment for Developing and Reasoning about Ontologies. | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun |
| 2004 | ICTAC | Verifying OWL and ORL Ontologies in PVS. | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li |