Michael Fourman

10 papers and 189 indexed citations i.

Michael Fourman has authored 10 papers that have received a total of 189 indexed citations. This includes 5 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 3 papers in Industrial and Manufacturing Engineering. The topics of these papers are Manufacturing Process and Optimization (3 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers). Michael Fourman is often cited by papers focused on Manufacturing Process and Optimization (3 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United States and United Kingdom. Michael Fourman's co-authors include Peter Freyd, Simon J. Brookes, Pierre-Louis Curien, Michael B. Smyth and Bonnie F. Jacobs 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.