Stephen Gilmore
About
Stephen Gilmore has authored 71 papers that have received a total of 574 indexed citations.
This includes 22 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 16 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (19 papers), Gene Regulatory Network Analysis (15 papers) and Advanced Software Engineering Methodologies (14 papers). Stephen Gilmore is often cited by papers focused on Formal Methods in Verification (19 papers), Gene Regulatory Network Analysis (15 papers) and Advanced Software Engineering Methodologies (14 papers) and collaborates with scholars based in United Kingdom, Germany and Italy. Stephen Gilmore's co-authors include Jane Hillston, Mirco Tribastone, Allan Clark, Maria Luisa Guerriero and Leı̈la Kloul and has published in prestigious journals such as Bioinformatics, IEEE Transactions on Software Engineering and Reliability Engineering & System Safety
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Jibu Thomas Top journals papers by Riccardo Pernice are published in Top journals papers by Marcin Studnicki are published in Top countries impacted by papers by Henk Norde Top countries impacted by papers by Zhiqiang Liu Top journals papers by О.F. Kolomys are published in Top countries impacted by papers by Bruno Fionda Top fields papers by Gary Alan Bass are about