| 2022 | GPCE | Language-Integrated Query for Temporal Data. | Simon Fowler, Vashti Galpin, James Cheney |
| 2018 | IFM | Formal Modelling of Software Defined Networking. | Vashti Galpin |
| 2018 | WSC | Statistical Analysis of CARMA Models: an Advanced Tutorial. | Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin |
| 2018 | SEC | Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. | Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall |
| 2016 | Coordination | Modelling Ambulance Deployment with CarmaCARMA. | Vashti Galpin |
| 2015 | SEFM | Quantitative Modelling of Residential Smart Grids. | Vashti Galpin |
| 2009 | AINA | Modelling Network Performance with a Spatial Stochastic Process Algebra. | Vashti Galpin |
| 2009 | CONCUR | HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. | Vashti Galpin, Luca Bortolussi, Jane Hillston |
| 2006 | ITiCSE | Mental models of recursion revisited. | Ian D. Sanders, Vashti Galpin, Tina Gtschi |
| 2003 | SIGCSE | Mental models of recursion. | Tina Gtschi, Ian D. Sanders, Vashti Galpin |
| 1999 | ICALP | Comparison of Process Algebra Equivalences Using Formats. | Vashti Galpin |