Stephen Brookes
About
Stephen Brookes has authored 24 papers that have received a total of 639 indexed citations.
This includes 18 papers in Artificial Intelligence, 13 papers in Computer Networks and Communications and 7 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (16 papers), Distributed systems and fault tolerance (9 papers) and Logic, Reasoning, and Knowledge (7 papers). Stephen Brookes is often cited by papers focused on Logic, programming, and type systems (16 papers), Distributed systems and fault tolerance (9 papers) and Logic, Reasoning, and Knowledge (7 papers) and collaborates with scholars based in United States, Ireland and United Kingdom. Stephen Brookes's co-authors include Michael Peter Kennedy, A. W. Roscoe, Michael Connor, C. A. R. Hoare and Austin Melton and has published in prestigious journals such as IEEE Journal of Solid-State Circuits, Journal of the ACM and Theoretical Computer Science.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Yiqiang Shen are published in Top fields papers by Cui Sun are about Top fields papers by Anton Havnes are about Top journals papers by Catherine M. Hayden are published in Top countries impacted by papers by G. Demoment Top journals papers by Jan Šmíd are published in Top fields papers by Rachel E. Spector are about Top countries impacted by papers by Sheila C. Wang