Vashti Galpin

44 papers A* 1A 1B 6C 1Misc 2Journal 18Unranked 14
YearRankTypeTitle / Venue / Authors
2022 J jnl
Language-Integrated Query for Temporal Data (Extended version).
CoRR
Simon Fowler, Vashti Galpin, James Cheney
2022 B conf
Language-Integrated Query for Temporal Data.
GPCE
Simon Fowler, Vashti Galpin, James Cheney
2021 — conf
Curating Covid-19 Data in Links.
IPAW
Vashti Galpin, James Cheney
2021 J jnl
Curating Covid-19 data in Links.
CoRR
Vashti Galpin, James Cheney
2019 J jnl
Guest editors' foreword.
J. Log. Algebraic Methods Program.
Vashti Galpin, Paolo Milazzo, Anna Monreale
2018 Misc conf
Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.
SEC
Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall
2018 B conf
Formal Modelling of Software Defined Networking.
IFM
Vashti Galpin
2018 J jnl
Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools.
ACM Trans. Model. Comput. Simul.
Vashti Galpin, Natalia Zon, Pia Wilsdorf, Stephen Gilmore
2018 Misc conf
Statistical Analysis of CARMA Models: an Advanced Tutorial.
WSC
Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin
2016 J jnl
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems.
ACM Trans. Model. Comput. Simul.
Cheng Feng, Jane Hillston, Vashti Galpin
2016 C conf
Modelling Ambulance Deployment with CarmaCARMA.
COORDINATION
Vashti Galpin
2016 — conf
Modelling movement for collective adaptive systems with CARMA.
FORECAST@STAF
Natalia Zon, Vashti Galpin, Stephen Gilmore
2016 — conf
Spatial Representations and Analysis Techniques.
SFM
Vashti Galpin
2015 — conf
CARMA: Collective Adaptive Resource-sharing Markovian Agents.
QAPL
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
2015 — conf
Quantitative Modelling of Residential Smart Grids.
SEFM Workshops
Vashti Galpin
2014 J jnl
Hybrid semantics for Bio-PEPA.
Inf. Comput.
Vashti Galpin
2014 — conf
Modelling Residential Smart Energy Schemes.
SASO Workshops
Vashti Galpin
2014 J jnl
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems.
CoRR
Luca Bortolussi, Vashti Galpin, Jane Hillston
2013 J jnl
HYPE: Hybrid modelling by composition of flows.
Formal Aspects Comput.
Vashti Galpin, Luca Bortolussi, Jane Hillston
2013 J jnl
Rosen's (M, R) system in process algebra.
BMC Syst. Biol.
Derek Gatherer, Vashti Galpin
2012 — conf
Hybrid performance modelling of opportunistic networks
QAPL
Luca Bortolussi, Vashti Galpin, Jane Hillston
2012 — conf
Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA.
CMSB
Vashti Galpin
2011 J jnl
A semantic equivalence for Bio-PEPA based on discretisation of continuous values.
Theor. Comput. Sci.
Vashti Galpin, Jane Hillston
2011 — conf
A semi-quantitative equivalence for abstracting from fast reactions
CompMod
Vashti Galpin, Jane Hillston, Federica Ciocchetta
2011 J jnl
Equivalences for a biological process algebra.
Theor. Comput. Sci.
Vashti Galpin
2011 — conf
HYPE with stochastic events
QAPL
Luca Bortolussi, Vashti Galpin, Jane Hillston
2010 J jnl
Continuous approximation of PEPA models and Petri nets.
Int. J. Comput. Aided Eng. Technol.
Vashti Galpin
2010 — conf
Hybrid Semantics for PEPA.
QEST
Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone
2009 J jnl
Bounds on series-parallel slowdown
CoRR
András Z. Salamon, Vashti Galpin
2009 — conf
Equivalence and Discretisation in Bio-PEPA.
CMSB
Vashti Galpin, Jane Hillston
2009 B conf
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.
CONCUR
Vashti Galpin, Luca Bortolussi, Jane Hillston
2009 B conf
Modelling Network Performance with a Spatial Stochastic Process Algebra.
AINA
Vashti Galpin
2008 B conf
HYPE Applied to the Modelling of Hybrid Biological Systems.
MFPS
Vashti Galpin, Jane Hillston, Luca Bortolussi
2008 — ch.
Women in Computing.
Wiley Encyclopedia of Computer Science and Engineering
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
2006 B conf
Mental models of recursion revisited.
ITiCSE
Ian D. Sanders, Vashti Galpin, Tina Götschi
2003 J jnl
A format for semantic equivalence comparison.
Theor. Comput. Sci.
Vashti Galpin
2003 J jnl
Computer self-efficacy, gender, and educational background in South Africa.
IEEE Technol. Soc. Mag.
Vashti Galpin, Ian Douglas Sanders, Heather Turner, Bernadine Venter
2003 A conf
Mental models of recursion.
SIGCSE
Tina Götschi, Ian D. Sanders, Vashti Galpin
2002 J jnl
Women in computing around the world.
ACM SIGCSE Bull.
Vashti Galpin
2000 J jnl
A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.
South Afr. Comput. J.
Vashti Galpin
1999 A* conf
Comparison of Process Algebra Equivalences Using Formats.
ICALP
Vashti Galpin
1999 — conf
Development of a Decentralized Virtual Service Redirector for Internet Applications.
FTDCS
Yinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller
1994 — conf
A Survey of Attitudes to Computing at the University of the Witwatersrand.
WWC
Ian D. Sanders, Vashti Galpin
1993 J jnl
Gender imbalances in computer science at the University of the Witwatersrand.
ACM SIGCSE Bull.
Vashti Galpin, Ian D. Sanders