Matthew Hennessy
About
Matthew Hennessy has authored 94 papers that have received a total of 2.6k indexed citations.
This includes 79 papers in Artificial Intelligence, 63 papers in Computational Theory and Mathematics and 20 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (68 papers), Formal Methods in Verification (57 papers) and Logic, Reasoning, and Knowledge (34 papers). Matthew Hennessy is often cited by papers focused on Logic, programming, and type systems (68 papers), Formal Methods in Verification (57 papers) and Logic, Reasoning, and Knowledge (34 papers) and collaborates with scholars based in United Kingdom, Ireland and China. Matthew Hennessy's co-authors include James Riely, Julian Rathke, Yuxin Deng, Giovanni Bernardi and Adrian Francalanza and has published in prestigious journals such as Journal of the ACM, SIAM Journal on Computing and Journal of Computer and System Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Jean‐Daniel Boissonnat are co-authored with Top journals papers by Ian C. Roberts‐Thomson are published in Top fields papers by Kathryn E. McCollister are about Top journals papers by Reza Wakili are published in Top fields papers by Qingfeng Zhang are about Top fields papers by Karen E. McNamara are about Top fields papers by Chaim Springer are about Top journals papers by Gonzalo Garcı́a are published in