Anthony Fox
About
Anthony Fox has authored 12 papers that have received a total of 99 indexed citations.
This includes 10 papers in Artificial Intelligence, 6 papers in Hardware and Architecture and 5 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (7 papers), Security and Verification in Computing (5 papers) and Formal Methods in Verification (5 papers). Anthony Fox is often cited by papers focused on Logic, programming, and type systems (7 papers), Security and Verification in Computing (5 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in United Kingdom, United States and Sweden. Anthony Fox's co-authors include Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Peter G. Neumann and Michael Norrish and has published in prestigious journals such as IEEE Transactions on Computers, ACM SIGPLAN Notices and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Richard Crouch Top fields papers by Kiyoharu Hamaguchi are about Top journals papers by Brian Friel are published in Top authors papers by Albert David are co-authored with Top countries impacted by papers by Hilmar Brohmer Top countries impacted by papers by C. D. de LANGEN Top countries impacted by papers by Ronny Schüritz Top journals papers by Paul E. Nicollian are published in