Search results for "Vashti Galpin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Vashti Galpin, Jane Hillston	A semantic equivalence for Bio-PEPA based on discretisation of continuous values.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Vashti Galpin	Equivalences for a biological process algebra.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Luca Bortolussi, Vashti Galpin, Jane Hillston	HYPE with stochastic events	QAPL	2011	DBLP DOI BibTeX RDF
1	Vashti Galpin, Jane Hillston, Federica Ciocchetta	A semi-quantitative equivalence for abstracting from fast reactions	CompMod	2011	DBLP DOI BibTeX RDF
1	Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone	Hybrid Semantics for PEPA.	QEST	2010	DBLP DOI BibTeX RDF
1	András Z. Salamon, Vashti Galpin	Bounds on series-parallel slowdown	CoRR	2009	DBLP BibTeX RDF
1	Vashti Galpin, Luca Bortolussi, Jane Hillston	HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Vashti Galpin	Modelling Network Performance with a Spatial Stochastic Process Algebra.	AINA	2009	DBLP DOI BibTeX RDF
1	Vashti Galpin, Jane Hillston	Equivalence and Discretisation in Bio-PEPA.	CMSB	2009	DBLP DOI BibTeX RDF
1	Vashti Galpin, Jane Hillston, Luca Bortolussi	HYPE Applied to the Modelling of Hybrid Biological Systems.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Vashti C. Galpin, Ian Douglas Sanders	Perceptions of Computer Science at a South African university.	Computers & Education	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	learning style, personality type
1	Ian Douglas Sanders, Vashti C. Galpin	Students' mental models of recursion at wits.	ITiCSE	2007	DBLP DOI BibTeX RDF	recursion, mental models
1	Ian Sanders, Vashti Galpin, Tina Götschi	Mental models of recursion revisited.	ITiCSE	2006	DBLP DOI BibTeX RDF	recursion, mental models
1	Vashti Galpin	A format for semantic equivalence comparison.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Tina Götschi, Ian Sanders, Vashti Galpin	Mental models of recursion.	SIGCSE	2003	DBLP DOI BibTeX RDF	learning, programming, pedagogy, recursion, mental models, constructivism
1	Vashti Galpin	Women in computing around the world.	SIGCSE Bulletin	2002	DBLP DOI BibTeX RDF
1	Vashti C. Galpin	Algebraic results for structured operational semantics.	South African Computer Journal	2000	DBLP BibTeX RDF
1	Vashti Galpin	A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.	South African Computer Journal	2000	DBLP BibTeX RDF
1	Vashti Galpin	Comparison of Process Algebra Equivalences Using Formats.	ICALP	1999	DBLP DOI BibTeX RDF
1	Yinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller	Development of a Decentralized Virtual Service Redirector for Internet Applications.	FTDCS	1999	DBLP DOI BibTeX RDF	dependable computing, modeling, distributed system, verification, firewall
1	Vashti C. Galpin, S. T. Rock	A Lift Simulation Prototype.	Softw., Pract. Exper.	1995	DBLP DOI BibTeX RDF
1	Ian Sanders, Vashti Galpin	A Survey of Attitudes to Computing at the University of the Witwatersrand.	Woman, Work and Computerization	1994	DBLP BibTeX RDF

Publications of Vashti Galpin Vashti C. Galpin ( http://dblp.L3S.de/Authors/Vashti_Galpin )