Stephen Gilmore

4.8k total citations
104 papers, 920 citations indexed

About

Stephen Gilmore is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Stephen Gilmore has authored 104 papers receiving a total of 920 indexed citations (citations by other indexed papers that have themselves been cited), including 33 papers in Computational Theory and Mathematics, 31 papers in Artificial Intelligence and 20 papers in Computer Networks and Communications. Recurrent topics in Stephen Gilmore's work include Formal Methods in Verification (30 papers), Advanced Software Engineering Methodologies (21 papers) and Gene Regulatory Network Analysis (15 papers). Stephen Gilmore is often cited by papers focused on Formal Methods in Verification (30 papers), Advanced Software Engineering Methodologies (21 papers) and Gene Regulatory Network Analysis (15 papers). Stephen Gilmore collaborates with scholars based in United Kingdom, Italy and Germany. Stephen Gilmore's co-authors include Jane Hillston, Mirco Tribastone, Marina Ribaudo, Leı̈la Kloul, Muffy Calder, Jeremy T. Bradley, Maria Luisa Guerriero, Allan Clark, Nigel Thomas and Christopher Walton and has published in prestigious journals such as SHILAP Revista de lepidopterología, Bioinformatics and IEEE Transactions on Software Engineering.

In The Last Decade

Stephen Gilmore

96 papers receiving 824 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Stephen Gilmore United Kingdom 19 325 303 292 178 145 104 920
Daniel Le Métayer France 17 364 1.1× 382 1.3× 839 2.9× 264 1.5× 77 0.5× 54 1.2k
Alan Hartman Israel 17 178 0.5× 113 0.4× 398 1.4× 449 2.5× 25 0.2× 51 1.1k
William M. Waite United States 20 216 0.7× 252 0.8× 540 1.8× 272 1.5× 16 0.1× 67 1.3k
Sagar Sen Norway 17 147 0.5× 174 0.6× 375 1.3× 443 2.5× 16 0.1× 104 1.1k
Vahid Rafe Iran 16 110 0.3× 137 0.5× 281 1.0× 309 1.7× 16 0.1× 73 703
Eugene Santos United States 17 209 0.6× 170 0.6× 620 2.1× 14 0.1× 57 0.4× 136 1.0k
Rosario Pugliese Italy 16 201 0.6× 525 1.7× 574 2.0× 45 0.3× 10 0.1× 65 881
Ashutosh Gupta India 13 148 0.5× 71 0.2× 282 1.0× 122 0.7× 23 0.2× 89 600
Kenneth J. Turner United Kingdom 14 140 0.4× 217 0.7× 288 1.0× 116 0.7× 4 0.0× 92 709
Wei‐Pang Yang Taiwan 20 123 0.4× 543 1.8× 817 2.8× 10 0.1× 38 0.3× 99 1.4k

Countries citing papers authored by Stephen Gilmore

Since Specialization
Citations

This map shows the geographic impact of Stephen Gilmore's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Stephen Gilmore with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Stephen Gilmore more than expected).

Fields of papers citing papers by Stephen Gilmore

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Stephen Gilmore. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Stephen Gilmore. The network helps show where Stephen Gilmore may publish in the future.

Co-authorship network of co-authors of Stephen Gilmore

This figure shows the co-authorship network connecting the top 25 collaborators of Stephen Gilmore. A scholar is included among the top collaborators of Stephen Gilmore based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Stephen Gilmore. Stephen Gilmore is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Gilmore, Stephen & Jonathan Herring. (2014). Listening to Children...Whatever. Research Portal (King's College London). 2014.
2.
Gilmore, Stephen & Jonathan Herring. (2011). ‘No’ is the Hardest Word: Consent and Children’s Autonomy. SSRN Electronic Journal. 23(1). 3–25. 14 indexed citations
3.
Gilmore, Stephen. (2011). Children’s Refusal of Medical Treatment: Could ReW be Distinguished?. Research Portal (King's College London). 41(7). 715–718. 1 indexed citations
4.
Coles, Andrew, Allan Clark, & Stephen Gilmore. (2011). Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements. Proceedings of the International Conference on Automated Planning and Scheduling. 21. 34–41. 19 indexed citations
5.
Clark, Allan, Vashti Galpin, Stephen Gilmore, Maria Luisa Guerriero, & Jane Hillston. (2011). Formal Methods for Checking the Consistency of Biological Models. Advances in experimental medicine and biology. 736. 461–475. 11 indexed citations
6.
Clark, Allan, Jane Hillston, Stephen Gilmore, & Peter Kemper. (2010). Verification and testing of biological models. Winter Simulation Conference. 620–630. 3 indexed citations
7.
Gilmore, Stephen, et al.. (2009). Design and development of software tools for Bio-PEPA. Winter Simulation Conference. 956–967. 9 indexed citations
8.
Probert, Rebecca, Stephen Gilmore, & Jonathan Herring. (2009). Responsible parents and parental responsibility. Hart Publishing eBooks. 1 indexed citations
9.
Gilmore, Stephen. (2008). The assumption that contact is beneficial: Challenging the "Secure foundation". Research Portal (King's College London). 38(12). 1226–1229. 1 indexed citations
10.
Calder, Muffy & Stephen Gilmore. (2008). Preface. Theoretical Computer Science. 408(1). 3–3. 1 indexed citations
11.
Calder, Muffy & Stephen Gilmore. (2007). Computational Methods in Systems Biology: International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings. DIAL (Catholic University of Leuven). 1 indexed citations
12.
Bradley, Jeremy T., Stephen Gilmore, & Jane Hillston. (2007). Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. Journal of Computer and System Sciences. 74(6). 1013–1032. 28 indexed citations
13.
Bradley, Jeremy T., Stephen Gilmore, & Nigel Thomas. (2006). Performance analysis of stochastic process algebra models using stochastic simulation. International Parallel and Distributed Processing Symposium. 321–321. 6 indexed citations
14.
Gilmore, Stephen & Mirco Tribastone. (2006). Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. 2 indexed citations
15.
Sannella, Donald, Martin Hofmann, David Aspinall, et al.. (2005). Mobile Resource Guarantees (Project Evaluation Paper). 211–226. 2 indexed citations
16.
Aspinall, David, Stephen Gilmore, Martin Hofmann, & Donald Sannella. (2005). Mobile Resource Guarantees for Smart Devices. 4 indexed citations
17.
Gilmore, Stephen. (2004). The Gender Recognition Act 2004. The Family in Law. 34(10). 741–746. 1 indexed citations
18.
Gilmore, Stephen. (2003). Parental Responsibility and the Unmarried Father – A New Dimension to the Debate. SSRN Electronic Journal. 15(1). 21–39. 2 indexed citations
19.
Gilmore, Stephen & Mark Ryan. (2001). Language constructs for describing features : proceedings of the FIREworks workshop. Springer eBooks. 2 indexed citations
20.
Walton, Chris, et al.. (1998). An abstract machine for module replacement. Biochimica et Biophysica Acta. 319(1). 62–71. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026