@misc{BGHT10a,
	author = "L. Bortolussi and V.Galpin and J. Hillston and M.
                  Tribastone",
	title = "\htmladdnormallink{Hybrid semantics for {PEPA}}{pubs/BGHT10a.html}",
	year = 2010,
	note = "To appear in \emph{Proceedings of QEST 2010}",
	}

@inproceedings{SG10a,
        author = "A.Z. Salamon and V. Galpin",
        title = "\htmladdnormallink{Performance loss between concept and
                 keyboard}{pubs/SG10a.html}",
	booktitle = "Workshop on Exploiting Concurrency Efficiently and
                     Correctly (EC2 2010)",
	address = "Edinburgh, 20-21 July",
        year = 2010,
        }

@inproceedings{GHB10a,
        author = "V. Galpin and J. Hillston and L. Bortolussi",
        title = "\htmladdnormallink{A stochastic hybrid process algebra
                 (poster)}{pubs/GHB10a.html}",
        booktitle = "Models and Logics for Quantitative Analysis (MLQA 2010)",
	address = "Edinburgh, 9 July",
        year = 2010,
        }

@article{Gal09c,
	author = "V. Galpin",
	title = "\htmladdnormallink{Continuous approximation of {PEPA}
                 models and {P}etri nets}{pubs/Gal08a.html}",
	journal = "International Journal of Computer Aided Engineering
                  and Technology",
	year = 2010,
	volume = 2,
	pages = "324-339",
	}

@inproceedings{GBH09a,
        author = "V. Galpin and L. Bortolussi and J. Hillston",
        title = "\htmladdnormallink{HYPE: a process algebra for
                 compositional flows and emergent behaviour}
                 {pubs/GBH09a.html}",
	editor = "M. Bravetti and G. Zavattaro",
	booktitle = "Proceedings of the 20th International Conference on
                     Concurrency Theory (CONCUR 2009)",
	pages = "305-320",
	series = "Lecture Notes in Computer Science",
	volume = 5710,
	publisher = "Springer",
        year = 2009,
        }

@inproceedings{GH09a,
        author = "V. Galpin and J. Hillston",
        title = "\htmladdnormallink{Equivalence and discretisation in 
        Bio-PEPA}{pubs/GH09a.html}",
	editor = "P. Degano and R.Gorriero",
	booktitle = "Proceedings of the 7th International Conference on
                     Computational Models in Systems Biology (CMSB 2009)",
	pages = "189-204",
	publisher = "Springer",
	series = "Lecture Notes in Bioinformatics",
	volume = 5688,
        year = 2009,
        }

@inproceedings{Gal09b,
	author = "V. Galpin",
	title = "\htmladdnormallink{How restrictive is the current
action decomposition property for compression bisimulation?}{pubs/Gal09b.html}",
	booktitle = "Proceedings of the 8th Workshop on Process Algebra
and Stochastically Timed Activities (PASTA)",
	month = "26-27 August",
	address = "University of Edinburgh",
	pahe = 119,
	year = 2009,
	}

@inproceedings{Gal09a,
        author = "V. Galpin",
        title = "\htmladdnormallink{Modelling network performance with
a spatial stochastic process algebra}{pubs/Gal09a.html}",
	booktitle = "Proceedings of the 23rd IEEE International
Conference on Advanced Information Networking and Applications (AINA 2009)",
	address = "University of Bradford, United Kingdom",
	month = "26-19 May",
	year = 2009,
	pages = "41-49",
        }

@article{SG09a,
	author = "I. Sanders and V. Galpin",
	title = "\htmladdnormallink{Commentary on "Mental Models of 
                 Recursion Revisited"}{pubs/SG09a.html}",
	journal = "Annals of Research on Engineering Education",
	year = 2009,
	volume = 4,
	number = 3	
	}

