| 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 | 133 | 2005 |
| Logic for computer science S Reeves, M Clarke Addison-Wesley, 1990 | 119 | 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 | 69 | 2000 |
| Investigating Z MC Henson, S Reeves Journal of Logic and Computation 10 (1), 43-73, 2000 | 49 | 2000 |
| 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 | 47 | 1987 |
| A review of several programs for the teaching of logic D Goldson, S Reeves, R Bornat The Computer Journal 36 (4), 373-386, 1993 | 46 | 1993 |
| Constructive mathematics in theory and programming practice D Bridges, S Reeves Philosophia Mathematica 7 (1), 65-104, 1999 | 45 | 1999 |
| 40 years of formal methods D Bjørner, K Havelund International Symposium on Formal Methods, 42-61, 2014 | 42* | 2014 |
| Formal models for user interface design artefacts J Bowen, S Reeves Innovations in Systems and Software Engineering 4 (2), 125-141, 2008 | 41 | 2008 |
| Z Logic and its Consequences MC Henson, S Reeves, JP Bowen Computing and Informatics 22 (3-4), 381-415, 2012 | 40 | 2012 |
| Formal models for informal GUI designs J Bowen, S Reeves Electronic Notes in Theoretical Computer Science 183, 57-72, 2007 | 38 | 2007 |
| Modelling safety properties of interactive medical systems J Bowen, S Reeves Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013 | 36 | 2013 |
| Revising Z: Part II–logical development MC Henson, S Reeves Formal Aspects of Computing 11 (4), 381-401, 1999 | 29 | 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 | 27 | 1999 |
| 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 |
| μ-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 |
