# Vashti Galpin

According to our database

Collaborative distances :

^{1}, Vashti Galpin authored at least 41 papers between 1994 and 2018.Collaborative distances :

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2018

Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools.

ACM Trans. Model. Comput. Simul., 2018

2016

Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems.

ACM Trans. Model. Comput. Simul., 2016

Modelling movement for collective adaptive systems with CARMA.

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Spatial Representations and Analysis Techniques.

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Modelling Ambulance Deployment with CarmaCARMA.

Proceedings of the Coordination Models and Languages, 2016

2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents.

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Quantitative Modelling of Residential Smart Grids.

Proceedings of the Software Engineering and Formal Methods, 2015

2014

Hybrid semantics for Bio-PEPA.

Inf. Comput., 2014

Stochastic HYPE: Flow-based modelling of stochastic hybrid systems.

CoRR, 2014

Modelling Residential Smart Energy Schemes.

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

2013

HYPE: Hybrid modelling by composition of flows.

Formal Asp. Comput., 2013

Rosen's (M, R) system in process algebra.

BMC Systems Biology, 2013

2012

Hybrid performance modelling of opportunistic networks

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA.

Proceedings of the Computational Methods in Systems Biology, 2012

2011

A semantic equivalence for Bio-PEPA based on discretisation of continuous values.

Theor. Comput. Sci., 2011

Equivalences for a biological process algebra.

Theor. Comput. Sci., 2011

A semi-quantitative equivalence for abstracting from fast reactions

Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

HYPE with stochastic events

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

2010

Continuous approximation of PEPA models and Petri nets.

IJCAET, 2010

Hybrid Semantics for PEPA.

Proceedings of the QEST 2010, 2010

2009

Bounds on series-parallel slowdown

CoRR, 2009

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Equivalence and Discretisation in Bio-PEPA.

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Modelling Network Performance with a Spatial Stochastic Process Algebra.

Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Women in Computing.

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

HYPE Applied to the Modelling of Hybrid Biological Systems.

Electr. Notes Theor. Comput. Sci., 2008

2007

Perceptions of Computer Science at a South African university.

Computers & Education, 2007

Students' mental models of recursion at wits.

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Learning styles and personality types of computer science students at a South African university.

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

2006

Mental models of recursion revisited.

Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

2003

A format for semantic equivalence comparison.

Theor. Comput. Sci., 2003

Computer self-efficacy, gender, and educational background in South Africa.

IEEE Technol. Soc. Mag., 2003

Mental models of recursion.

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

2002

Women in computing around the world.

SIGCSE Bulletin, 2002

2000

Algebraic results for structured operational semantics.

South African Computer Journal, 2000

A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.

South African Computer Journal, 2000

1999

Comparison of Process Algebra Equivalences Using Formats.

Proceedings of the Automata, 1999

Development of a Decentralized Virtual Service Redirector for Internet Applications.

Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

1998

Equivalence semantics for concurrency : comparison and application.

PhD thesis, 1998

1995

A Lift Simulation Prototype.

Softw., Pract. Exper., 1995

1994

A Survey of Attitudes to Computing at the University of the Witwatersrand.

Proceedings of the Woman, Work and Computerization: Breaking Old Boundaries, 1994