@incollection{Gal06c, 
        author = "D. G{\"u}rer and J. Light and C. Bj{\"o}rkman and R.
        Davies and M. Hancock and A. Condon and A. Craig and V. Galpin and U.
        Martin and M. Pohl and S. Wiltner and M. Suriya and E. Spertus 
        and J. McGrath Cohoon and G.  Childress Townsend and P. Gabbert",
	authors = "Galpin, V.",
	titles = "{Women and Computer Science in South Africa}",
	title = "\htmladdnormallink{Women and
Computing}{http://mrw.interscience.wiley.com/emrw/9780470050118/ecse/article/ecse472/current/abstract}",
        editor = "B. Wah",
        booktitle = "\htmladdnormallink{Encyclopedia of Computer Science and
Engineering}{http://mrw.interscience.wiley.com/emrw/9780470050118/home/}",
	publisher = "Wiley Interscience",
	volume = 5,
	pages = "3099-3122",
	year = 2008, 
	note = {(V. Galpin's contribution is titled "Women and Computer
Science in South Africa" and appears on pages 3108-3110)},
        }

@inproceedings{Gal08a,
	author = "V. Galpin",
	title = "\htmladdnormallink{Continuous approximation of {PEPA}
models and {P}etri nets}{pubs/Gal08a.html}",
	booktitle = "Proceedings of the European Simulation and
Modelling Conference (ESM 2008)",
	month = "27-29 October",
	address = "Le Havre, France",
	year = 2008,
	pages = "492-499",
	}

@inproceedings{Gal08,
	author = "V. Galpin",
	title = "\htmladdnormallink{Towards a spatial stochastic process
algebra}{pubs/Gal08.html}",
	booktitle = "Proceedings of the 7th Workshop on Process Algebra
and Stochastically Timed Activities (PASTA)",
	month = "30-31 July",
	address = "University of Edinburgh",
	year = 2008,
	}

@article{GHB08a,
	author = "V. Galpin and J. Hillston and L. Bortolussi",
	title = "\htmladdnormallink
                {{HYPE} applied to the modelling of hybrid biological systems}
                {pubs/GHB08a.html}",
	journal = "Electronic Notes in Theoretical Computer Science
{(Proceedings of MFPS 24)}",
        year = 2008,
	volume = 218,
	pages = "33-51",
      }

@techreport{GBH08a,
	author="V. Galpin and L. Bortolussi and J. Hillston",
	title ="\htmladdnormallink
               {{HYPE}: hybrid systems modelled with flows}
               {pubs/GBH08a.html}",
	year = 2008,
	type = "Report",
        number = "EDI-INF-RR-1251",
        institution = "School of Informatics, University of Edinburgh",
	}

@inproceedings{Gal07,
	author = "V. Galpin",
	title = "\htmladdnormallink{A comparison of the ODE semantics of
PEPA with timed continuous Petri nets}{pubs/Gal07.html}",
	booktitle = "Proceedings of the 6th Workshop on Process Algebra
and Stochastically Timed Activities (PASTA)",
	month = "26-27 July",
	address = "Imperial College, London",
	pages = "5-11",
	year = 2007,
	}

@inproceedings{SG07,
	author = "I. Sanders and V. Galpin",
	title = "\htmladdnormallink{Students' mental models of recursion
at {Wits} (poster)}{pubs/SG07.html}",
	booktitle = "Proceedings of the 12th annual SIGCSE 
                 conference on Innovation and Technology in Computer 
                 Science Education",
	month = "25-27 June",
	address = "Dundee, Scotland",
	pages = "317",
	year = 2007,
	}

@inproceedings{GSC07,
	author = "V. Galpin and I. Sanders and P. Chen",
	title = "\htmladdnormallink{Learning styles and
personality types of Computer Science students at a South African
university}{pubs/GSC07.html}",
	booktitle = "Proceedings of the 12th annual SIGCSE 
                 conference on Innovation and Technology in Computer 
                 Science Education",
	month = "25-27 June",
	address = "Dundee, Scotland",
	pages = "201-205",
	year = 2007,
	}

@article{GS06,
	author = "V.C. Galpin and I.D. Sanders",
	title = "\htmladdnormallink{Perceptions of {C}omputer {S}cience
	        at a {S}outh {A}frican university}
                {pubs/GS06.html}",
	journal = "Computers \& Education",
	year = 2007,
	month = dec,
	volume = 49,
	number = 4,
	pages = "1330-1356",
	}

@inproceedings{SGG06,
	author = "I. Sanders and V. Galpin and T. G{\"o}tschi",
	title = "\htmladdnormallink{Mental models of recursion revisited}
                {pubs/SGG06.html}",
	booktitle = "Proceedings of the 11th annual SIGCSE conference on
                  Innovation and Technology in Computer Science Education",
	month = "26-28 June",
	address = "Bologna, Italy",
	pages = "138-142",
	year = 2006,
	}

