Vashti Galpin

33 papers and 312 indexed citations i.

Vashti Galpin has authored 33 papers that have received a total of 312 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 Michele Loreti and has published in prestigious journals such as Computers & Education, Advances in experimental medicine and biology and Theoretical Computer Science.