| 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 |
| 2013 | QoS Auditing for Evaluation of SLA in Cloud-based Distributed Services. | Kaliappa Ravindran |
| 2013 | Towards Real-Time Analytics in the Cloud. | Amr Osman, Mohamed A. El-Refaey, Ayman Elnaggar |
| 2013 | Toward a Real-Time Cloud Auditing Paradigm. | Robert Nix, Murat Kantarcioglu, Sachin Shetty |
| 2013 | Social Ontology and Semantic Actions: Enabling Social Networking Services for Distributed Web Tasking. | Joanna W. Ng, Diana H. Lau |
| 2013 | Going Beyond Web Browsing to Web Tasking: Transforming Web Users from Web Operators to Web Supervisors. | Joanna W. Ng, Diana H. Lau |
| 2013 | Bridging the GAP between Software Certification and Trusted Computing for Securing Cloud Computing. | Antonio Muoz, Antonio Mana |
| 2013 | Improving Interoperability of Digital Certificates for Software & Services. | Marioli Montenegro, Antonio Mana |
| 2013 | A Framework for Multi-cloud Cooperation with Hardware Reconfiguration Support. | Khaleel W. Mershad, Abdul Rahman Kaitoua, Hassan Artail, Mazen A. R. Saghir, Hazem M. Hajj |
| 2013 | Towards DaaS 2.0: Enriching Data Models. | Jonathan Mart, Daniel Gasull, Anna Queralt, Toni Cortes |
| 2013 | A Game Theory of Cloud Service Deployment. | Zexiang Mao, Jingqi Yang, Yanlei Shang, Chuanchang Liu, Junliang Chen |
| 2013 | Pattern-Based Deployment Service for Next Generation Clouds. | Hongbin Lu, Mark Shtern, Bradley Simmons, Michael Smit, Marin Litoiu |
| 2013 | Towards a Collaborative Simulation Platform for Renewable Energy Systems. | Shuai Lu, Yan Liu, Da Meng |
| 2013 | SaaS Authentication Middleware for Mobile Consumers of IaaS Cloud. | Richard K. Lomotey, Ralph Deters |
| 2013 | Research on Pricing Model of Cloud Storage. | Ning Li, Liang-Jie Zhang, Ping Xu, Li Wang, Jianhua Zheng, Yifu Guo |
| 2013 | CEEM: A Practical Methodology for Cloud Services Evaluation. | Zheng Li, Liam O'Brien, He Zhang |
| 2013 | Exploring Cloud Computing for Large-Scale Scientific Applications. | Guang Lin, Binh Han, Jian Yin, Ian Gorton |
| 2013 | A Hierarchical Cloud Pricing System. | Zhijie Li, Ming Li |
| 2013 | HRPaaS: A Handwriting Recognition Platform as a Service Based on Middleware and the HTTP API. | Desheng Li, Lianwen Jin, Yin Zhang |
| 2013 | Impacts of Scheduling Algorithms in Services on Collective End-to-End Execution Time Characteristics of Web Service Workflows. | Xiang Li, Yushun Fan, Le Xin, Keman Huang, Yihang Luo, Yi Liu |
| 2013 | Adaptive Web Services Composition Using Q-Learning in Cloud. | Yu Lei, Zhili Wang, Lingli Meng, Jiang Wang, Luoming Meng, Xuesong Qiu |
| 2013 | Towards Smarter Task Applications. | Przemek Lach, Hausi A. Mller |
| 2013 | Introducing a Distributed Cloud Architecture with Efficient Resource Discovery and Optimal Resource Allocation. | Praveen Khethavath, Johnson P. Thomas, Eric Chan-Tin, Hong Liu |
| 2013 | An End-to-End QoS Mapping Approach for Cloud Service Selection. | Raed Karim, Chen Ding, Ali Miri |
| 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 |