@incollection{Gal06b, 
	author = "Galpin, V.",
	title = "{ICT} usage in sub-{S}aharan {A}frica",
	editor = "Trauth, E.M.", 
        booktitle = "Encyclopedia of Gender and Information Technology",
	publisher = "Idea Group Publishing",
        pages = "786-792",
	year = 2006, 
        }

@incollection{Gal06a, 
	author = "Galpin, V.",
	title = "Women in technology in sub-{S}aharan {A}frica",
	editor = "Trauth, E.M.", 
        booktitle = "Encyclopedia of Gender and Information Technology",
	publisher = "Idea Group Publishing",
	pages = "1279-1285",
	year = 2006, 
        }
 
@misc{Gal-wine06,
	author = "V.C. Galpin",
	title = "\htmladdnormallink{A comparison of legislation about
                winemaking additives and processes}{pubs/Gal-wine06.html}",
	howpublished = "Cape Wine Master Seminar",
	year = 2006,
	}

@techreport{GS05a,
	author="V. Galpin and I. Sanders",
	title ="\htmladdnormallink
               {Perceptions of Computer Science among first year students at
	       the University of the Witwatersrand}
               {pubs/GS05a.html}",
	year = 2005,
	type = "Technical Report",
        number = "TR-Wits-CS-2005-0",
        institution = "School of Computer Science, University of the 
                       Witwatersrand",
	}

@incollection{Gal04, 
	author = "Galpin, V.",
	title = "\htmladdnormallink
                 {A South African perspective on women in computing
                 professions}
                 {pubs/Gal04.html}",
        booktitle = "Women in Computing Professions: Will the Internet Make a 
                     Difference? Position Papers for an OII Policy Forum",
	publisher = "Oxford Internet Institute, Oxford University",
	year = 2004, 
	pages = "13-15",
        }

@article{Gal03,
	author = "Galpin, V.C.",
	title = "\htmladdnormallink
                {A format for semantic equivalence comparison}
                {pubs/Gal03.html}",
	journal = "Theoretical Computer Science",
        year = 2003,
        number = "1-3",
	volume = 309,
	pages = "65-109",
      }

@article{GSTV03b,
	author = "Galpin, V.C. and Sanders, I. and Turner, H. and Venter, B.",
	title = "Computer self-efficacy, gender, and educational
                 background in {S}outh {A}frica",
	journal = "{IEEE Technology and Society}",
        month = "Fall",
        year = 2003,
        pages = "43-48",
        volume = 22,
	number = 3,
	}

@techreport{GSTV03a,
	author = "Galpin, V.C. and Sanders, I. and Turner, H. and Venter, B.",
	title = "\htmladdnormallink
                {Gender and educational background and their effect on 
                computer self-efficacy and perceptions}
                {pubs/GSTV03a.html}",
        number = "TR-Wits-CS-2003-0",
        institution = "School of Computer Science, University of the 
                       Witwatersrand",
        year = 2003,
        }

@inproceedings{GSG03,
	author = "G{\"o}tschi, T. and Sanders, I. and Galpin, V.",
	title = "\htmladdnormallink
                {Mental models of recursion}
                {pubs/GSG03.html}",
        booktitle = "Proceedings of SIGCSE 2003 Technical Symposium on
                     Computer Science Education",
        year = 2003,
        pages = "346-350",
        month = "19-23 February",
        address = "Reno, Nevada, USA",
	publisher = "ACM Press", 
	}


@article{Gal02b,
	author = "Galpin, V.C.",
	title = "\htmladdnormallink
                 {Women in Computing around the World}
                 {pubs/Gal02b.html}",
	journal = "ACM SIGCSE Bulletin",
	year = 2002,
        volume = 34,
	number = 2,
	pages = "94-100",
	}

@techreport{Gal02a,
	author = "Galpin, V.C.",
	title = "\htmladdnormallink
                 {Women in Computing around the World: an Initial 
                 Comparison of International Statistics}
                 {pubs/Gal02a.html}",
        number = "TR-Wits-CS-2002-0",
        institution = "School of Computer Science, University of the 
                       Witwatersrand",
        year = 2002,
        }

