Annabelle McIver

Research Outputs

Research output per year 1987 2020

• 1250 Citations
• 18 h-Index
• 47 Conference proceeding contribution
• 45 Article
• 6 Chapter
• 3 Editorial
• 8 More
  • 2 Edited Book/Anthology
  • 2 Book
  • 2 Conference paper
  • 1 Foreword/postscript/introduction
  • 1 Short survey

Research output per year

Research output per year

Search results

• 2003

  Programming Methodology

  McIver, A. (ed.) & Morgan, C. (ed.), 2003, Springer, Springer Nature.

  Research output: Book/Report › Edited Book/Anthology
• 2015

  Logic for programming, artificial intelligence, and reasoning: 20th international conference, LPAR-20 2015 Suva, Fiji, november 24–28, 2015 proceedings

  Davis, M. (ed.), Fehnker, A. (ed.), McIver, A. (ed.) & Voronkov, A. (ed.), 2015, Heidelberg: Springer, Springer Nature. 640 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9450)

  Research output: Book/Report › Edited Book/Anthology