| Logic for computer science S Reeves, M Clarke Addison-Wesley, 1990 | 129 | 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 | 70 | 2000 |
| Constructive mathematics in theory and programming practice D Bridges, S Reeves Philosophia Mathematica 7 (1), 65-104, 1999 | 54 | 1999 |
| Investigating Z MC Henson, S Reeves Journal of Logic and Computation 10 (1), 43-73, 2000 | 50 | 2000 |
| A review of several programs for the teaching of logic D Goldson, S Reeves, R Bornat The Computer Journal 36 (4), 373-386, 1993 | 50 | 1993 |
| Conflicts and fair testing R Malik, D Streader, S Reeves International Journal of Foundations of Computer Science 17 (04), 797-813, 2006 | 48 | 2006 |
| Semantic tableaux as a framework for automated theorem-proving S Reeves on Advances in artificial intelligence, 125-139, 1987 | 48 | 1987 |
| Formal models for user interface design artefacts J Bowen, S Reeves Innovations in Systems and Software Engineering 4 (2), 125-141, 2008 | 46 | 2008 |
| Z Logic and its Consequences MC Henson, S Reeves, JP Bowen Computing and Informatics 22 (3-4), 381-415, 2003 | 44 | 2003 |
| Proof-of-learning: a blockchain consensus mechanism based on machine learning competitions F Bravo-Marquez, S Reeves, M Ugarte 2019 IEEE International Conference on Decentralized Applications and …, 2019 | 43 | 2019 |
| Formal models for informal GUI designs J Bowen, S Reeves Electronic Notes in Theoretical Computer Science 183, 57-72, 2007 | 42 | 2007 |
| Modelling safety properties of interactive medical systems J Bowen, S Reeves Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013 | 37 | 2013 |
| Revising Z: Part II–logical development MC Henson, S Reeves Formal Aspects of Computing 11 (4), 381-401, 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 | 27 | 2012 |
| Revising Z: Part I–logic and semantics MC Henson, S Reeves Formal Aspects of Computing 11 (4), 359-380, 1999 | 26 | 1999 |
| Fair testing revisited: A process-algebraic characterisation of conflicts R Malik, D Streader, S Reeves International Symposium on Automated Technology for Verification and …, 2004 | 25 | 2004 |
| Refinement for user interface designs J Bowen, S Reeves Electronic Notes in Theoretical Computer Science 208, 5-22, 2008 | 24 | 2008 |
| Formal refinement of informal GUI design artefacts J Bowen, S Reeves Australian Software Engineering Conference (ASWEC'06), 10 pp.-230, 2006 | 24 | 2006 |
| μ-Charts and Z: Hows, whys, and wherefores G Reeve, S Reeves International Conference on Integrated Formal Methods, 255-276, 2000 | 24 | 2000 |
| 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 | 23 | 2003 |