@article{Gal00b,
	author = "Galpin, V.C.",
	title = "\htmladdnormallink
                 {A comparison of bisimulation-based semantic equivalences for 
                 noninterleaving behaviour over {CCS} processes}
                 {pubs/Gal00b.html}",
	journal = "South African Computer Journal",
        month = nov,
        year = 2000,
        volume = 26,
        pages = "4-12",
	note = "(A research paper presented at SAICSIT 2000, 
                Cape Town, South Africa, 1-3 November 2000)",
        } 

@article{Gal00a,
	author = "Galpin, V.C.",
	title = "\htmladdnormallink
                 {Algebraic results for structured operational semantics}
                 {pubs/Gal00a.html}",
	journal = "South African Computer Journal",
        year = 2000,
        month = nov,
        volume = 26,
        pages = "13-21",
	note = "(A research paper presented at SAICSIT 2000, 
                Cape Town, South Africa, 1-3 November 2000)",
        } 


@inproceedings{CGHMM99,
	author = "Chen, Y. and Galpin, V.C. and Hazelhurst, S. and
                  Mateer, R. and Mueller, C.",
	title = "\htmladdnormallink
                 {Development of a decentralised virtual service redirector 
                 for {I}nternet applications}
                 {pubs/CGHMM99.html}",
        booktitle = "Proceedings of the 7th IEEE Workshop on Future Trends
                     in Distributed Computing Systems (FTDCS '99)",
        year = 1999,
        pages = "235-241",
        month = "20-22 December",
        address = "Cape Town, South Africa",
	publisher = "IEEE Computer Society", 
	}

@article{GHMS99c,
	author = "Galpin, V.C. and Hazelhurst, S. and Mueller, C. and 
                  Sanders, I.",
	title = "\htmladdnormallink
                 {Introducing research methods to computer science {H}onours 
                 students}
                 {pubs/GHMS99c.html}",
	journal = "South African Computer Journal",
	volume = 24,
        year = 1999,
        month = nov,
        pages = "258-263",
	note = "(An experience paper from the Proceedings of SAICSIT '99, 
                Hartebeespoort, South Africa, 17-19 
                November 1999)",
        } 

@techreport{GHMS99b,
	author = "Galpin, V.C. and Hazelhurst, S. and Mueller, C. and 
                  Sanders, I.",
	title = "\htmladdnormallink
                 {A survey of the effects of a fourth year {I}ntroduction to 
                 {R}esearch {M}ethods course}
                 {pubs/GHMS99b.html}",
        number = "TR-Wits-CS-1999-14",
        institution = "Department of Computer Science, University of the 
                       Witwatersrand",
        year = 1999,
        }

@techreport{CHGMM99,
	author = "Chen, Y. and Hazelhurst, S. and Galpin, V.C. and
                  Mateer, R. and Mueller, C.",
	title = "\htmladdnormallink
                 {Development of a decentralised virtual service redirector 
                 for {I}nternet applications}
                 {pubs/CHGMM99.html}",
        number = "TR-Wits-CS-1999-10",
        institution = "Department of Computer Science, University of the 
                       Witwatersrand",
        year = 1999,
        }

@inproceedings{Gal99,
	author = "Galpin, V.C.",
      	title = "\htmladdnormallink
                 {Comparison of process algebra equivalences using formats}
                 {pubs/Gal99.html}", 
 	editor = "Wiedermann, J. and van Emde Boas, P. and Nielsen, M.", 
        booktitle = "ICALP '99, (International Colloquium on Automata, 
                     Languages and Programming), 26th Annual Colloquium 
                     of the EATCS (European Association of Theoretical 
                     Computer Science)", 
        series = "Lecture Notes in Computer Science",
        number = 1644,
        publisher = "Springer-Verlag",
        month = "11-15 July",
	address = "Prague, Czech Republic",
	year = 1999, 
 	pages = "341-350",
        }

@inproceedings{GHMS99a, 
	author = "Galpin, V.C. and Hazelhurst, S. and Mueller, C. and 
                  Sanders, I.", 
	title = "\htmladdnormallink
                 {Experiences of introducing research methods to {H}onours 
                 students}
                 {pubs/GHMS99a.html}",
	editor = "Mc~Donald, T.  and Blignaut, P.J.", 
        booktitle = "Proceedings of the 29th Conference of the Southern 
	             African Computer Lecturers' Association (SACLA '99)",
	month = "27-29 June",
	year = 1999, 
	address = "Golden Gate, South Africa", 
	pages = "51-56",
        }
 
