Annabelle McIver

49 papers and 683 indexed citations i.

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.