Annabelle McIver
About
Annabelle McIver has authored 49 papers that have received a total of 683 indexed citations.
This includes 43 papers in Artificial Intelligence, 27 papers in Computational Theory and Mathematics and 12 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (23 papers), Logic, Reasoning, and Knowledge (22 papers) and Logic, programming, and type systems (22 papers). Annabelle McIver is often cited by papers focused on Formal Methods in Verification (23 papers), Logic, Reasoning, and Knowledge (22 papers) and Logic, programming, and type systems (22 papers) and collaborates with scholars based in Australia, United Kingdom and Germany. Annabelle McIver's co-authors include Carroll Morgan, Carroll Morgan, Joost-Pieter Katoen, Mário S. Alvim and Ansgar Fehnker and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by J Molloy are about Top countries impacted by papers by Qunqun Liu Top fields papers by Etel Solingen are about Top fields papers by Jorge Crichigno are about Top fields papers by George M. Kushner are about Top journals papers by Sanming Du are published in Top countries impacted by papers by Linhua Li Top authors papers by Elena Manuela Samaila are co-authored with