Gender imbalances in computer science at the University of the Witwatersrand. - Vashti Galpin; Ian D. Sanders (ACM SIGCSE Bull., 1993)

A Survey of Attitudes to Computing at the University of the Witwatersrand. - Ian D. Sanders; Vashti Galpin (WWC, 1994)

A Lift Simulation Prototype. - Vashti C. Galpin; S. T. Rock (Softw. Pract. Exp., 1995)

Equivalence semantics for concurrency : comparison and application. - Vashti C. Galpin (1998)

Development of a Decentralized Virtual Service Redirector for Internet Applications. - Yinong Chen; Vashti Galpin; Scott Hazelhurst; Roger Mateer; Conrad Mueller (FTDCS, 1999)

Comparison of Process Algebra Equivalences Using Formats. - Vashti Galpin (ICALP, 1999)

A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes. - Vashti Galpin (South Afr. Comput. J., 2000)

Algebraic results for structured operational semantics. - Vashti C. Galpin (South Afr. Comput. J., 2000)

Women in computing around the world. - Vashti Galpin (ACM SIGCSE Bull., 2002)

Mental models of recursion. - Tina Götschi; Ian D. Sanders; Vashti Galpin (SIGCSE, 2003)

Computer self-efficacy, gender, and educational background in South Africa. - Vashti Galpin; Ian Douglas Sanders; Heather Turner; Bernadine Venter (IEEE Technol. Soc. Mag., 2003)

A format for semantic equivalence comparison. - Vashti Galpin (Theor. Comput. Sci., 2003)

Mental models of recursion revisited. - Ian D. Sanders; Vashti Galpin; Tina Götschi (ITiCSE, 2006)

Learning styles and personality types of computer science students at a South African university. - Vashti C. Galpin; Ian Douglas Sanders; Pei-yu Chen (ITiCSE, 2007)

Students' mental models of recursion at wits. - Ian Douglas Sanders; Vashti C. Galpin (ITiCSE, 2007)

Perceptions of Computer Science at a South African university. - Vashti C. Galpin; Ian Douglas Sanders (Comput. Educ., 2007)

HYPE Applied to the Modelling of Hybrid Biological Systems. - Vashti Galpin; Jane Hillston; Luca Bortolussi (MFPS, 2008)

Women in Computing. - Denise W. Gürer; Jennifer Light; Christina Björkman; Rhian Davies; Mark S. Hancock; Anne Condon; Annemieke Craig; Vashti Galpin; Ursula Martin; Margit Pohl; Sylvia Wiltner; M. Suriya; et al. (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Modelling Network Performance with a Spatial Stochastic Process Algebra. - Vashti Galpin (AINA, 2009)

Equivalence and Discretisation in Bio-PEPA. - Vashti Galpin; Jane Hillston (CMSB, 2009)

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. - Vashti Galpin; Luca Bortolussi; Jane Hillston (CONCUR, 2009)

Bounds on series-parallel slowdown - András Z. Salamon; Vashti Galpin (CoRR, 2009)

Hybrid Semantics for PEPA. - Luca Bortolussi; Vashti Galpin; Jane Hillston; Mirco Tribastone (QEST, 2010)

Continuous approximation of PEPA models and Petri nets. - Vashti Galpin (Int. J. Comput. Aided Eng. Technol., 2010)

HYPE with stochastic events - Luca Bortolussi; Vashti Galpin; Jane Hillston (QAPL, 2011)

A semi-quantitative equivalence for abstracting from fast reactions - Vashti Galpin; Jane Hillston; Federica Ciocchetta (CompMod, 2011)

Equivalences for a biological process algebra. - Vashti Galpin (Theor. Comput. Sci., 2011)

A semantic equivalence for Bio-PEPA based on discretisation of continuous values. - Vashti Galpin; Jane Hillston (Theor. Comput. Sci., 2011)

Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA. - Vashti Galpin (CMSB, 2012)

Hybrid performance modelling of opportunistic networks - Luca Bortolussi; Vashti Galpin; Jane Hillston (QAPL, 2012)

Rosen's (M, R) system in process algebra. - Derek Gatherer; Vashti Galpin (BMC Syst. Biol., 2013)

HYPE: Hybrid modelling by composition of flows. - Vashti Galpin; Luca Bortolussi; Jane Hillston (Formal Aspects Comput., 2013)

Modelling Residential Smart Energy Schemes. - Vashti Galpin (SASO Workshops, 2014)

Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. - Luca Bortolussi; Vashti Galpin; Jane Hillston (CoRR, 2014)

Hybrid semantics for Bio-PEPA. - Vashti Galpin (Inf. Comput., 2014)

Quantitative Modelling of Residential Smart Grids. - Vashti Galpin (SEFM Workshops, 2015)

CARMA: Collective Adaptive Resource-sharing Markovian Agents. - Luca Bortolussi; Rocco De Nicola; Vashti Galpin; Stephen Gilmore; Jane Hillston; Diego Latella; Michele Loreti; Mieke Massink (QAPL, 2015)

Modelling Ambulance Deployment with CarmaCARMA. - Vashti Galpin (COORDINATION, 2016)

Spatial Representations and Analysis Techniques. - Vashti Galpin (SFM, 2016)

Modelling movement for collective adaptive systems with CARMA. - Natalia Zon; Vashti Galpin; Stephen Gilmore (FORECAST@STAF, 2016)

Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems. - Cheng Feng 004; Jane Hillston; Vashti Galpin (ACM Trans. Model. Comput. Simul., 2016)

Formal Modelling of Software Defined Networking. - Vashti Galpin (IFM, 2018)

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. - Wei Chen 023; Yuhui Lin; Vashti Galpin; Vivek Nigam; Myungjin Lee; David Aspinall 001 (SEC, 2018)

Statistical Analysis of CARMA Models: an Advanced Tutorial. - Vashti Galpin; Anastasis Georgoulas; Michele Loreti; Andrea Vandin (WSC, 2018)

Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools. - Vashti Galpin; Natalia Zon; Pia Wilsdorf; Stephen Gilmore (ACM Trans. Model. Comput. Simul., 2018)

Guest editors' foreword. - Vashti Galpin; Paolo Milazzo; Anna Monreale (J. Log. Algebraic Methods Program., 2019)

Curating Covid-19 Data in Links. - Vashti Galpin; James Cheney (IPAW, 2021)

Language-Integrated Query for Temporal Data. - Simon Fowler 001; Vashti Galpin; James Cheney (GPCE, 2022)

Language-Integrated Query for Temporal Data (Extended version). - Simon Fowler 001; Vashti Galpin; James Cheney (CoRR, 2022)