Michael Fourman

1.1k total citations
17 papers, 255 citations indexed

About

Michael Fourman is a scholar working on Computational Theory and Mathematics, Industrial and Manufacturing Engineering and Artificial Intelligence. According to data from OpenAlex, Michael Fourman has authored 17 papers receiving a total of 255 indexed citations (citations by other indexed papers that have themselves been cited), including 6 papers in Computational Theory and Mathematics, 5 papers in Industrial and Manufacturing Engineering and 4 papers in Artificial Intelligence. Recurrent topics in Michael Fourman's work include Manufacturing Process and Optimization (5 papers), Logic, programming, and type systems (3 papers) and Model-Driven Software Engineering Techniques (2 papers). Michael Fourman is often cited by papers focused on Manufacturing Process and Optimization (5 papers), Logic, programming, and type systems (3 papers) and Model-Driven Software Engineering Techniques (2 papers). Michael Fourman collaborates with scholars based in United Kingdom and United States. Michael Fourman's co-authors include Bonnie F. Jacobs, Michael Smyth, Peter Freyd, Stephen Vickers, Peter Johnstone, Peter W. O’Hearn, J.R.B. Cockett, Pierre-Louis Curien, Yves Lafont and Simon J. Brookes and has published in prestigious journals such as IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Journal of Pure and Applied Algebra and manuscripta mathematica.

In The Last Decade

Michael Fourman

16 papers receiving 223 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Michael Fourman United Kingdom	6	156	143	29	28	27	17	255
Bakh Khoussainov New Zealand	10	87 0.6×	96 0.7×	4 0.1×	14 0.5×	35 1.3×	31	227
Kyle Fox United States	8	30 0.2×	40 0.3×	3 0.1×	4 0.1×	4 0.1×	27	144
Christian W. G. Lasarczyk Germany	5	173 1.1×	116 0.8×		18 0.6×		6	223
Pino Persiano Italy	8	83 0.5×	48 0.3×		5 0.2×	3 0.1×	15	223
Vojtěch Forejt United Kingdom	9	140 0.9×	150 1.0×		13 0.5×		22	219
Claude Girault France	4	47 0.3×	86 0.6×	1 0.0×	8 0.3×		8	181
Virginie Wiels France	9	76 0.5×	87 0.6×		24 0.9×		25	210
Pablo Rabanal Spain	8	78 0.5×	36 0.3×		22 0.8×		21	149
Tommaso Dreossi Italy	7	84 0.5×	56 0.4×		41 1.5×		14	176
J.C. Gentina France	10	17 0.1×	169 1.2×	2 0.1×	60 2.1×	2 0.1×	43	292

Countries citing papers authored by Michael Fourman

Since Specialization

Citations

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

Fields of papers citing papers by Michael Fourman

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Michael Fourman

This figure shows the co-authorship network connecting the top 25 collaborators of Michael Fourman. A scholar is included among the top collaborators of Michael Fourman 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 Michael Fourman. Michael Fourman is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

17 of 17 papers shown

1.

Sannella, Donald, et al.. (2021). Introduction to Computation. 1 indexed citations

2.

Fourman, Michael. (2016). Measuring the Broadband Access Divide. Edinburgh Research Explorer. 1–4. 1 indexed citations

3.

Fourman, Michael, et al.. (2013). Digital Scotland: Spreading the Benefits of Digital Participation - An interim report for consultation. 1 indexed citations

4.

Fourman, Michael. (2010). Information to Knowledge; from Knowledge to Wisdom. 8 indexed citations

5.

Fourman, Michael, et al.. (2003). Proof and synthesis. 600–603.

6.

Fourman, Michael, et al.. (1997). Partial Functions in a Total Setting. Journal of Automated Reasoning. 18(1). 85–104. 7 indexed citations

7.

Fourman, Michael. (1992). Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992. 1 indexed citations

8.

Fourman, Michael, Simon J. Brookes, J.R.B. Cockett, et al.. (1992). Applications of Categories in Computer Science. Cambridge University Press eBooks. 59 indexed citations

9.

Fourman, Michael, et al.. (1991). Integration of Formal Methods with System Design. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 59–69. 8 indexed citations

10.

Fourman, Michael, et al.. (1991). The need for a core method DIALOG — Linking formal proof to the design environment. Microprocessing and Microprogramming. 32(1-5). 667–673. 2 indexed citations

11.

Fourman, Michael. (1989). Formal system design. 3 indexed citations

12.

Fourman, Michael. (1985). Compaction of Symbolic Layout Using Genetic Algorithms. international conference on Genetic algorithms. 141–153. 127 indexed citations

13.

Fourman, Michael. (1985). Proceedings of the 1st International Conference on Genetic Algorithms, Pittsburgh, PA, USA, July 1985. 2 indexed citations

14.

Fourman, Michael. (1983). T1 spaces over topological sites. Journal of Pure and Applied Algebra. 27(3). 223–224. 4 indexed citations

15.

Fourman, Michael & Andre Scedrov. (1982). The “world's simplest axiom of choice” fails. manuscripta mathematica. 38(3). 325–332. 4 indexed citations

16.

Fourman, Michael. (1980). Sheaf models for set theory. Journal of Pure and Applied Algebra. 19. 91–101. 26 indexed citations

17.

Fourman, Michael, Christopher J. Mulvey, & Dana Scott. (1979). Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977. Springer eBooks. 1 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