@phdthesis{Gal98,
	author = "Galpin, V.C.",
	title = "\htmladdnormallink
                 {Equivalence semantics for concurrency: comparison and 
                 application}
                 {pubs/Gal98.html}", 
        type = "{T}echnical {R}eport {ECS-LFCS-98-397}, {PhD} {T}hesis", 
	school = "Department of Computer Science, University of Edinburgh", 
	year = 1998,
        } 

@article{GR95,
	author = "Galpin, V.C. and Rock, S.T.",
	title = "\htmladdnormallink
                 {A lift simulation prototype}
                 {pubs/GR95.html}", 
	journal = "Software Practice and Experience", 
	volume = 25,
	number = 3, 
	month = mar,
	year = 1995, 
	pages = "251-270",
        }

@inproceedings{Gal94,
	author = "Galpin, V.C.",
	title = "\htmladdnormallink
                 {True concurrency equivalence semantics: an overview}
                 {pubs/Gal94.html}", 
	booktitle = "Proceedings of the Ninth Annual Masters and
		     PhD Students on Computer Science Conference",
        month = "14--15 December",
	year = 1994,
	address = "Stellenbosch University Seminar Centre, Stellenbosch, 
	           South Africa",
	pages = "46-60",
	}

@incollection{SG94,
	author = "Sanders, I.D. and Galpin, V.C.",
	title = "\htmladdnormallink
                 {A survey of attitudes to computing at the {U}niversity of 
                 the {W}itwatersrand}
                 {pubs/SG94.html}", 
	editor = "Adam, A. and Emms, J. and Green, E. and Owens, J.", 
	booktitle = "IFIP Transactions A-57, Women, Work, and Computerization, 
                     Breaking Old Boundaries---Building New Forms",
	publisher = "Elsevier Science",
	year = 1994, 
	pages = "209-223",
	note = "(also published in the \emph{Proceedings of the Fifth 
                 International 
                 Conference on Women, Work and Computerization}, 
                 UMIST, Manchester, UK, 2-5 July 1994. 108-122.)",
        }

@article{GS93,
	author = "Galpin, V. and Sanders, I.",
	title = "\htmladdnormallink
                 {Gender imbalances in computer science at the {U}niversity 
                 of the {W}itwatersrand}
                 {pubs/GS93.html}", 
	journal = "ACM SIGCSE Bulletin",
	volume = 25,
	number = "4", 
	month = dec,
	year = 1993,
	pages = "2-4",
	}

@inproceedings{Gal93b,
	author = "Galpin, V.C.",
	title = "\htmladdnormallink
                 {Measuring concurrency in {CCS}}
                 {pubs/Gal93b.html}", 
	booktitle = "Proceedings of the Eighth National Conference for 
	            Masters and PhD Students in Computer Science",
	month = "29--30 June",
	year = 1993, 
	address = "UNISA, South Africa", 
	pages = "80-89",
	}

@mastersthesis{Gal93a,
	author = "Galpin, V.C.",
	title = "\htmladdnormallink
                 {Measuring concurrency in {CCS}}
                 {pubs/Gal93a.html}", 
	type = "{MSc Research Report}",
	school = "Department of Computer Science, University of 
                  the Witwatersrand", 
	year = 1993,
        }

@techreport{Gal92c,
	author = "Galpin, V.",
	title = "\htmladdnormallink
                 {Gender and computer science education}
                 {pubs/Gal92c.html}",
        number = "1992-05",
        institution = "Department of Computer Science, University of the 
                       Witwatersrand",
        year = 1992,
        }

@techreport{Gal92b,
	author = "Galpin, V.", 
	title = "\htmladdnormallink
                 {A review of distributed bisimulation}
                 {pubs/Gal92b.html}", 
	number = "1992-04", 
	institution = "Department of Computer Science, University of the
		       Witwatersrand",
	year = 1992, 
	}

@techreport{Gal92a,
	author = "Galpin, V.",
	title = "\htmladdnormallink
                 {Essays on computer science education}
                 {pubs/Gal92a.html}",
        number = "1992-03",
        institution = "Department of Computer Science, University of the 
                       Witwatersrand",
        year = 1992,
        }