iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/g/VashtiCGalpin.html

dblp: Vashti Galpin

default search action

combined dblp search
author search
venue search
publication search

ask others

Vashti Galpin

Vashti C. Galpin

> Home > Persons

Person information

affiliation: University of Edinburgh, UK

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/0001GC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/0001GC22
Simon Fowler, Vashti Galpin, James Cheney:
Language-Integrated Query for Temporal Data. GPCE 2022: 5-19
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-12077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-12077
Simon Fowler, Vashti Galpin, James Cheney:
Language-Integrated Query for Temporal Data (Extended version). CoRR abs/2210.12077 (2022)
2021
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ipaw/GalpinC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipaw/GalpinC21
Vashti Galpin, James Cheney:
Curating Covid-19 Data in Links. IPAW 2021: 237-243
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-00412
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-00412
Vashti Galpin, James Cheney:
Curating Covid-19 data in Links. CoRR abs/2106.00412 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/GalpinMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/GalpinMM19
Vashti Galpin, Paolo Milazzo, Anna Monreale:
Guest editors' foreword. J. Log. Algebraic Methods Program. 109 (2019)
2018
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/GalpinZWG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/GalpinZWG18
Vashti Galpin, Natalia Zon, Pia Wilsdorf, Stephen Gilmore:
Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools. ACM Trans. Model. Comput. Simul. 28(2): 11:1-11:26 (2018)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Galpin18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Galpin18
Vashti Galpin:
Formal Modelling of Software Defined Networking. IFM 2018: 172-193
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sec/ChenLGNLA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/ChenLGNLA18
Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall:
Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. SEC 2018: 307-322
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/GalpinGLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/GalpinGLV18
Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin:
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC 2018: 395-409
2016
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/0004HG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/0004HG16
Cheng Feng, Jane Hillston, Vashti Galpin:
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems. ACM Trans. Model. Comput. Simul. 26(4): 26:1-26:22 (2016)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Galpin16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Galpin16
Vashti Galpin:
Modelling Ambulance Deployment with CarmaCARMA. COORDINATION 2016: 121-137
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Galpin16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Galpin16
Vashti Galpin:
Spatial Representations and Analysis Techniques. SFM 2016: 120-155
[c20]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ZonGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZonGG16
Natalia Zon, Vashti Galpin, Stephen Gilmore:
Modelling movement for collective adaptive systems with CARMA. FORECAST@STAF 2016: 43-52
2015
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Galpin15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Galpin15
Vashti Galpin:
Quantitative Modelling of Residential Smart Grids. SEFM Workshops 2015: 161-175
[c18]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BortolussiNGGHL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BortolussiNGGHL15
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31
2014
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Galpin14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Galpin14
Vashti Galpin:
Hybrid semantics for Bio-PEPA. Inf. Comput. 236: 122-145 (2014)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/Galpin14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/Galpin14
Vashti Galpin:
Modelling Residential Smart Energy Schemes. SASO Workshops 2014: 49-54
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BortolussiGH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BortolussiGH14
Luca Bortolussi, Vashti Galpin, Jane Hillston:
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. CoRR abs/1411.4433 (2014)
2013
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcsb/GathererG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcsb/GathererG13
Derek Gatherer, Vashti Galpin:
Rosen's (M, R) system in process algebra. BMC Syst. Biol. 7: 128 (2013)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/GalpinBH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/GalpinBH13
Vashti Galpin, Luca Bortolussi, Jane Hillston:
HYPE: Hybrid modelling by composition of flows. Formal Aspects Comput. 25(4): 503-541 (2013)
2012
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/Galpin12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/Galpin12
Vashti Galpin:
Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA. CMSB 2012: 374-377
[c15]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-0873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-0873
Luca Bortolussi, Vashti Galpin, Jane Hillston:
Hybrid performance modelling of opportunistic networks. QAPL 2012: 106-121
2011
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GalpinH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GalpinH11
Vashti Galpin, Jane Hillston:
A semantic equivalence for Bio-PEPA based on discretisation of continuous values. Theor. Comput. Sci. 412(21): 2142-2161 (2011)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Galpin11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Galpin11
Vashti Galpin:
Equivalences for a biological process algebra. Theor. Comput. Sci. 412(43): 6058-6082 (2011)
[c14]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-1365
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-1365
Vashti Galpin, Jane Hillston, Federica Ciocchetta:
A semi-quantitative equivalence for abstracting from fast reactions. CompMod 2011: 34-49
[c13]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1233
Luca Bortolussi, Vashti Galpin, Jane Hillston:
HYPE with stochastic events. QAPL 2011: 120-133
2010
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcaet/Galpin10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcaet/Galpin10
Vashti Galpin:
Continuous approximation of PEPA models and Petri nets. Int. J. Comput. Aided Eng. Technol. 2(4): 324-339 (2010)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BortolussiGHT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BortolussiGHT10
Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone:
Hybrid Semantics for PEPA. QEST 2010: 181-190

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/Galpin09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/Galpin09
Vashti Galpin:
Modelling Network Performance with a Spatial Stochastic Process Algebra. AINA 2009: 41-49
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/GalpinH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/GalpinH09
Vashti Galpin, Jane Hillston:
Equivalence and Discretisation in Bio-PEPA. CMSB 2009: 189-204
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GalpinBH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GalpinBH09
Vashti Galpin, Luca Bortolussi, Jane Hillston:
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR 2009: 305-320
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0904-4512
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0904-4512
András Z. Salamon, Vashti Galpin:
Bounds on series-parallel slowdown. CoRR abs/0904.4512 (2009)
2008
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GalpinHB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GalpinHB08
Vashti Galpin, Jane Hillston, Luca Bortolussi:
HYPE Applied to the Modelling of Hybrid Biological Systems. MFPS 2008: 33-51
[p1]
- view
  authority control:
