Iain Phillips
About
Iain Phillips has authored 31 papers that have received a total of 255 indexed citations.
This includes 26 papers in Artificial Intelligence, 21 papers in Computational Theory and Mathematics and 17 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (22 papers), Distributed systems and fault tolerance (16 papers) and Formal Methods in Verification (14 papers). Iain Phillips is often cited by papers focused on Logic, programming, and type systems (22 papers), Distributed systems and fault tolerance (16 papers) and Formal Methods in Verification (14 papers) and collaborates with scholars based in United Kingdom, Italy and Poland. Iain Phillips's co-authors include Irek Ulidowski, Nobuko Yoshida, Sergio Maffeis, Claudio Antares Mezzina and Ivan Lanese and has published in prestigious journals such as Journal of Clinical Pathology, Theoretical Computer Science and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Ahad Bakhtiari are about Top countries impacted by papers by Liying Yang Top countries impacted by papers by Li Tian Top fields papers by Hasan Yiğit are about Top fields papers by R. N. Singh are about Top fields papers by Rodney Schnellbacher are about Top authors papers by Tarique Anwar are co-authored with Top authors papers by Volker Hess are co-authored with