Vashti Galpin
Vashti Galpin
LFCS, School of Informatics, University of Edinburgh
Verified email at ed.ac.uk - Homepage
TitleCited byYear
Women in computing around the world
V Galpin
ACM SIGCSE Bulletin 34 (2), 94-100, 2002
1632002
Mental models of recursion
T Götschi, I Sanders, V Galpin
ACM SIGCSE Bulletin 35 (1), 346-350, 2003
862003
Computer self-efficacy, gender, and educational background in South Africa
V Galpin, I Sanders, H Turner, B Venter
IEEE Technology and Society Magazine 22 (3), 43-48, 2003
76*2003
Women in Computing
D Gürer, J Light, C Björkman, R Davies, M Hancock, A Condon, A Craig, ...
Wiley Encyclopedia of Computer Science and Engineering, 0
48*
Mental models of recursion revisited
I Sanders, V Galpin, T Götschi
ACM SIGCSE Bulletin 38 (3), 138-142, 2006
392006
Perceptions of computer science at a South African University
VC Galpin, ID Sanders
Computers & Education 49 (4), 1330-1356, 2007
322007
Carma: collective adaptive resource-sharing markovian agents
L Bortolussi, R De Nicola, V Galpin, S Gilmore, J Hillston, D Latella, ...
arXiv preprint arXiv:1509.08560, 2015
312015
Continuous approximation of PEPA models and Petri nets
V Galpin
International Journal of Computer Aided Engineering and Technology 2 (4 …, 2010
252010
HYPE: Hybrid modelling by composition of flows
V Galpin, L Bortolussi, J Hillston
Formal Aspects of Computing 25 (4), 503-541, 2013
222013
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems
C Feng, J Hillston, V Galpin
ACM Transactions on Modeling and Computer Simulation (TOMACS) 26 (4), 26, 2016
192016
A survey of attitudes to computing at the University of the Witwatersrand
I Sanders, V Galpin
Proceedings of the IFIP TC9/WG9. 1 Fifth International Conference on Woman …, 1994
191994
Learning styles and personality types of computer science students at a South African university
VC Galpin, ID Sanders, P Chen
ACM SIGCSE Bulletin 39 (3), 201-205, 2007
172007
HYPE applied to the modelling of hybrid biological systems
V Galpin, J Hillston, L Bortolussi
Electronic Notes in Theoretical Computer Science 218, 33-51, 2008
162008
Development of a Decentralized Virtual Service Redirector for Internet Applications
Y Chen, V Galpin, S Hazelhurst, R Mateer, C Mueller
Future Trends of Distributed Computing Systems, IEEE International Workshop …, 1999
161999
HYPE: a process algebra for compositional flows and emergent behaviour
V Galpin, L Bortolussi, J Hillston
CONCUR 2009-Concurrency Theory, 305-320, 2009
152009
Hybrid performance modelling of opportunistic networks
L Bortolussi, V Galpin, J Hillston
arXiv preprint arXiv:1207.0873, 2012
132012
Gender imbalances in computer science at the University of the Witwatersrand
V Galpin, I Sanders
ACM SIGCSE Bulletin 25 (4), 2-4, 1993
131993
Equivalences for a biological process algebra
V Galpin
Theoretical Computer Science 412 (43), 6058-6082, 2011
122011
HYPE with stochastic events
L Bortolussi, V Galpin, J Hillston
Arxiv preprint arXiv:1107.1233, 2011
122011
Hybrid semantics for PEPA
L Bortolussi, V Galpin, J Hillston, M Tribastone
Quantitative Evaluation of Systems (QEST), 2010 Seventh International …, 2010
122010
The system can't perform the operation now. Try again later.
Articles 1–20