| 2017 | ADBIS | Automatic Organization of Semantically Related Tags Using Topic Modelling. | Iman Saleh, Neamat El-Tazi |
| 2015 | ICSR | HadoopMutator: A Cloud-Based Mutation Testing Framework. | Iman Saleh, Khaled Nagi |
| 2014 | COLING | A Study of using Syntactic and Semantic Structures for Concept Segmentation and Labeling. | Iman Saleh, Scott Cyphers, James R. Glass, Shafiq R. Joty, Llus Mrquez i Villodre, Alessandro Moschitti, Preslav Nakov |
| 2014 | EMNLP | Semantic Kernels for Semantic Parsing. | Iman Saleh, Alessandro Moschitti, Preslav Nakov, Llus Mrquez, Shafiq R. Joty |
| 2014 | SEKE | Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications. | Muhammad Nassar, Julian Jarrett, Iman Saleh, M. Brian Blake |
| 2014 | WETICE | Modelling Service Workflow Outcomes by Assessing the Underlying Message Flows. | Damian Clarke, Iman Saleh, M. Brian Blake |
| 2014 | WETICE | Track Report of Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC 2014). | Usman Wajid, M. Brian Blake, Iman Saleh |
| 2013 | ICWS | Formal Methods for Data-centric Web Services: From Model to Implementation. | Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei |
| 2013 | SEFM | Static Detection of Implementation Errors Using Formal Code Specification. | Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei |
| 2012 | ISDA | Unsupervised document summarization using clusters of dependency graph nodes. | Ayman El-Kilany, Iman Saleh |
| 2011 | SERVICES | Formal Specification and Verification of Transactional Service Composition. | Iman Saleh, Gregory Kulczycki, M. Brian Blake |
| 2010 | ICWS | Formal Specification and Verification of Data-Centric Service Composition. | Iman Saleh, Gregory Kulczycki, M. Brian Blake |
| 2010 | SERVICES | Specification and Verification of Data-Centric Web Services. | Iman Saleh |
| 2009 | ICSR | A Reusable Model for Data-Centric Web Services. | Iman Saleh, Gregory Kulczycki, M. Brian Blake |