- export record
  dblp key:
  - reference/wiley/GurerLBDHCCGMPWSSCTG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/wiley/GurerLBDHCCGMPWSSCTG08
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
2007
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ce/GalpinS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ce/GalpinS07
Vashti C. Galpin, Ian Douglas Sanders:
Perceptions of Computer Science at a South African university. Comput. Educ. 49(4): 1330-1356 (2007)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/GalpinSC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/GalpinSC07
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
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/SandersG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/SandersG07
Ian Douglas Sanders, Vashti C. Galpin:
Students' mental models of recursion at wits. ITiCSE 2007: 317
2006
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/SandersGG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/SandersGG06
Ian D. Sanders, Vashti Galpin, Tina Götschi:
Mental models of recursion revisited. ITiCSE 2006: 138-142
2003
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tasm/GalpinSTV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tasm/GalpinSTV03
Vashti Galpin, Ian Douglas Sanders, Heather Turner, Bernadine Venter:
Computer self-efficacy, gender, and educational background in South Africa. IEEE Technol. Soc. Mag. 22(3): 43-48 (2003)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Galpin03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Galpin03
Vashti Galpin:
A format for semantic equivalence comparison. Theor. Comput. Sci. 309(1-3): 65-109 (2003)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/GotschiSG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/GotschiSG03
Tina Götschi, Ian D. Sanders, Vashti Galpin:
Mental models of recursion. SIGCSE 2003: 346-350
2002
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sigcse/Galpin02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigcse/Galpin02
Vashti Galpin:
Women in computing around the world. ACM SIGCSE Bull. 34(2): 94-100 (2002)
2000
[j4]
- view
  - electronic edition @ sabinet.co.za (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/saj/Galpin00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saj/Galpin00
Vashti Galpin:
A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes. South Afr. Comput. J. 26: 4-12 (2000)
[j3]
- view
  - electronic edition @ sabinet.co.za (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/saj/Galpin00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saj/Galpin00a
Vashti C. Galpin:
Algebraic results for structured operational semantics. South Afr. Comput. J. 26: 13-21 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ftdcs/ChenGHMM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftdcs/ChenGHMM99
Yinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller:
Development of a Decentralized Virtual Service Redirector for Internet Applications. FTDCS 1999: 235-241
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Galpin99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Galpin99
Vashti Galpin:
Comparison of Process Algebra Equivalences Using Formats. ICALP 1999: 341-350
1998
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Galpin98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Galpin98
Vashti C. Galpin:
Equivalence semantics for concurrency : comparison and application. University of Edinburgh, UK, 1998
1995
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/GalpinR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/GalpinR95
Vashti C. Galpin, S. T. Rock:
A Lift Simulation Prototype. Softw. Pract. Exp. 25(3): 251-270 (1995)
1994
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip9-1/SandersG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip9-1/SandersG94
Ian D. Sanders, Vashti Galpin:
A Survey of Attitudes to Computing at the University of the Witwatersrand. WWC 1994: 209-223
1993
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigcse/GalpinS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigcse/GalpinS93
Vashti Galpin, Ian D. Sanders:
Gender imbalances in computer science at the University of the Witwatersrand. ACM SIGCSE Bull. 25(4): 2-4 (1993)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.