J. Strother Moore
About
J. Strother Moore has authored 51 papers that have received a total of 1.5k indexed citations.
This includes 35 papers in Artificial Intelligence, 28 papers in Computational Theory and Mathematics and 14 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (27 papers), Formal Methods in Verification (19 papers) and Parallel Computing and Optimization Techniques (13 papers). J. Strother Moore is often cited by papers focused on Logic, programming, and type systems (27 papers), Formal Methods in Verification (19 papers) and Parallel Computing and Optimization Techniques (13 papers) and collaborates with scholars based in United States, Spain and United Kingdom. J. Strother Moore's co-authors include Matt Kaufmann, Robert S. Boyer, Panagiotis Manolios, Warren A. Hunt and Sandip Ray and has published in prestigious journals such as Communications of the ACM, Journal of the ACM and IEEE Transactions on Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Kenneth Joseph are about Top authors papers by Pierre Guénot are co-authored with Top fields papers by Hanswerner Dellweg are about Top fields papers by Bin Huang are about Top countries impacted by papers by Xuexiang Weng Top fields papers by Zahra Ahmadi are about Top journals papers by Richard Paisey are published in Top countries impacted by papers by Hidetake Imasato