Vashti Galpin - Publications

• L. Bortolussi, V.Galpin, J. Hillston, and M. Tribastone.
  Hybrid semantics for PEPA, 2010.
  To appear in Proceedings of QEST 2010.

• A.Z. Salamon and V. Galpin.
  Performance loss between concept and keyboard.
  In Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2010), Edinburgh, 20-21 July, 2010.

• V. Galpin, J. Hillston, and L. Bortolussi.
  A stochastic hybrid process algebra (poster).
  In Models and Logics for Quantitative Analysis (MLQA 2010), Edinburgh, 9 July, 2010.

• V. Galpin.
  Continuous approximation of PEPA models and Petri nets.
  International Journal of Computer Aided Engineering and Technology, 2:324-339, 2010.

• V. Galpin, L. Bortolussi, and J. Hillston.
  HYPE: a process algebra for compositional flows and emergent behaviour.
  In M. Bravetti and G. Zavattaro, (eds), Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009), volume 5710 of Lecture Notes in Computer Science. Springer, 2009, 305-320.

• V. Galpin and J. Hillston.
  Equivalence and discretisation in Bio-PEPA.
  In P. Degano and R.Gorriero, (eds), Proceedings of the 7th International Conference on Computational Models in Systems Biology (CMSB 2009), volume 5688 of Lecture Notes in Bioinformatics. Springer, 2009, 189-204.

• V. Galpin.
  How restrictive is the current action decomposition property for compression bisimulation?.
  In Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), University of Edinburgh, 26-27 August 2009.

• V. Galpin.
  Modelling network performance with a spatial stochastic process algebra.
  In Proceedings of the 23rd IEEE International Conference on Advanced Information Networking and Applications (AINA 2009), University of Bradford, United Kingdom, 26-19 May 2009. 41-49.

• I. Sanders and V. Galpin.
  Commentary on "Mental Models of Recursion Revisited".
  Annals of Research on Engineering Education, 4(3), 2009.

• D. Gürer, J. Light, C. Björkman, R. Davies, M. Hancock, A. Condon, A. Craig, V. Galpin, U. Martin, M. Pohl, S. Wiltner, M. Suriya, E. Spertus, J. McGrath Cohoon, G. Childress Townsend, and P. Gabbert.
  Women and Computing.
  In B. Wah, (ed), Encyclopedia of Computer Science and Engineering, volume 5, 3099-3122. Wiley Interscience, 2008.
  (V. Galpin's contribution is titled "Women and Computer Science in South Africa" and appears on pages 3108-3110).

• V. Galpin.
  Continuous approximation of PEPA models and Petri nets.
  In Proceedings of the European Simulation and Modelling Conference (ESM 2008), Le Havre, France, 27-29 October 2008. 492-499.

• V. Galpin.
  Towards a spatial stochastic process algebra.
  In Proceedings of the 7th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), University of Edinburgh, 30-31 July 2008.

• V. Galpin, J. Hillston, and L. Bortolussi.
  HYPE applied to the modelling of hybrid biological systems.
  Electronic Notes in Theoretical Computer Science (Proceedings of MFPS 24), 218:33-51, 2008.

• V. Galpin, L. Bortolussi, and J. Hillston.
  HYPE: hybrid systems modelled with flows.
  Report EDI-INF-RR-1251, School of Informatics, University of Edinburgh, 2008.

• V. Galpin.
  A comparison of the ODE semantics of PEPA with timed continuous Petri nets.
  In Proceedings of the 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), Imperial College, London, 26-27 July 2007. 5-11.

• I. Sanders and V. Galpin.
  Students' mental models of recursion at Wits (poster).
  In Proceedings of the 12th annual SIGCSE conference on Innovation and Technology in Computer Science Education, Dundee, Scotland, 25-27 June 2007. 317.

• V. Galpin, I. Sanders, and P. Chen.
  Learning styles and personality types of Computer Science students at a South African university.
  In Proceedings of the 12th annual SIGCSE conference on Innovation and Technology in Computer Science Education, Dundee, Scotland, 25-27 June 2007. 201-205.

• V.C. Galpin and I.D. Sanders.
  Perceptions of Computer Science at a South African university.
  Computers & Education, 49(4):1330-1356, December 2007.

• I. Sanders, V. Galpin, and T. Götschi.
  Mental models of recursion revisited.
  In Proceedings of the 11th annual SIGCSE conference on Innovation and Technology in Computer Science Education, Bologna, Italy, 26-28 June 2006. 138-142.

• V. Galpin.
  ICT usage in sub-Saharan Africa.
  In E.M. Trauth, (ed), Encyclopedia of Gender and Information Technology, 786-792. Idea Group Publishing, 2006.

• V. Galpin.
  Women in technology in sub-Saharan Africa.
  In E.M. Trauth, (ed), Encyclopedia of Gender and Information Technology, 1279-1285. Idea Group Publishing, 2006.

• V.C. Galpin.
  A comparison of legislation about winemaking additives and processes.
  Cape Wine Master Seminar, 2006.

• V. Galpin and I. Sanders.
  Perceptions of Computer Science among first year students at the University of the Witwatersrand.
  Technical Report TR-Wits-CS-2005-0, School of Computer Science, University of the Witwatersrand, 2005.

• V. Galpin.
  A South African perspective on women in computing professions.
  In Women in Computing Professions: Will the Internet Make a Difference? Position Papers for an OII Policy Forum, 13-15. Oxford Internet Institute, Oxford University, 2004.

• V.C. Galpin.
  A format for semantic equivalence comparison.
  Theoretical Computer Science, 309(1-3):65-109, 2003.

