Vashti Galpin

Vashti C. Galpin

	2011
24		Vashti Galpin, Jane Hillston, Federica Ciocchetta: A semi-quantitative equivalence for abstracting from fast reactions CompMod 2011: 34-49
23		Luca Bortolussi, Vashti Galpin, Jane Hillston: HYPE with stochastic events QAPL 2011: 120-133
22		Vashti Galpin, Jane Hillston: A semantic equivalence for Bio-PEPA based on discretisation of continuous values. Theor. Comput. Sci. 412(21): 2142-2161 (2011)
21		Vashti Galpin: Equivalences for a biological process algebra. Theor. Comput. Sci. 412(43): 6058-6082 (2011)
	2010
20		Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone: Hybrid Semantics for PEPA. QEST 2010: 181-190
	2009
19		Vashti Galpin: Modelling Network Performance with a Spatial Stochastic Process Algebra. AINA 2009: 41-49
18		Vashti Galpin, Jane Hillston: Equivalence and Discretisation in Bio-PEPA. CMSB 2009: 189-204
17		Vashti Galpin, Luca Bortolussi, Jane Hillston: HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR 2009: 305-320
16		András Z. Salamon, Vashti Galpin: Bounds on series-parallel slowdown CoRR abs/0904.4512: (2009)
	2008
15		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, Ellen Spertus, Joanne McGrath Cohoon, Gloria Childress Townsend, Paula Gabbert: Women in Computing. Wiley Encyclopedia of Computer Science and Engineering 2008
14		Vashti Galpin, Jane Hillston, Luca Bortolussi: HYPE Applied to the Modelling of Hybrid Biological Systems. Electr. Notes Theor. Comput. Sci. 218: 33-51 (2008)
	2007
13		Vashti C. Galpin, Ian Douglas Sanders, Pei-yu Chen: Learning styles and personality types of computer science students at a South African university. ITiCSE 2007: 201-205
12		Ian Douglas Sanders, Vashti C. Galpin: Students' mental models of recursion at wits. ITiCSE 2007: 317
11		Vashti C. Galpin, Ian Douglas Sanders: Perceptions of Computer Science at a South African university. Computers & Education 49(4): 1330-1356 (2007)
	2006
10		Ian Sanders, Vashti Galpin, Tina Götschi: Mental models of recursion revisited. ITiCSE 2006: 138-142
	2003
9		Tina Götschi, Ian Sanders, Vashti Galpin: Mental models of recursion. SIGCSE 2003: 346-350
8		Vashti Galpin: A format for semantic equivalence comparison. Theor. Comput. Sci. 309(1-3): 65-109 (2003)
	2002
7		Vashti Galpin: Women in computing around the world. SIGCSE Bulletin 34(2): 94-100 (2002)
	2000
6		Vashti C. Galpin: Algebraic results for structured operational semantics. South African Computer Journal 26: 13-21 (2000)
5		Vashti Galpin: A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes. South African Computer Journal 26: 4-12 (2000)
	1999
4		Yinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller: Development of a Decentralized Virtual Service Redirector for Internet Applications. FTDCS 1999: 235-241
3		Vashti Galpin: Comparison of Process Algebra Equivalences Using Formats. ICALP 1999: 341-350
	1995
2		Vashti C. Galpin, S. T. Rock: A Lift Simulation Prototype. Softw., Pract. Exper. 25(3): 251-270 (1995)
	1994
1		Ian Sanders, Vashti Galpin: A Survey of Attitudes to Computing at the University of the Witwatersrand. Woman, Work and Computerization 1994: 209-223

Coauthor Index

1	Christina Björkman	[15]
2	Luca Bortolussi	[14] [17] [20] [23]
3	Pei-yu Chen	[13]
4	Yinong Chen	[4]
5	Federica Ciocchetta	[24]
6	Joanne McGrath Cohoon	[15]
7	Anne Condon	[15]
8	Annemieke Craig	[15]
9	Rhian Davies	[15]
10	Paula Gabbert	[15]
11	Tina Götschi	[9] [10]
12	Denise W. Gürer	[15]
13	Mark S. Hancock	[15]
14	Scott Hazelhurst	[4]
15	Jane Hillston	[14] [17] [18] [20] [22] [23] [24]
16	Jennifer Light	[15]
17	Ursula Martin	[15]
18	Roger Mateer	[4]
19	Conrad Mueller	[4]
20	Margit Pohl	[15]
21	S. T. Rock	[2]
22	András Z. Salamon	[16]
23	Ian Sanders	[1] [9] [10]
24	Ian Douglas Sanders	[11] [12] [13]
25	Ellen Spertus	[15]
26	M. Suriya	[15]
27	Gloria Childress Townsend	[15]
28	Mirco Tribastone	[20]
29	Sylvia Wiltner	[15]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page