ACME: adaptive compilation made efficient KD Cooper, A Grosul, TJ Harvey, S Reeves, D Subramanian, L Torczon, ... ACM SIGPLAN Notices 40 (7), 69-77, 2005 | 129 | 2005 |

Logic for computer science S Reeves, M Clarke Addison-Wesley, 1990 | 122 | 1990 |

A survey of software development practices in the New Zealand software industry L Groves, R Nickson, G Reeve, S Reeves, M Utting Proceedings 2000 Australian Software Engineering Conference, 189-201, 2000 | 66 | 2000 |

Investigating Z MC Henson, S Reeves Journal of Logic and Computation 10 (1), 43-73, 2000 | 49 | 2000 |

Semantic tableaux as a framework for automated theorem-proving S Reeves on Advances in artificial intelligence, 125-139, 1987 | 48 | 1987 |

Conflicts and fair testing R Malik, D Streader, S Reeves International Journal of Foundations of Computer Science 17 (04), 797-813, 2006 | 47 | 2006 |

Constructive mathematics in theory and programming practice D Bridges, S Reeves Philosophia Mathematica 7 (1), 65-104, 1999 | 45 | 1999 |

A review of several programs for the teaching of logic D Goldson, S Reeves, R Bornat The Computer Journal 36 (4), 373-386, 1993 | 44 | 1993 |

Z Logic and its Consequences MC Henson, S Reeves, JP Bowen Computing and Informatics 22 (3-4), 381-415, 2012 | 41 | 2012 |

Formal models for user interface design artefacts J Bowen, S Reeves Innovations in Systems and Software Engineering 4 (2), 125-141, 2008 | 40 | 2008 |

Formal models for informal GUI designs J Bowen, S Reeves Electronic Notes in Theoretical Computer Science 183, 57-72, 2007 | 39 | 2007 |

40 years of formal methods D Bjørner, K Havelund International Symposium on Formal Methods, 42-61, 2014 | 35* | 2014 |

Modelling safety properties of interactive medical systems J Bowen, S Reeves Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013 | 34 | 2013 |

Revising Z: Part II–logical development MC Henson, S Reeves Formal Aspects of Computing 11 (4), 381-401, 1999 | 30 | 1999 |

Revising Z: Part I–logic and semantics MC Henson, S Reeves Formal Aspects of Computing 11 (4), 359-380, 1999 | 28 | 1999 |

Modelling user manuals of modal medical devices and learning from the experience J Bowen, S Reeves Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012 | 26 | 2012 |

Formal refinement of informal GUI design artefacts J Bowen, S Reeves Australian Software Engineering Conference (ASWEC'06), 10 pp.-230, 2006 | 24 | 2006 |

Fair testing revisited: A process-algebraic characterisation of conflicts R Malik, D Streader, S Reeves International Symposium on Automated Technology for Verification and …, 2004 | 24 | 2004 |

UI-driven test-first development of interactive systems J Bowen, S Reeves Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011 | 23 | 2011 |

An analysis of total correctness refinement models for partial relation semantics I M Deutsch, MC Henson, S Reeves Logic Journal of the IGPL 11 (3), 285-315, 2003 | 22 | 2003 |