| 2015 | OOPSLA | Domain specific modelling for clinical research. | Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch |
| 2014 | EKAW | A Knowledge Driven Approach towards the Validation of Externally Acquired Traceability Datasets in Supply Chain Business Processes. | Monika Solanki, Christopher Brewster |
| 2009 | AINA | Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach. | Alessio Lomuscio, Monika Solanki |
| 2008 | ICWS | Towards Verifying Contract Regulated Service Composition. | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
| 2007 | ICSOC | Verifying Temporal and Epistemic Properties of Web Service Compositions. | Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki |
| 2006 | WWW | ASDL: a wide spectrum language for designing web services. | Monika Solanki, Antonio Cau, Hussein Zedan |
| 2005 | ICWS | Semantically Annotating Reactive Web Services with Temporal Specifications. | Monika Solanki, Antonio Cau, Hussein Zedan |
| 2004 | WWW | Augmenting semantic web service descriptions with compositional specification. | Monika Solanki, Antonio Cau, Hussein Zedan |