Robin Milner
About
Robin Milner has authored 49 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, Samuel L. Braunstein, Colin G. Johnson and Andy M. Tyrrell and has published in prestigious journals such as Scientific Reports, Communications of the ACM and Journal of the ACM.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Raymond Habas Breakdown of academic impact, for papers by Anna N. Stepanova Breakdown of academic impact, for papers by Margaret E. Roberts Breakdown of academic impact, for papers by Giovanna Ferro‐Luzzi Ames Breakdown of academic impact, for papers by George M. Orphanides Breakdown of academic impact, for papers by Katrin D. Mayer-Barber Breakdown of academic impact, for papers by James M. Gossett Breakdown of academic impact, for papers by Simon Jackman