Robin Milner

48 papers and 5.4k indexed citations i.

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