Michael Fourman
About
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), Logic, Reasoning, and Knowledge (2 papers) and Formal Methods in Verification (2 papers). Michael Fourman is often cited by papers focused on Manufacturing Process and Optimization (3 papers), Logic, Reasoning, and Knowledge (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States and United Kingdom. Michael Fourman's co-authors include Peter Freyd, Pierre-Louis Curien, John Longley, Peter Johnstone and Stephen Vickers 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
Explore authors with similar magnitude of impact
Top authors papers by Bénédicte Fustec are co-authored with Top journals papers by Michael S. Poslusney are published in Top fields papers by E. Gourvest are about Top fields papers by Xiaohong Cheng are about Top countries impacted by papers by Tadamasa Sasaki Top fields papers by Fayzan Chaudhry are about Top countries impacted by papers by István Barakonyi Top authors papers by Oriol Font-Bach are co-authored with