Andrew Kennedy
About
Andrew Kennedy has authored 7 papers that have received a total of 159 indexed citations.
This includes 5 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 2 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (5 papers), Advanced Software Engineering Methodologies (3 papers) and Formal Methods in Verification (2 papers). Andrew Kennedy is often cited by papers focused on Logic, programming, and type systems (5 papers), Advanced Software Engineering Methodologies (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States, United Kingdom and Canada. Andrew Kennedy's co-authors include Don Syme, Ben H. Chew, T. Eric Ballard, Stephen E. Pautler and Timothy L. Macdonald and has published in prestigious journals such as Antimicrobial Agents and Chemotherapy, Urology and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Stuti Chakraborty are published in Top fields papers by E Henderson are about Top fields papers by Miski Mohamed are about Top journals papers by SB Cho are published in Top fields papers by P.I. Adriaanse are about Top countries impacted by papers by Jeffrey Lipkowitz Top authors papers by M. Stubbs are co-authored with Top fields papers by Atsumi Ando are about