Robin Milner
About
Robin Milner has authored 48 papers that have received a total of 5.4k indexed citations.
This includes 34 papers in Computational Theory and Mathematics, 25 papers in Artificial Intelligence and 12 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (22 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (14 papers). Robin Milner is often cited by papers focused on Logic, programming, and type systems (22 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (14 papers) and collaborates with scholars based in United Kingdom, United States and France. Robin Milner's co-authors include Joachim Parrow, David Walker, Lars Birkedal, Samuel L. Braunstein and Colin G. Johnson and has published in prestigious journals such as Communications of the ACM, Journal of the ACM and Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Patrick T. Caswell are published in Top journals papers by Eric W. Sellers are published in Top authors papers by Kenneth S. Thress are co-authored with Top authors papers by Paul R. Gardner are co-authored with Top countries impacted by papers by Michael VonKorff Top journals papers by Piers Nash are published in Top fields papers by Xiaodong Xu are about Top authors papers by Harvey J. Lerner are co-authored with