Simon Foster

765 total citations
29 papers, 143 citations indexed

About

Simon Foster is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Simon Foster has authored 29 papers receiving a total of 143 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 13 papers in Software. Recurrent topics in Simon Foster's work include Formal Methods in Verification (13 papers), Software Reliability and Analysis Research (11 papers) and Logic, programming, and type systems (9 papers). Simon Foster is often cited by papers focused on Formal Methods in Verification (13 papers), Software Reliability and Analysis Research (11 papers) and Logic, programming, and type systems (9 papers). Simon Foster collaborates with scholars based in United Kingdom, China and Denmark. Simon Foster's co-authors include Jim Woodcock, Ana Cavalcanti, Frank Zeyda, Paul Adcock, Sandra E. Dann, K. G. Upul Wijayantha, Paul Brack, Ran Wei, Alvaro Miyazawa and Tim Kelly and has published in prestigious journals such as International Journal of Hydrogen Energy, Journal of Alloys and Compounds and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

In The Last Decade

Simon Foster

26 papers receiving 142 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Simon Foster United Kingdom 7 52 51 45 43 23 29 143
Jan Philipps Germany 8 32 0.6× 76 1.5× 23 0.5× 31 0.7× 16 0.7× 18 130
Arnaud Cuccuru France 6 14 0.3× 62 1.2× 14 0.3× 50 1.2× 14 0.6× 28 133
Hardi Hungar Germany 7 78 1.5× 68 1.3× 29 0.6× 70 1.6× 12 138
Patrick Graydon United States 8 28 0.5× 106 2.1× 163 3.6× 16 0.4× 3 0.1× 28 221
Rasmus Adler Germany 7 13 0.3× 52 1.0× 43 1.0× 68 1.6× 26 126
Alejandra Ruíz Spain 8 16 0.3× 71 1.4× 88 2.0× 31 0.7× 1 0.0× 27 161
Marc Zeller Germany 8 28 0.5× 35 0.7× 23 0.5× 83 1.9× 36 159
Keijiro Araki Japan 6 44 0.8× 41 0.8× 12 0.3× 60 1.4× 35 142
Rolf Michael Schneider Germany 7 14 0.3× 33 0.6× 56 1.2× 11 0.3× 29 151
Saadia Dhouib France 7 6 0.1× 33 0.6× 15 0.3× 33 0.8× 22 117

Countries citing papers authored by Simon Foster

Since Specialization
Citations

This map shows the geographic impact of Simon Foster'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 Simon Foster with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Simon Foster more than expected).

Fields of papers citing papers by Simon Foster

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Simon Foster. 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 Simon Foster. The network helps show where Simon Foster may publish in the future.

Co-authorship network of co-authors of Simon Foster

This figure shows the co-authorship network connecting the top 25 collaborators of Simon Foster. A scholar is included among the top collaborators of Simon Foster 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 Simon Foster. Simon Foster 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.
Foster, Simon, et al.. (2024). IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. Journal of Automated Reasoning. 68(4).
2.
3.
Wei, Ran, et al.. (2023). Automated Model-Based Assurance Case Management Using Constrained Natural Language. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43(1). 291–304. 4 indexed citations
4.
5.
Foster, Simon, et al.. (2021). Formally Verified Simulations of State-Rich Processes using Interaction\n Trees in Isabelle/HOL. arXiv (Cornell University). 3 indexed citations
6.
Yan, Fang, Simon Foster, & Ibrahim Habli. (2021). Safety Case Generation by Model-based Engineering: State of the Art and a Proposal. White Rose Research Online (University of Leeds, The University of Sheffield, University of York). 4–7. 2 indexed citations
7.
Foster, Simon, et al.. (2021). Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects of Computing. 33(6). 855–884. 14 indexed citations
8.
Foster, Simon, et al.. (2021). Automated verification of reactive and concurrent programs by calculation. Journal of Logical and Algebraic Methods in Programming. 121. 100681–100681.
9.
Foster, Simon, et al.. (2020). Formal Model-Based Assurance Cases in Isabelle/SACM : An Autonomous Underwater Vehicle Case Study. White Rose Research Online (University of Leeds, The University of Sheffield, University of York). 3 indexed citations
10.
Foster, Simon, et al.. (2020). Formal Model-Based Assurance Cases in Isabelle/SACM. 11–21. 1 indexed citations
11.
Foster, Simon, et al.. (2019). Isabelle/UTP : Mechanised Theory Engineering for Unifying Theories of Programming. White Rose Research Online (University of Leeds, The University of Sheffield, University of York). 2019. 6 indexed citations
12.
Foster, Simon, et al.. (2019). Unifying theories of reactive design contracts. Theoretical Computer Science. 802. 105–140. 10 indexed citations
13.
Brack, Paul, Sandra E. Dann, K. G. Upul Wijayantha, Paul Adcock, & Simon Foster. (2019). Synthesis of activated ferrosilicon-based microcomposites by ball milling and their hydrogen generation properties. International Journal of Hydrogen Energy. 44(35). 19113–19127. 13 indexed citations
14.
Foster, Simon. (2018). Kleene Algebra in Unifying Theories of Programming. White Rose Research Online (University of Leeds, The University of Sheffield, University of York). 1 indexed citations
15.
Foster, Simon, Ana Cavalcanti, Jim Woodcock, & Frank Zeyda. (2018). Unifying theories of time with generalised reactive processes. Information Processing Letters. 135. 47–52. 6 indexed citations
16.
Foster, Simon, et al.. (2018). Reactive Designs in Isabelle/UTP. White Rose Research Online (University of Leeds, The University of Sheffield, University of York). 1 indexed citations
17.
Turner, Robert & Simon Foster. (2018). LM (Localisation Microscopy) Matlab. Figshare. 1 indexed citations
18.
Foster, Simon, et al.. (2018). Stateful-Failure Reactive Designs in Isabelle/UTP. White Rose Research Online (University of Leeds, The University of Sheffield, University of York). 1 indexed citations
19.
Brack, Paul, et al.. (2017). Activation of silicon towards hydrogen generation by pelletisation. Journal of Alloys and Compounds. 704. 146–151. 15 indexed citations
20.
Larsen, Peter Gorm, et al.. (2012). COMPASS tool vision for a system of systems Collaborative Development Environment. 451–456. 16 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

Breakdown of academic impact, for papers by Jan Philipps Breakdown of academic impact, for papers by Arnaud Cuccuru Breakdown of academic impact, for papers by Hardi Hungar Breakdown of academic impact, for papers by Patrick Graydon Breakdown of academic impact, for papers by Rasmus Adler Breakdown of academic impact, for papers by Alejandra Ruíz Breakdown of academic impact, for papers by Marc Zeller Breakdown of academic impact, for papers by Keijiro Araki Breakdown of academic impact, for papers by Rolf Michael Schneider Breakdown of academic impact, for papers by Saadia Dhouib
Rankless by CCL
2026