Andrew Ireland
About
Andrew Ireland has authored 20 papers that have received a total of 178 indexed citations.
This includes 16 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 9 papers in Software. The topics of these papers are Logic, programming, and type systems (15 papers), Formal Methods in Verification (12 papers) and Model-Driven Software Engineering Techniques (6 papers). Andrew Ireland is often cited by papers focused on Logic, programming, and type systems (15 papers), Formal Methods in Verification (12 papers) and Model-Driven Software Engineering Techniques (6 papers) and collaborates with scholars based in United Kingdom, Malaysia and France. Andrew Ireland's co-authors include Gudmund Grov, Alan Bundy, Greg Michaelson, Ewen Maclean and Roderick Chapman and has published in prestigious journals such as Artificial Intelligence, Science of Computer Programming and Journal of Symbolic Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by John Bell Henneman are co-authored with Top authors papers by Оleg Stepanets are co-authored with Top countries impacted by papers by Raed A. Said Top journals papers by Ricardo Karam are published in Top journals papers by Horácio Levy are published in Top authors papers by Johannes Siebert are co-authored with Top fields papers by G. Phillips are about Top journals papers by William E. Riddle are published in