Vashti Galpin
Orcid: 0000-0001-8914-1122Affiliations:
- University of Edinburgh, UK
According to our database1,
Vashti Galpin
authored at least 49 papers
between 1993 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2022
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022
2021
Proceedings of the Provenance and Annotation of Data and Processes, 2021
2019
2018
ACM Trans. Model. Comput. Simul., 2018
Proceedings of the 2018 Winter Simulation Conference, 2018
Proceedings of the ICT Systems Security and Privacy Protection, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2016
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems.
ACM Trans. Model. Comput. Simul., 2016
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016
Proceedings of the Coordination Models and Languages, 2016
2015
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015
Proceedings of the Software Engineering and Formal Methods, 2015
2014
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
2013
2012
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012
Proceedings of the Computational Methods in Systems Biology, 2012
2011
Theor. Comput. Sci., 2011
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011
2010
Int. J. Comput. Aided Eng. Technol., 2010
2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008
2007
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
Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006
2003
IEEE Technol. Soc. Mag., 2003
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003
2002
2000
A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.
South Afr. Comput. J., 2000
1999
Proceedings of the Automata, 1999
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999
1998
1995
1994
A Survey of Attitudes to Computing at the University of the Witwatersrand.
Proceedings of the Woman, Work and Computerization: Breaking Old Boundaries - Building New Forms, Proceedings of the IFIP TC9/WG9.1 Fifth International Conference on Woman, Work and Computerization: Breaking Old Boundaries, 1994
1993
ACM SIGCSE Bull., 1993