• V.C. Galpin, I. Sanders, H. Turner, and B. Venter.
  Computer self-efficacy, gender, and educational background in South Africa.
  IEEE Technology and Society, 22(3):43-48, Fall 2003.

• V.C. Galpin, I. Sanders, H. Turner, and B. Venter.
  Gender and educational background and their effect on computer self-efficacy and perceptions.
  Technical Report TR-Wits-CS-2003-0, School of Computer Science, University of the Witwatersrand, 2003.

• T. Götschi, I. Sanders, and V. Galpin.
  Mental models of recursion.
  In Proceedings of SIGCSE 2003 Technical Symposium on Computer Science Education, Reno, Nevada, USA, 19-23 February 2003. ACM Press, 346-350.

• V.C. Galpin.
  Women in Computing around the World.
  ACM SIGCSE Bulletin, 34(2):94-100, 2002.

• V.C. Galpin.
  Women in Computing around the World: an Initial Comparison of International Statistics.
  Technical Report TR-Wits-CS-2002-0, School of Computer Science, University of the Witwatersrand, 2002.

• V.C. Galpin.
  A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.
  South African Computer Journal, 26:4-12, November 2000.
  (A research paper presented at SAICSIT 2000, Cape Town, South Africa, 1-3 November 2000).

• V.C. Galpin.
  Algebraic results for structured operational semantics.
  South African Computer Journal, 26:13-21, November 2000.
  (A research paper presented at SAICSIT 2000, Cape Town, South Africa, 1-3 November 2000).

• Y. Chen, V.C. Galpin, S. Hazelhurst, R. Mateer, and C. Mueller.
  Development of a decentralised virtual service redirector for Internet applications.
  In Proceedings of the 7th IEEE Workshop on Future Trends in Distributed Computing Systems (FTDCS '99), Cape Town, South Africa, 20-22 December 1999. IEEE Computer Society, 235-241.

• V.C. Galpin, S. Hazelhurst, C. Mueller, and I. Sanders.
  Introducing research methods to computer science Honours students.
  South African Computer Journal, 24:258-263, November 1999.
  (An experience paper from the Proceedings of SAICSIT '99, Hartebeespoort, South Africa, 17-19 November 1999).

• V.C. Galpin, S. Hazelhurst, C. Mueller, and I. Sanders.
  A survey of the effects of a fourth year Introduction to Research Methods course.
  Technical Report TR-Wits-CS-1999-14, Department of Computer Science, University of the Witwatersrand, 1999.

• Y. Chen, S. Hazelhurst, V.C. Galpin, R. Mateer, and C. Mueller.
  Development of a decentralised virtual service redirector for Internet applications.
  Technical Report TR-Wits-CS-1999-10, Department of Computer Science, University of the Witwatersrand, 1999.

• V.C. Galpin.
  Comparison of process algebra equivalences using formats.
  In J. Wiedermann, P. van Emde Boas, and M. Nielsen, (eds), ICALP '99, (International Colloquium on Automata, Languages and Programming), 26th Annual Colloquium of the EATCS (European Association of Theoretical Computer Science), Lecture Notes in Computer Science 1644, Prague, Czech Republic, 11-15 July 1999. Springer-Verlag, 341-350.

• V.C. Galpin, S. Hazelhurst, C. Mueller, and I. Sanders.
  Experiences of introducing research methods to Honours students.
  In T. Mc Donald and P.J. Blignaut, (eds), Proceedings of the 29th Conference of the Southern African Computer Lecturers' Association (SACLA '99), Golden Gate, South Africa, 27-29 June 1999. 51-56.

• V.C. Galpin.
  Equivalence semantics for concurrency: comparison and application.
  Technical Report ECS-LFCS-98-397, PhD Thesis, Department of Computer Science, University of Edinburgh, 1998.

• V.C. Galpin and S.T. Rock.
  A lift simulation prototype.
  Software Practice and Experience, 25(3):251-270, March 1995.

• V.C. Galpin.
  True concurrency equivalence semantics: an overview.
  In Proceedings of the Ninth Annual Masters and PhD Students on Computer Science Conference, Stellenbosch University Seminar Centre, Stellenbosch, South Africa, 14-15 December 1994. 46-60.

• I.D. Sanders and V.C. Galpin.
  A survey of attitudes to computing at the University of the Witwatersrand.
  In A. Adam, J. Emms, E. Green, and J. Owens, (eds), IFIP Transactions A-57, Women, Work, and Computerization, Breaking Old Boundaries--Building New Forms, 209-223. Elsevier Science, 1994.
  (also published in the Proceedings of the Fifth International Conference on Women, Work and Computerization, UMIST, Manchester, UK, 2-5 July 1994. 108-122.).

• V. Galpin and I. Sanders.
  Gender imbalances in computer science at the University of the Witwatersrand.
  ACM SIGCSE Bulletin, 25(4):2-4, December 1993.

• V.C. Galpin.
  Measuring concurrency in CCS.
  In Proceedings of the Eighth National Conference for Masters and PhD Students in Computer Science, UNISA, South Africa, 29-30 June 1993. 80-89.

• V.C. Galpin.
  Measuring concurrency in CCS.
  MSc Research Report, Department of Computer Science, University of the Witwatersrand, 1993.

• V. Galpin.
  Gender and computer science education.
  Technical Report 1992-05, Department of Computer Science, University of the Witwatersrand, 1992.

• V. Galpin.
  A review of distributed bisimulation.
  Technical Report 1992-04, Department of Computer Science, University of the Witwatersrand, 1992.

• V. Galpin.
  Essays on computer science education.
  Technical Report 1992-03, Department of Computer Science, University of the Witwatersrand, 1992.