Vashti Galpin

33 papers and 311 indexed citations i.

About

Vashti Galpin has authored 33 papers that have received a total of 311 indexed citations. This includes 15 papers in Computational Theory and Mathematics, 10 papers in Molecular Biology and 9 papers in Developmental and Educational Psychology. The topics of these papers are Formal Methods in Verification (12 papers), Gene Regulatory Network Analysis (10 papers) and Petri Nets in System Modeling (6 papers). Vashti Galpin is often cited by papers focused on Formal Methods in Verification (12 papers), Gene Regulatory Network Analysis (10 papers) and Petri Nets in System Modeling (6 papers) and collaborates with scholars based in United Kingdom, South Africa and Italy. Vashti Galpin's co-authors include Ian Sanders, Jane Hillston, Luca Bortolussi, Stephen Gilmore and Natalia Zoń and has published in prestigious journals such as Computers & Education, Advances in experimental medicine and biology and Theoretical Computer Science

In The Last Decade

Rankless by CCL
2025