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
Papers by
i Specialization
i since
published in
Anthony Fox
99 citations, 10 papers
Explore authors with similar magnitude of impact
Top authors papers by N. Galizio are co-authored with Top journals papers by Marianna Sampaio Serpa are published in Top journals papers by Werner Wolff are published in Top countries impacted by papers by Marissa E. Thompson Top countries impacted by papers by Linhao Luo Top journals papers by A. Jachołkowski are published in Top journals papers by Sylvain Conchon are published in Top fields papers by Igor Fedorov are about